4341 search results - page 331 / 869 » Quantitative Model checking |
197
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
All non-trivial stereo problems need model priors to deal with ambiguities and noise perturbations. To meet requirements of increasingly demanding tasks such as modeling for rende...
176
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
207
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
A family of probabilistic time series models is developed to analyze the time evolution of topics in large document collections. The approach is to use state space models on the n...
158
click to vote
SEW
2006
IEEE
16 years 23 days ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...
190
click to vote
QEST
2005
IEEE
16 years 9 days ago
2005
IEEE
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...