1992 search results - page 238 / 399 » Model Based Testing with Labelled Transition Systems |
109
click to vote
MAICS
2003
15 years 5 months ago
2003
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
239
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
126
Voted
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
We present the IBM systems for the Rich Transcription 2007 (RT07) speaker diarization evaluation task on lecture meeting data. We first overview our baseline system that was devel...
123
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Voice conversion has become more and more important in speech technology, but most of current works have to use parallel utterances of both source and target speaker as the traini...
139
Voted
IJACTAICIT
2010
14 years 10 months ago
2010
It is great practical interest to decide when to stop testing a software system in development phase and transfer it to the user. This problem is called as the optimal software re...