3830 search results - page 474 / 766 » From Reference Model to Component Model |
137
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
171
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...
116
click to vote
CSL
2007
Springer
15 years 3 months ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
164
click to vote
ICMI
2010
Springer
15 years 1 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
120
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...