408 search results - page 8 / 82 » Relation Algebras for Reasoning about Time and Space |
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
LICS
2000
IEEE
13 years 12 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
JUCS
2010
13 years 6 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Join techniques deploying approximate match predicates are fundamental data cleaning operations. A variety of predicates have been utilized to quantify approximate match in such o...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...