1980 search results - page 140 / 396 » Compositional Model Checking of Real Time Systems |
115
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
163
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Many computer vision problems can be formulated in
a Bayesian framework with Markov Random Field (MRF)
or Conditional Random Field (CRF) priors. Usually, the
model assumes that ...
117
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
119
Voted
IJCAI
2007
15 years 3 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
126
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...