1465 search results - page 58 / 293 » Making the Correct Mistakes |
145
click to vote
BIRTHDAY
2012
Springer
13 years 7 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
100
click to vote
IUI
2009
ACM
15 years 8 months ago
2009
ACM
We demonstrate Parakeet – a continuous speech recognition system for mobile touch-screen devices. Parakeet’s interface is designed to make correcting errors easy on a handheld...
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
Existing Byzantine-resilient replication protocols satisfy two standard correctness criteria, safety and liveness, in the presence of Byzantine faults. In practice, however, fault...
WABI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We give an algorithm that locally improves the fit between two proteins modeled as space-filling diagrams. The algorithm defines the fit in purely geometric terms and...
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...