4332 search results - page 441 / 867 » A Probabilistic Identification Result |
153
click to vote
FOSSACS
2003
Springer
16 years 1 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
204
click to vote
ICMI
2003
Springer
16 years 1 days ago
2003
Springer
We present a multi-camera vision-based eye tracking method to robustly locate and track user’s eyes as they interact with an application. We propose enhancements to various visi...
192
click to vote
ICMI
2003
Springer
16 years 1 days ago
2003
Springer
This paper presents a multi-modal approach to locate a speaker in a scene and determine to whom he or she is speaking. We present a simple probabilistic framework that combines mu...
171
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
183
click to vote
EMMCVPR
2001
Springer
15 years 11 months ago
2001
Springer
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...