Sciweavers

740 search results - page 21 / 148
» A Spatial Logic for Concurrency
Sort
View
TLDI
2003
ACM
115views Formal Methods» more  TLDI 2003»
14 years 23 days ago
Deciding validity in a spatial logic for trees
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordo...
FSTTCS
2003
Springer
14 years 22 days ago
Minimality Results for the Spatial Logics
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
INTEROP
1999
Springer
126views GIS» more  INTEROP 1999»
13 years 11 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
13 years 9 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...