3909 search results - page 512 / 782 » Extreme Model Checking |
155
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
194
click to vote
CTRSA
2005
Springer
15 years 10 months ago
2005
Springer
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
176
click to vote
SCALESPACE
2005
Springer
15 years 10 months ago
2005
Springer
Level-Set methods have been successfully applied to 2D and 3D boundary detection problems. The geodesic active contour model has been particularly successful. Several algorithms fo...
124
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
169
click to vote
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...