Sciweavers

981 search results - page 63 / 197
» Negation in Spatial Reasoning
Sort
View
94
Voted
JCP
2008
133views more  JCP 2008»
15 years 22 days ago
DDSC : A Density Differentiated Spatial Clustering Technique
Finding clusters with widely differing sizes, shapes and densities in presence of noise and outliers is a challenging job. The DBSCAN is a versatile clustering algorithm that can f...
Bhogeswar Borah, Dhruba K. Bhattacharyya
92
Voted
LOPSTR
2004
Springer
15 years 6 months ago
On the Semantics of Logic Program Composition
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
Antonio Brogi
FMSD
2006
77views more  FMSD 2006»
15 years 23 days ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
GIS
2006
ACM
16 years 1 months ago
Filtering with raster signatures
Efficient evaluation of spatial queries is an important issue in spatial database. Among spatial operations, spatial join is very useful, intersection being the most common predic...
Leonardo Guerreiro Azevedo, Ralf Hartmut Güti...
121
Voted
GEOINFORMATICA
2008
123views more  GEOINFORMATICA 2008»
15 years 25 days ago
Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
Reasey Praing, Markus Schneider