Sciweavers

29 search results - page 4 / 6
» Randomized Wait-Free Concurrent Objects (Extended Abstract)
Sort
View
FOSSACS
2005
Springer
15 years 5 months ago
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
Samy Abbes, Albert Benveniste
COLT
2007
Springer
15 years 5 months ago
Occam's Hammer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
Gilles Blanchard, François Fleuret
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 4 months ago
On LQG joint optimal scheduling and control under communication constraints
Abstract— In this paper, we consider a discrete-time stochastic system, where sensor measurements are sent over a network to the controller. The design objective is a non-classic...
Adam Molin, Sandra Hirche
ACCV
2010
Springer
14 years 6 months ago
MRF-Based Background Initialisation for Improved Foreground Detection in Cluttered Surveillance Videos
Abstract. Robust foreground object segmentation via background modelling is a difficult problem in cluttered environments, where obtaining a clear view of the background to model i...
Vikas Reddy, Conrad Sanderson, Andres Sanin, Brian...
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 3 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget