3191 search results - page 144 / 639 » Qualitative Modeling in Education |
195
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
214
click to vote
FORMATS
2004
Springer
16 years 11 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
159
Voted
RE
2004
Springer
16 years 10 days ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
179
click to vote
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
175
Voted
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...