Sciweavers

1569 search results - page 48 / 314
» Programming contest strategy
Sort
View
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
14 years 3 months ago
Multi-agent Foreign Exchange Market Modelling Via GP
In this work genetic programming is used to express and evolve trading strategies for a foreign exchange currency market simulator.
Stephen Dignum, Riccardo Poli
FMCAD
2004
Springer
14 years 3 months ago
Proof Styles in Operational Semantics
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
Sandip Ray, J. Strother Moore
CEC
2010
IEEE
13 years 11 months ago
Evolving efficient limit order strategy using Grammatical Evolution
Trade execution is concerned with the actual mechanics of buying or selling the desired amount of a financial instrument of interest. A practical problem in trade execution is how ...
Wei Cui, Anthony Brabazon, Michael O'Neill
ICLP
1997
Springer
14 years 2 months ago
Parallel Evaluation Strategies for Functional Logic Languages
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
Sergio Antoy, Rachid Echahed, Michael Hanus
ENTCS
2007
109views more  ENTCS 2007»
13 years 10 months ago
Modular Structural Operational Semantics with Strategies
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
Christiano Braga, Alberto Verdejo