3130 search results - page 18 / 626 » Design Correctness of Digital Systems |
ISCAS
2003
IEEE
14 years 25 days ago
2003
IEEE
We describe a system for the training of Second Language Acquisition Pronunciation (SLAP) for nonnative speakers. This speech recognition-based system is designed to mimic the val...
COLING
2010
13 years 2 months ago
2010
This paper makes three significant extensions to a noisy channel speller designed for standard written text to target the challenging domain of search queries. First, the noisy ch...
MVA
2007
13 years 7 months ago
2007
In this paper, we propose a novel type of 3-D scanning system named ‘Ladder-type laser scanning system,’ designed for scanning vertical and narrow areas. Two line scanners are...
SSS
2010
Springer
13 years 5 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...