295 search results - page 14 / 59 » Reasoning about Cardinal Directions |
KI
2005
Springer
14 years 7 days ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
IUI
2005
ACM
14 years 9 days ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
HRI
2010
ACM
14 years 1 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
FASE
2011
Springer
12 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
PVLDB
2008
13 years 6 months ago
2008
Keyword search is a user-friendly mechanism for retrieving XML data in web and scientific applications. An intuitively compelling but vaguely defined goal is to identify matches t...