Sciweavers

1569 search results - page 48 / 314
» Programming contest strategy
Sort
View
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
15 years 7 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
15 years 7 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
15 years 3 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
15 years 6 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
121
Voted
ENTCS
2007
109views more  ENTCS 2007»
15 years 2 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