Sciweavers

26071 search results - page 136 / 5215
» Making the
Sort
View
GECCO
2006
Springer
237views Optimization» more  GECCO 2006»
14 years 22 days ago
Genetic algorithms to optimise the time to make stock market investment
The application of Artificial Intelligence described in this article is intended to resolve the issue of speculation on the stock market. Genetic Algorithms is the technique that ...
David de la Fuente, Alejandro Garrido, Jaime Lavia...
CAV
2003
Springer
106views Hardware» more  CAV 2003»
14 years 22 days ago
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
Edmund M. Clarke, Orna Grumberg, Muralidhar Talupu...