212 search results - page 33 / 43 » On the Locality of Codeword Symbols |
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, image processing and symbol processing are bridged with a common framework. A new computational architecture allows arbitrary fixed images to be used as attractors ...
91
Voted
ICPR
2004
IEEE
16 years 25 days ago
2004
IEEE
The prediction of protein secondary structure is a classical problem in bioinformatics, and in the past few years several machine learning techniques have been proposed to t. From...
ICOST
2009
Springer
15 years 6 months ago
2009
Springer
This paper discuss the ability to obtain a reliable pervasive information at home from a network of localizing sensors allowing to follow the different locations at which a depend...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...