796 search results - page 84 / 160 » A Formalization of ODMG Queries |
92
Voted
PODS
2006
ACM
16 years 28 days ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
103
Voted
PODS
2007
ACM
16 years 28 days ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
70
Voted
EDBT
2006
ACM
16 years 28 days ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
91
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
120
Voted
NLDB
2007
Springer
15 years 7 months ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...