2006 search results - page 184 / 402 » Heuristic Security-Testing Methods |
131
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
137
click to vote
ACCV
2009
Springer
16 years 28 days ago
2009
Springer
We propose a method for multi-view reconstruction from videos adapted to dynamic cluttered scenes under uncontrolled imaging conditions. Taking visibility into account and being ba...
142
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
148
Voted
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Genetic algorithms are often applied to combinatorial optimization problems, the most popular one probably being the traveling salesperson problem. In contrast to permutations use...
160
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Tetris is a falling block game where the player’s objective is to arrange a sequence of different shaped tetrominoes smoothly in order to survive. In the intelligence games, ag...