Sciweavers

1732 search results - page 154 / 347
» Sequences of Level 1, 2, 3, ..., k , ..
Sort
View
ENTCS
2002
79views more  ENTCS 2002»
15 years 6 months ago
Debugging and Testing Optimizers through Comparison Checking
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
JOC
2011
79views more  JOC 2011»
14 years 10 months ago
Tweakable Block Ciphers
We propose a new cryptographic primitive, the “tweakable block cipher.” Such a cipher has not only the usual inputs—message and cryptographic key—but also a third input, th...
Moses Liskov, Ronald L. Rivest, David Wagner
ECCV
2002
Springer
16 years 9 months ago
Finding the Largest Unambiguous Component of Stereo Matching
Abstract. Stereo matching is an ill-posed problem for at least two principal reasons: (1) because of the random nature of match similarity measure and (2) because of structural amb...
Radim Sára
INEX
2007
Springer
16 years 1 months ago
Phrase Detection in the Wikipedia
The Wikipedia XML collection turned out to be rich of marked-up phrases as we carried out our INEX 2007 experiments. Assuming that a phrase occurs at the inline level of the markup...
Miro Lehtonen, Antoine Doucet
ISCAS
2006
IEEE
206views Hardware» more  ISCAS 2006»
16 years 1 months ago
JPEG2000 image coding system theory and applications
JPEG2000, the new standard for still image coding, Quantization, user defined wavelets, arbitrary wavelet provides a new framework and an integrated toolbox to better decomposition...
Athanassios N. Skodras, Touradj Ebrahimi