10715 search results - page 1762 / 2143 » Proofs from Tests |
167
click to vote
AAAI
1994
15 years 9 months ago
1994
Rather than create a control system from scratch each time we build a new robot creature, we would like to generate control systems automatically. I have implemented an algorithm ...
215
click to vote
AAAI
1994
15 years 9 months ago
1994
A constraint satisfaction problem (CSP) is a problem to find an assignment that satisfies given constraints. An interesting approach to CSP is a repair-based method that first gen...
207
click to vote
AIPS
1996
15 years 9 months ago
1996
Learning from experimentation allows a system to acquire planning domain knowledge by correcting its knowledge when an action execution fails. Experiments are designed and planned...
201
click to vote
DAGSTUHL
1996
15 years 9 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
210
click to vote
IAAI
1993
15 years 9 months ago
1993
Implementing and maintaining complicated manufacturing processes in an error-free mode is essential to the survival of any manufacturing business. One essential element to realizi...