286 search results - page 20 / 58 » On Modal Deductive Databases |
ISMB
1994
13 years 8 months ago
1994
Temporallogic, in particular, interval logic has been used to represent genomemapsand to assist genome mapconstructions. However,interval logic itself appears to be bruited in its...
SIGIR
1996
ACM
13 years 11 months ago
1996
ACM
We present a deductive data model for concept-based query expansion. It is based abstraction levels: the conceptual, the expression and the occurrence level. Concepts and their re...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Content-based retrieval (CBIR) methods in medical databases have been designed to support specific tasks, such as retrieval of digital mammograms or 3D MRI images. These methods c...
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
LPAR
2001
Springer
13 years 12 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...