3130 search results - page 145 / 626 » Design Correctness of Digital Systems |
139
click to vote
IUI
2009
ACM
16 years 22 days 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...
108
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we present NiCEBook, a paper notebook that supports taking, structuring and reusing notes. Through a study of note-taking habits, we observed that different strateg...
160
click to vote
ANCS
2008
ACM
15 years 5 months ago
2008
ACM
The significance of high-performance dedicated networks has been well recognized due to the rapidly increasing number of large-scale applications that require high-speed data tran...
137
click to vote
ICML
1994
IEEE
15 years 7 months ago
1994
IEEE
We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
124
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...