4325 search results - page 479 / 865 » Incremental computation with names |
128
click to vote
AAAI
1990
15 years 8 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 ...
152
click to vote
MVA
1990
15 years 8 months ago
1990
In the Shape from Shading methods, an extended approach named Uni-directional Photometric Flow Fields is proposed in this paper. The reflectance property of the surface material i...
201
click to vote
TREC
2007
15 years 8 months ago
2007
In TREC 2007, Language Computer Corporation explored how a new, semantically-rich framework for information retrieval could be used to boost the overall performance of the answer ...
176
click to vote
WOA
2007
15 years 8 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
176
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...