Fundamental algorithms such as sorting or hashing are used trillions of times on any given
day. As demand for computation grows, it has become critical for these algorithms to be as …

We present an overview of the program transformation methodology, focusing our attention
on the so-called “rules+ strategies” approach in the case of functional and logic programs …

What are the powerful new ideas in knowledge based design? What important research
issues require further investigation? Perhaps the key research problem in AI-based design …

" Specification and transformation of programs" is short for a methodology of software
development where, from a formal specification of a problem to be solved, programs …

Logic programming | Guide books skip to main content ACM Digital Library home ACM home
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …

The ability to recognize facial expressions using computer vision is a crucial task that has
numerous potential applications. Although deep neural networks have achieved high …

We study the problem of teaching multiple learners simultaneously in the nonparametric
iterative teaching setting, where the teacher iteratively provides examples to the learner for …

Motivated by the practical import free-flow program that aims to expedite the container
retrieval process, we conceptualize a new container stacking strategy, termed Smart …

Multilocus Sequence Typing (MLST) is a precise microbial typing approach at the intra-
species level for epidemiologic and evolutionary purposes. It operates by assigning a …

Accepted: 29 March 2021 Fast and accurate fruit classification is a major problem in the
farming business. To achieve the same, the most popular technique used to build a …