141 search results - page 13 / 29 » Mapping relational structure in spatial reasoning |
117
Voted
FUIN
2002
15 years 1 months ago
2002
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
110
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
198
click to vote
GIS
2009
ACM
16 years 2 months ago
2009
ACM
A common problem in moving object databases (MOD) is the reconstruction of a trajectory from a trajectory sample (i.e., a finite sequence of time-space points). A typical solution...
100
Voted
KI
2010
Springer
15 years 8 days ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
212
Voted
GIS
2005
ACM
16 years 2 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...