490 search results - page 64 / 98 » Disciple-COA: From Agent Programming to Agent Teaching |
165
click to vote
AAAI
1994
15 years 7 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
118
click to vote
AAAI
1990
15 years 7 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
252
Voted
AADA
2011
14 years 6 months ago
2011
We introduce a variational approach to image segmentation based on sparse coverings of image domains by shape templates. The objective function combines a data term that achieves ...
136
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
184
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...