297 search results - page 40 / 60 » On the Decidability of Consistent Query Answering |
COMPGEOM
1996
ACM
14 years 20 days ago
1996
ACM
In this paper we show how to traverse a subdivision and to report all cells, edges and vertices, without making use of mark bits in the structure or a stack. We do this by perform...
ENTCS
2007
13 years 8 months ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Information distillation techniques are used to analyze and interpret large volumes of speech and text archives in multiple languages and produce structured information of interes...
KR
2004
Springer
14 years 1 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
PCM
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we propose a novel approach to automatically index digital home photos based on person identity. A person is identified by his/her face and clothes. The proposed met...