1578 search results - page 150 / 316 » Self-healing systems - survey and synthesis |
97
Voted
SAM
2004
14 years 11 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In the EMIME project, we are developing a mobile device that performs personalized speech-to-speech translation such that a user’s spoken input in one language is used to produc...
112
click to vote
JAR
2008
14 years 10 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
TWC
2008
14 years 10 months ago
2008
Computationally scalable and accurate estimation, prediction, and simulation of wireless communication channels is critical to the development of more adaptive transceiver algorith...
EACL
2009
ACL Anthology
15 years 10 months ago
2009
ACL Anthology
This paper describes a fully incremental dialogue system that can engage in dialogues in a simple domain, number dictation. Because it uses incremental speech recognition and pros...