5012 search results - page 337 / 1003 » Distributed Error Correction |
156
Voted
ICIAP
2001
Springer
15 years 11 months ago
2001
Springer
The paper proposes a temporal filtering technique for the disparity measurements generated by area-based stereomatching algorithms. The technique improves temporal consistency of...
161
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
168
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: Despite many years of research on how to properly align sequences in the presence of sequencing errors, alternative splicing and micro-exons, the correct alignment of mRNA sequen...
185
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
176
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...