Faster sorting algorithms discovered using deep reinforcement learning
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 …
day. As demand for computation grows, it has become critical for these algorithms to be as …
Rules and strategies for transforming functional and logic programs
A Pettorossi, M Proietti - ACM Computing Surveys (CSUR), 1996 - dl.acm.org
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 …
on the so-called “rules+ strategies” approach in the case of functional and logic programs …
Toward better models of the design process
J Mostow - AI magazine, 1985 - ojs.aaai.org
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 …
issues require further investigation? Perhaps the key research problem in AI-based design …
[图书][B] Specification and transformation of programs: a formal approach to software development
HA Partsch - 2012 - books.google.com
" 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 …
development where, from a formal specification of a problem to be solved, programs …
[图书][B] Logic programming: systematic program development
Y Deville - 1990 - dl.acm.org
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 …
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …
CNN Learning Strategy for Recognizing Facial Expressions
DH Lee, JH Yoo - IEEE Access, 2023 - ieeexplore.ieee.org
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 …
numerous potential applications. Although deep neural networks have achieved high …
Nonparametric teaching for multiple learners
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 …
iterative teaching setting, where the teacher iteratively provides examples to the learner for …
Smart stacking for import containers using customer information at automated container terminals
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 …
retrieval process, we conceptualize a new container stacking strategy, termed Smart …
FastMLST: a multi-core tool for multilocus sequence typing of draft genome assemblies
E Guerrero-Araya, M Muñoz… - … and Biology Insights, 2021 - journals.sagepub.com
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 …
species level for epidemiologic and evolutionary purposes. It operates by assigning a …
[PDF][PDF] MNet: A Framework to Reduce Fruit Image Misclassification.
VA Meshram, K Patil, SD Ramteke - Ingénierie des Systèmes d Inf., 2021 - researchgate.net
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 …
farming business. To achieve the same, the most popular technique used to build a …