3053 search results - page 3 / 611 » Structured Objects: Modeling and Reasoning |
KI
2010
Springer
13 years 5 months 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....
TOOLS
1998
IEEE
13 years 11 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
CONCUR
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ILP
2005
Springer
14 years 6 days ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
GIS
2010
ACM
13 years 5 months 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 ...