12193 search results - page 43 / 2439 » It's not all about |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
ECCV
2008
Springer
14 years 11 months ago
2008
Springer
A large photo collection downloaded from the internet spans a wide range of scenes, cameras, and photographers. In this paper we introduce several novel priors for statistics of su...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Motion safety for robotic systems operating in the real world is critical (especially when their size and dynamics make them potentially harmful for themselves or their environ...
CIKM
2007
Springer
14 years 3 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...