Sciweavers

2858 search results - page 55 / 572
» Logics with Aggregate Operators
Sort
View
PVLDB
2010
134views more  PVLDB 2010»
13 years 7 months ago
Conditioning and Aggregating Uncertain Data Streams: Going Beyond Expectations
Uncertain data streams are increasingly common in real-world deployments and monitoring applications require the evaluation of complex queries on such streams. In this paper, we c...
Thanh T. L. Tran, Andrew McGregor, Yanlei Diao, Li...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
14 years 3 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
AIML
2006
13 years 10 months ago
Isomorphism via translation
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
Tadeusz Litak
MDM
2009
Springer
192views Communications» more  MDM 2009»
14 years 3 months ago
Thresholded Range Aggregation in Sensor Networks
— The recent advances in wireless sensor technologies (e.g., Mica, Telos motes) enable the economic deployment of lightweight sensors for capturing data from their surrounding en...
Zhifeng Lin, Man Lung Yiu, Nikos Mamoulis
KR
2000
Springer
14 years 10 days ago
Representing and Aggregating Conflicting Beliefs
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
Pedrito Maynard-Reid II, Daniel J. Lehmann