Sciweavers

235 search results - page 9 / 47
» Spatial Logics for Bigraphs
Sort
View
TLDI
2003
ACM
115views Formal Methods» more  TLDI 2003»
15 years 3 months ago
Deciding validity in a spatial logic for trees
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordo...
FSTTCS
2003
Springer
15 years 3 months ago
Minimality Results for the Spatial Logics
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
INTEROP
1999
Springer
126views GIS» more  INTEROP 1999»
15 years 2 months ago
Identifying Semantically Similar Elements in Heterogeneous Spatial Databases Using Predicate Logic Expressions
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
Kristin Stock, David Pullar
FLAIRS
2001
14 years 11 months ago
A Logical Framework for Frequent Pattern Discovery in Spatial Data
Inrecenttimes,severalextensionsofdataminingmethods andtechniqueshavebeenexploredaimingatdealingwith advanceddatabases.Manypromisingapplicationsof inductivelogicprogramming(ILP)tok...
Donato Malerba, Floriana Esposito, Francesca A. Li...