7421 search results - page 1296 / 1485 » In search of dependable design |
192
click to vote
ACL
2012
13 years 9 months ago
2012
This paper presents a probabilistic framework that combines multiple knowledge sources for Haptic Voice Recognition (HVR), a multimodal input method designed to provide efficient...
222
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
203
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
171
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
155
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We present research leading toward an understanding of the optimal audio-visual representation for illustrating concepts for illiterate and semi-literate users of computers. In ou...