8763 search results - page 1375 / 1753 » Querying Database Knowledge |
186
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper addresses the problem of matching visual parts of video sequences from within a large collection. The visual content of a video sequence is described by the set of the ...
142
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
194
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
157
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
192
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
We present the design goals and functional components of MASTAQ, a data management middleware for pervasive applications that utilize sensor data. MASTAQ allows applications to sp...