212 search results - page 18 / 43 » On the Locality of Codeword Symbols |
120
click to vote
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
238
click to vote
ICDE
2005
IEEE
16 years 3 months ago
2005
IEEE
Efficiently and accurately searching for similarities among time series and discovering interesting patterns is an important and non-trivial problem. In this paper, we introduce a...
137
Voted
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
127
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
126
click to vote
ICIAR
2009
Springer
14 years 11 months ago
2009
Springer
This paper presents a robust automatic shape classifier using modular wavelet networks (MWNs). A shape descriptor is constructed based on a combination of global geometric features...