2373 search results - page 236 / 475 » Modelling Facial Behaviours |
168
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
144
click to vote
CCE
2011
15 years 4 days ago
2011
Large amounts of thermal energy are transferred to for heating or cooling in the industry as well as in the other sectors. Typical examples are crude oil preheating, ethylene plan...
146
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
135
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
124
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...