4166 search results - page 420 / 834 » Automating the constraining process |
151
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
Automatic speech recognition (ASR) has reached very high levels of performance in controlled situations. However, the performance degrades significantly when environmental noise ...
158
Voted
TSE
2008
15 years 5 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
117
click to vote
AIEDAM
2004
15 years 5 months ago
2004
Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating ...
152
click to vote
CL
2002
Springer
15 years 5 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
132
click to vote
EMNLP
2010
15 years 3 months ago
2010
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...