Sciweavers

2354 search results - page 60 / 471
» A Common-Sense Theory of Time
Sort
View
CCS
2011
ACM
12 years 8 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta
CDC
2009
IEEE
120views Control Systems» more  CDC 2009»
14 years 23 days ago
An intrinsic behavioural approach to the double time axis paradox
— Behavioural theory is typically developed on the double time axis. On the other hand it is known that there are intrinsic difficulties with double time axis theorems in the in...
Wenming Bian, Mark French, Harish K. Pillai
ICC
2008
IEEE
139views Communications» more  ICC 2008»
14 years 2 months ago
Performance Limits of Time Synchronization in Wireless Sensor Networks
—We propose a new approach to evaluate the ultimate performance limit of time synchronization in wireless sensor networks based on the estimation theory. In particular the lower ...
Stefano Severi, Davide Dardari
STOC
1989
ACM
99views Algorithms» more  STOC 1989»
14 years 2 days ago
A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies
We present a randomised polynomial time algorithm for approximating the volume of a convex body K in n-dimensional Euclidean space. The proof of correctness of the algorithm relie...
Martin E. Dyer, Alan M. Frieze, Ravi Kannan
CORR
2012
Springer
185views Education» more  CORR 2012»
12 years 3 months ago
Adjustment Criteria in Causal Diagrams: An Algorithmic Perspective
Identifying and controlling bias is a key problem in empirical sciences. Causal diagram theory provides graphical criteria for deciding whether and how causal effects can be iden...
Johannes Textor, Maciej Liskiewicz