Sciweavers

2929 search results - page 530 / 586
» Evolving evolutionary algorithms using evolutionary algorith...
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
14 years 1 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICBA
2004
Springer
180views Biometrics» more  ICBA 2004»
14 years 1 months ago
FVC2004: Third Fingerprint Verification Competition
A new technology evaluation of fingerprint verification algorithms has been organized following the approach of the previous FVC2000 and FVC2002 evaluations, with the aim of tracki...
Dario Maio, Davide Maltoni, Raffaele Cappelli, Jam...
CAV
2006
Springer
128views Hardware» more  CAV 2006»
13 years 11 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
FLAIRS
2004
13 years 9 months ago
Hidden Layer Training via Hessian Matrix Information
The output weight optimization-hidden weight optimization (OWO-HWO) algorithm for training the multilayer perceptron alternately updates the output weights and the hidden weights....
Changhua Yu, Michael T. Manry, Jiang Li
ICCV
1999
IEEE
14 years 10 months ago
A Statistical Approach to Snakes for Bimodal and Trimodal Imagery
In this paper, we describe a new region-based approach to active contours for segmenting images composed of two or three types of regions characterizable by a given statistic. The...
Anthony J. Yezzi, Andy Tsai, Alan S. Willsky