116 search results - page 5 / 24 » Distributed State Space Generation of Discrete-State Stochas... |
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
100
click to vote
UAI
2004
15 years 1 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
FGCS
2006
14 years 11 months ago
2006
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...