Sciweavers

981 search results - page 26 / 197
» Negation in Spatial Reasoning
Sort
View
RR
2009
Springer
14 years 4 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
DLOG
1997
13 years 11 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
GBRPR
2007
Springer
14 years 4 months ago
Local Reasoning in Fuzzy Attribute Graphs for Optimizing Sequential Segmentation
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
Geoffroy Fouquier, Jamal Atif, Isabelle Bloch
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
13 years 11 months ago
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)
In this paper, the problem of spatial mapping is defined. Reasons are presented to show why performing spatial mappings at run-time is both necessary and desirable and criteria fo...
Philip K. F. Hölzenspies, Johann Hurink, Jan ...
GIS
2007
ACM
13 years 9 months ago
Global and local spatial indices of urban segregation
Flávia F. Feitosa, Gilberto Câmara, A...