981 search results - page 146 / 197 » Negation in Spatial Reasoning |
101
click to vote
VISUALIZATION
2003
IEEE
15 years 3 months ago
2003
IEEE
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
GIS
2009
ACM
15 years 29 days ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...
CSSE
2008
IEEE
14 years 11 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...