1992 search results - page 248 / 399 » Model Based Testing with Labelled Transition Systems |
151
Voted
ICCV
1998
IEEE
15 years 7 months ago
1998
IEEE
One of the key problems in appearance-based vision is understanding how to use a set of labeled images to classify new images. Classification systems that can model human performa...
123
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Face recognition using 3D information has been intensively investigated in recent years. The features selected from 3D facial surfaces are invariant to pose and lighting condition...
121
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
168
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
148
Voted
INTERSPEECH
2010
14 years 10 months ago
2010
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...