Sciweavers

2088 search results - page 13 / 418
» The Probabilistic Method
Sort
View
TOCL
2012
241views Formal Methods» more  TOCL 2012»
11 years 10 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
ICASSP
2008
IEEE
14 years 1 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
14 years 8 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
13 years 11 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
13 years 9 months 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