Sciweavers

1054 search results - page 73 / 211
» group 2005
Sort
View
129
Voted
TARK
2005
Springer
15 years 10 months ago
Common knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
VLDB
2005
ACM
112views Database» more  VLDB 2005»
15 years 10 months ago
REED: Robust, Efficient Filtering and Event Detection in Sensor Networks
This paper presents a set of algorithms for efficiently evaluating join queries over static data tables in sensor networks. We describe and evaluate three algorithms that take adv...
Daniel J. Abadi, Samuel Madden, Wolfgang Lindner
WEBDB
2005
Springer
108views Database» more  WEBDB 2005»
15 years 10 months ago
Managing Integrity for Data Exchanged on the Web
The World Wide Web is a medium for publishing data used by collaborating groups and communities of shared interest. This paper proposes mechanisms to support the accuracy and auth...
Gerome Miklau, Dan Suciu
EJC
2007
15 years 4 months ago
The origins of combinatorics on words
We investigate the historical roots of the field of combinatorics on words. They comprise applications and interpretations in algebra, geometry and combinatorial enumeration. The...
Jean Berstel, Dominique Perrin
77
Voted
APAL
2005
88views more  APAL 2005»
15 years 4 months ago
Dependence relations in computably rigid computable vector spaces
Abstract. We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Tur...
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei ...