2899 search results - page 300 / 580 » Engineering Optimization Using a Simple Evolutionary Algorit... |
152
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
87
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Classifiers are often used to detect miscreant activities. We study how an adversary can efficiently query a classifier to elicit information that allows the adversary to evade de...
170
Voted
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
Many sorting algorithms have been studied in the past, but there are only a few algorithms that can effectively exploit both SIMD instructions and threadlevel parallelism. In this...
134
Voted
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We study the problem of estimating the position and orientation of a calibrated camera from an image of a known scene. A common problem in camera pose estimation is the e...
142
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Deciding the appropriate population size and number of islands for distributed island-model genetic algorithms is often critical to the algorithm’s success. This paper outlines ...