9110 search results - page 482 / 1822 » Formally-Based Design Evaluation |
167
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper describes the design of a backchannel feedback corpus and its evaluation, aiming at realizing in-car spoken dialogue systems with high responsiveness. We constructed ou...
161
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
115
click to vote
CLEF
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes our participation to the monolingual English GIRT task. The main objectives of our experiments were to evaluate the use of Mercure IRS (designed at IRIT/SIG) o...
133
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A new object sorting device using impulsive manipulation and air floating will be developed. First, two methods for impulsive object sorting are evaluated using computer simulatio...
166
Voted
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state ma...