264 search results - page 22 / 53 » On Linear Cryptanalysis with Many Linear Approximations |
203
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
112
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Although many researches have investigated transparent scrambling video techniques, an issue of which transcoding relates to downsizing scrambled video without unscrambling has ha...
113
click to vote
STOC
2001
ACM
16 years 1 months ago
2001
ACM
Histograms are typically used to approximate data distributions. Histograms and related synopsis structures have been successful in a wide variety of popular database applications...
116
click to vote
COMPUTING
2006
15 years 1 months ago
2006
Radial functions are a powerful tool in many areas of multidimensional approximation, especially when dealing with scattered data. We present a fast approximate algorithm for the ...
144
click to vote
ICML
1999
IEEE
16 years 2 months ago
1999
IEEE
Excerpted from: Boyan, Justin. Learning Evaluation Functions for Global Optimization. Ph.D. thesis, Carnegie Mellon University, August 1998. (Available as Technical Report CMU-CS-...