Sciweavers

732 search results - page 105 / 147
» corr 2011
Sort
View
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 10 months ago
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
Yael Amsterdamer, Daniel Deutch, Val Tannen
CORR
2011
Springer
188views Education» more  CORR 2011»
14 years 10 months ago
Information-Theoretic Viewpoints on Optimal Causal Coding-Decoding Problems
—In this paper we consider an interacting two-agent sequential decision-making problem consisting of a Markov source process, a causal encoder with feedback, and a causal decoder...
Siva K. Gorantla, Todd P. Coleman
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 10 months ago
Partition Functions of Normal Factor Graphs
—One of the most common types of functions in mathematics, physics, and engineering is a sum of products, sometimes called a partition function. After “normalization,” a sum ...
G. David Forney Jr., Pascal O. Vontobel
CORR
2011
Springer
171views Education» more  CORR 2011»
14 years 10 months ago
Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
Stephen L. Smith, Mac Schwager, Daniela Rus
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
A Logical Method for Policy Enforcement over Evolving Audit Logs
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
Deepak Garg, Limin Jia, Anupam Datta