61 search results - page 6 / 13 » A Tableau-Based System for Spatial Reasoning about Direction... |
112
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
GIS
1998
ACM
14 years 9 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...
86
Voted
JSW
2008
14 years 9 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
72
Voted
BC
1998
14 years 9 months ago
1998
In homing tasks, the goal is often not marked by visible objects but must be inferred from the spatial relation to the visual cues in the surrounding scene. The exact computation o...