Sciweavers

3677 search results - page 183 / 736
» Is a probabilistic modeling
Sort
View
95
Voted
ENTCS
2006
134views more  ENTCS 2006»
14 years 10 months ago
Partial Order Reduction for Probabilistic Branching Time
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
Christel Baier, Pedro R. D'Argenio, Marcus Grö...
ICASSP
2010
IEEE
14 years 10 months ago
Statistical inference for single- and multi-band Probabilistic Amplitude Demodulation
Amplitude demodulation is an ill-posed problem and so it is natural to treat it from a Bayesian viewpoint, inferring the most likely carrier and envelope under probabilistic const...
Richard E. Turner, Maneesh Sahani
SIGMOD
2008
ACM
162views Database» more  SIGMOD 2008»
15 years 10 months ago
Event queries on correlated probabilistic streams
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
Christopher Ré, Dan Suciu, Julie Letchner, ...
ICPR
2004
IEEE
15 years 11 months ago
A Probabilistic Framework for Joint Head Tracking and Pose Estimation
Head Tracking and pose estimation are usually considered as two sequential and separate problems: pose is estimated on the head patch provided by a tracking module. However, preci...
Jean-Marc Odobez, Sileye O. Ba
ICCV
2003
IEEE
16 years 3 days ago
Bayesian Clustering of Optical Flow Fields
We present a method for unsupervised learning of classes of motions in video. We project optical flow fields to a complete, orthogonal, a-priori set of basis functions in a probab...
Jesse Hoey, James J. Little