The 8th IJCAR automated theorem proving system competition - CASC-J8.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 607, doi. 10.3233/AIC-160709
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2016 AND VI 29 AND IP 5
Results: 5
1
2
Ant Colony Optimization for multicore re-configurable architecture.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 595, doi. 10.3233/AIC-160708
- By:
- Publication type:
- Article
3
Feature selection for multiclass support vector machines.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 583, doi. 10.3233/AIC-160707
- By:
- Publication type:
- Article
4
Particle swarm optimization algorithm with multi methods argument.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 567, doi. 10.3233/AIC-160706
- By:
- Publication type:
- Article
5
Reframing in context: A systematic approach for model reuse in machine learning.
- Published in:
- AI Communications, 2016, v. 29, n. 5, p. 551, doi. 10.3233/AIC-160705
- By:
- Publication type:
- Article