962 search results - page 41 / 193 » Input validation analysis and testing |
111
Voted
PAMI
2008
15 years 2 months ago
2008
We propose a new two-stage framework for joint analysis of head gesture and speech prosody patterns of a speaker toward automatic realistic synthesis of head gestures from speech p...
143
click to vote
ICTAC
2009
Springer
15 years 2 days ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
CORR
1999
Springer
15 years 2 months ago
1999
Springer
We argue that grammatical analysis is a viable alternative to concept spotting for processing spoken input in a practical spoken dialogue system. We discuss the structure of the g...
141
click to vote
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
107
click to vote
FORTE
1996
15 years 3 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...