Sciweavers

17789 search results - page 160 / 3558
» Exceptional Use Cases
Sort
View
144
Voted
ICDAR
2003
IEEE
15 years 9 months ago
Comparison of Genetic Algorithm and Sequential Search Methods for Classifier Subset Selection
Classifier subset selection (CSS) from a large ensemble is an effective way to design multiple classifier systems (MCSs). Given a validation dataset and a selection criterion, the...
Hongwei Hao, Cheng-Lin Liu, Hiroshi Sako
ASIACRYPT
2000
Springer
15 years 8 months ago
On Relationships among Avalanche, Nonlinearity, and Correlation Immunity
We establish, for the first time, an explicit and simple lower bound on the nonlinearity Nf of a Boolean function f of n variables satisfying the avalanche criterion of degree p, ...
Yuliang Zheng, Xian-Mo Zhang
140
Voted
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 7 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
122
Voted
SCALESPACE
1997
Springer
15 years 7 months ago
Scale Space Analysis by Stabilized Inverse Diffusion Equations
Abstract. We introduce a family of first-order multi-dimensional ordinary differential equations (ODEs) with discontinuous right-hand sides and demonstrate their applicability in i...
Ilya Pollak, Alan S. Willsky, Hamid Krim
107
Voted
DAGSTUHL
2008
15 years 5 months ago
Interval Arithmetic and Standardization
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficient...
Jürgen Wolff von Gudenberg