1192 search results - page 228 / 239 » Symbolic Query Exploration |
112
click to vote
WISE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
MM
2005
ACM
15 years 5 months ago
2005
ACM
The authors developed an extensible system for video exploitation that puts the user in control to better accommodate novel situations and source material. Visually dense displays...
100
click to vote
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...
103
click to vote
JCDL
2004
ACM
15 years 5 months ago
2004
ACM
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...