Sciweavers

1058 search results - page 133 / 212
» Using Different Representations of Synchronous Systems in SA...
Sort
View
IJCAI
1993
15 years 8 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ICDIM
2006
IEEE
16 years 19 days ago
A Framework for the Encoding of Multilayered Documents
Electronic publishing of material digitized using imaging and OCR calls for a special delivery format capable of reconstructing original documents in a well-usable electronic form...
Youssef Eldakar, Noha Adly, Magdy Nagi
NIPS
2007
15 years 8 months ago
Object Recognition by Scene Alignment
Current object recognition systems can only recognize a limited number of object categories; scaling up to many categories is the next challenge. We seek to build a system to reco...
Bryan C. Russell, Antonio Torralba, Ce Liu, Robert...
AIPS
1998
15 years 8 months ago
A Multiagent Planning Architecture
The Multiagent Planning Architecture (MPA) is a framework for integrating diverse technologies into a system capable of solving complex planning problems. Agents within MPA share ...
David E. Wilkins, Karen L. Myers
TCSV
2002
81views more  TCSV 2002»
15 years 6 months ago
Image information restoration based on long-range correlation
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
Dapeng Zhang, Zhou Wang