2858 search results - page 71 / 572 » Logics with Aggregate Operators |
DRUMS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—A growing number of mobile WiMAX deployments are in progress world-wide and the technology is anticipated to play a key role in next generation mobile broadband wireless network...
ICDCSW
2002
IEEE
14 years 1 months ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
CLEF
2008
Springer
13 years 10 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...