10707 search results - page 1836 / 2142 » Designing executable abstractions |
182
click to vote
KES
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. This paper evaluates feature extraction techniques in aspect of watermark synchronization. Most watermarking algorithms suffer from geometric distortion attacks that desy...
183
click to vote
LCPC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
215
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
177
click to vote
MATA
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...
175
click to vote
MCS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Obtaining ground truth for hyperspectral data is an expensive task. In addition, a number of factors cause the spectral signatures of the same class to vary with location...