5012 search results - page 340 / 1003 » Distributed Error Correction |
196
click to vote
IJON
2008
15 years 6 months ago
2008
The demand for automatically annotating and retrieving medical images is growing faster than ever. In this paper, we present a novel medical image retrieval method based on SEMIsu...
185
click to vote
TCAD
2008
15 years 6 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
175
click to vote
RAS
2008
15 years 6 months ago
2008
This paper presents a cooperative decentralized path-planning algorithm for a group of autonomous agents that provides guaranteed collisionfree trajectories in real-time. The algo...
180
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
155
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...