553 search results - page 27 / 111 » Learning Meets Verification |
ESANN
2004
13 years 11 months ago
2004
In text-dependent speaker verification the speech signals have to be time-aligned. For that purpose dynamic time warping (DTW) can be used which performs the alignment by minimizi...
ICWL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper proposes a structured blended learning for providing elearning strategies adopted by the Open University of Hong Kong (OUHK). The paper identified the factors ...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...
AI
2006
Springer
14 years 1 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
IJVR
2008
13 years 10 months ago
2008
This paper describes intelligent virtual tutors for interaction skills training who can serve the roles of demonstrator, coach, trainer, mentor, and observer. These roles meet the ...