4962 search results - page 304 / 993 » Stochastic Model Checking |
152
click to vote
AMDO
2010
Springer
15 years 2 months ago
2010
Springer
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...
124
click to vote
FUIN
2007
15 years 3 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
156
click to vote
CEC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Stochastic relaxation aims at finding the minimum of a fitness function by identifying a proper sequence of distributions, in a given model, that minimize the expected value o...
144
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
104
click to vote
ANSS
2005
IEEE
15 years 8 months ago
2005
IEEE
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...