4962 search results - page 397 / 993 » Stochastic Model Checking |
176
Voted
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we present a system to robustly estimate the 3D position of a human head. Before the face model is positioned in the initial frame, it is adapted to the 3D scan of t...
184
click to vote
ACRI
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
171
click to vote
AAAI
2004
15 years 8 months ago
2004
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decisi...
181
Voted
FORTE
2004
15 years 8 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
165
click to vote
NIPS
1996
15 years 8 months ago
1996
Real-valued random hidden variables can be useful for modelling latent structure that explains correlations among observed variables. I propose a simple unit that adds zero-mean G...