Sciweavers

3713 search results - page 112 / 743
» Quantum Information Theory
Sort
View
RAS
2008
86views more  RAS 2008»
13 years 8 months ago
Theory and implementation of path planning by negotiation for decentralized agents
This paper presents a cooperative decentralized path-planning algorithm for a group of autonomous agents that provides guaranteed collisionfree trajectories in real-time. The algo...
Oliver Purwin, Raffaello D'Andrea, Jin-Woo Lee
INFOCOM
2006
IEEE
14 years 3 months ago
Theory and Network Applications of Dynamic Bloom Filters
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
Deke Guo, Jie Wu, Honghui Chen, Xueshan Luo
EMSOFT
2001
Springer
14 years 1 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
CCS
2011
ACM
12 years 9 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
APAL
2010
78views more  APAL 2010»
13 years 9 months ago
Extending and interpreting Post's programme
Computability theory concerns information with a causal
S. Barry Cooper