Sciweavers

3918 search results - page 62 / 784
» Probabilistic model of triangulation
Sort
View
SIGIR
2008
ACM
14 years 11 months ago
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
Zuobing Xu, Ram Akella
ICIP
2005
IEEE
16 years 19 days ago
A probabilistic model for robust face alignment in videos
A new approach for localizing facial structure in videos is proposed in this paper by modeling shape alignment dynamically. The approach makes use of the spatial-temporal continuit...
Wei Zhang, Yi Zhou, Xiaoou Tang, Junhui Deng
IJCNN
2008
IEEE
15 years 5 months ago
A comparison of bayesian and conditional density models in probabilistic ozone forecasting
— Probabilistic models were developed to provide predictive distributions of daily maximum surface level ozone concentrations. Five forecast models were compared at two stations ...
Song Cai, William W. Hsieh, Alex J. Cannon
QEST
2005
IEEE
15 years 4 months ago
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
Roberto Segala, Andrea Turrini
HVC
2007
Springer
108views Hardware» more  HVC 2007»
15 years 5 months ago
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
David N. Jansen, Joost-Pieter Katoen, Marcel Olden...