21984 search results - page 4128 / 4397 » C |
176
click to vote
IJCAI
1989
15 years 8 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...
214
click to vote
IJCAI
1989
15 years 8 months ago
1989
It is well known that chromatic information can assist in solving the stereo correspondence problem. It has also been suggested that there are two independent first-order stereop...
170
click to vote
IJCAI
1989
15 years 8 months ago
1989
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
156
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
241
click to vote
IJCAI
1989
15 years 8 months ago
1989
A real-time AI system in the real world needs to monitor an immense volume of data. To do this, the system must filter out much of the incoming data. However, it must remain re ...