315 search results - page 21 / 63 » Reasoning about Assignments in Recursive Data Structures |
106
click to vote
GIS
2010
ACM
15 years 13 days ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
100
Voted
KI
2010
Springer
15 years 10 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....
111
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
106
Voted
TIME
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
114
click to vote
WISE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...