2696 search results - page 356 / 540 » Semantic Abstraction and Anaphora |
133
click to vote
WOLLIC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
167
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...
160
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
149
click to vote
ISM
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— This demonstration highlights the benefits that image retrieval systems can enjoy by use of a thoughtful interface. We present a live demonstration of PRISM, a new Web...
197
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...