7602 search results - page 365 / 1521 » A New Approach to Base Revision |
201
click to vote
CHARME
2005
Springer
16 years 1 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...
203
click to vote
CIDM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, aft...
187
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper focuses on the application of a new ACO-based automatic programming algorithm to the classification task of data mining. This new model, called GBAP algorithm, is based ...
190
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
This papers introduces a new family of iris encoders which use 2-dimensional Haar Wavelet Transform for noise attenuation, and Hilbert Transform to encode the iris texture. In orde...
208
Voted
CVPR
2000
IEEE
16 years 9 months ago
2000
IEEE
This paper describes a new method for determining correspondence between points on pairs of surfaces based on shape using a combination of geodesic distance and surface curvature....