1992 search results - page 154 / 399 » Model Based Testing with Labelled Transition Systems |
158
click to vote
ICBA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
139
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
172
Voted
EEF
2000
15 years 7 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
129
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
132
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
Image auto-annotation is an important open problem in
computer vision. For this task we propose TagProp, a discriminatively
trained nearest neighbor model. Tags of test
images a...