2834 search results - page 456 / 567 » Representing Trees with Constraints |
122
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
A staggering number of multimedia applications are being introduced every day. Yet, the inordinate delays encountered in retrieving multimedia documents make it difficult to use t...
107
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...
KDD
2008
ACM
16 years 1 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...
180
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
PERCOM
2006
ACM
16 years 8 days ago
2006
ACM
The increasing availability of information about people's context makes it possible to deploy context-sensitive services, where access to resources provided or managed by a s...