The CADE-24 automated theorem proving system competition - CASC-24.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 405, doi. 10.3233/AIC-140606
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2014 AND VI 27 AND IP 4
Results: 9
1
2
Learning is neither sufficient nor necessary: An agent-based model of long memory in financial markets.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 437, doi. 10.3233/AIC-140608
- By:
- Publication type:
- Article
3
Towards a theory of random walk planning: Regress factors, fair homogeneous graphs and extensions.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 329, doi. 10.3233/AIC-140603
- By:
- Publication type:
- Article
4
Thesis summaries.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 417, doi. 10.3233/AIC-140610
- Publication type:
- Article
5
On the quest for robust technical trading strategies using multi-objective optimization.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 453, doi. 10.3233/AIC-140609
- By:
- Publication type:
- Article
6
The Fifth Annual Symposium on Combinatorial Search.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 327, doi. 10.3233/AIC-140602
- By:
- Publication type:
- Article
7
Real-time heuristic search for motion planning with dynamic obstacles.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 345, doi. 10.3233/AIC-140604
- By:
- Publication type:
- Article
8
Automatic move pruning for single-agent search.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 363, doi. 10.3233/AIC-140605
- By:
- Publication type:
- Article
9
Mapping to optimal regions; A new method for multi-class classification task to reduce complexity.
- Published in:
- AI Communications, 2014, v. 27, n. 4, p. 387, doi. 10.3233/AIC-140607
- By:
- Publication type:
- Article