Sciweavers

1172 search results - page 126 / 235
» Constructions of generalized Sidon sets
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 18 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
16 years 18 days ago
ECGA vs. BOA in discovering stock market trading experts
This paper presents two evolutionary algorithms, ECGA and BOA, applied to constructing stock market trading expertise, which is built on the basis of a set of specific trading ru...
Piotr Lipinski
GECCO
2007
Springer
300views Optimization» more  GECCO 2007»
16 years 18 days ago
A NSGA-II, web-enabled, parallel optimization framework for NLP and MINLP
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
David J. Powell, Joel K. Hollingsworth
GECCO
2007
Springer
201views Optimization» more  GECCO 2007»
16 years 18 days ago
Evolving explicit opponent models in game playing
Opponent models are necessary in games where the game state is only partially known to the player, since the player must infer the state of the game based on the opponent’s acti...
Alan J. Lockett, Charles L. Chen, Risto Miikkulain...
KDD
2007
ACM
210views Data Mining» more  KDD 2007»
16 years 17 days ago
Machine learning for stock selection
In this paper, we propose a new method called Prototype Ranking (PR) designed for the stock selection problem. PR takes into account the huge size of real-world stock data and app...
Robert J. Yan, Charles X. Ling