Sciweavers

2088 search results - page 13 / 418
» The Probabilistic Method
Sort
View
TOCL
2012
241views Formal Methods» more  TOCL 2012»
13 years 11 days ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
ICASSP
2008
IEEE
15 years 4 months ago
Newton method for the ICA mixture model
We derive an asymptotic Newton algorithm for Quasi Maximum Likelihood estimation of the ICA mixture model, using the ordinary gradient and Hessian. The probabilistic mixture frame...
Jason A. Palmer, Scott Makeig, Kenneth Kreutz-Delg...
ICPR
2002
IEEE
15 years 11 months ago
A Probabilistic Model for Camera Zoom Detection
Camera motion detection is essential for automated video analysis. We propose a new probabilistic model for detecting zoom-in/zoom-out operations. The model uses EM to estimate th...
Rong Jin, Yanjun Qi, Alexander G. Hauptmann
SRDS
1994
IEEE
15 years 2 months ago
Probabilistic Internal Clock Synchronization
We propose an improved probabilistic method for reading remote clocks in systems subject to unbounded communication delays and use this method to design a family of fault-tolerant...
Flaviu Cristian, Christof Fetzer
AAAI
2008
15 years 8 days ago
Factored Models for Probabilistic Modal Logic
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
Afsaneh Shirazi, Eyal Amir