19130 search results - page 422 / 3826 » Modelling multi-path problems |
183
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
213
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
163
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...
201
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
179
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...