1173 search results - page 1 / 235 » Program Derivation Using Analogy |
79
Voted
IJCAI
1989
14 years 10 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
ISMB
1993
14 years 10 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
62
Voted
AHS
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a framework for a low power self-tuning analog proportional-integral-derivative controller. By using a model-free tuning method, it overcomes problems associated with r...
98
Voted
ISSRE
2000
IEEE
15 years 1 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
100
click to vote
EWCBR
1993
Springer
15 years 1 months ago
1993
Springer
A major advantage in using a case-based approach to developing knowledge-based systems is that it can be applied to problems where a strong domain theory may be difficult to determ...