Result 1 to 20 of 263 total
Monte-Carlo tree search for the physical travelling salesman problem. (English)
Di Chio, Cecilia (ed.) et al., Applications of evolutionary computation. EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29177-7/pbk). Lecture Notes in Computer Science 7248, 255-264 (2012).
1
SAT modulo linear arithmetic for solving polynomial constraints. (English)
J. Autom. Reasoning 48, No. 1, 107-131 (2012).
2
Constructing partial words with subword complexities not achievable by full words. (English)
Theor. Comput. Sci. 432, 21-27 (2012).
3
TROCAS: Communication skills development in children with autism spectrum disorders via ICT. (English)
Campos, Pedro (ed.) et al., Human-computer interaction ‒ INTERACT 2011. 13th IFIP TC 13 international conference, Lisbon, Portugal, September 5‒9, 2011. Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-23767-6/pbk). Lecture Notes in Computer Science 6949, 644-647 (2011).
4
Pareto cone $ϵ$-dominance: improving convergence and diversity in multiobjective evolutionary algorithms. (English)
Takahashi, Ricardo H. C. (ed.) et al., Evolutionary multi-criterion optimization. 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19892-2/pbk). Lecture Notes in Computer Science 6576, 76-90 (2011).
5
Proving termination properties with mu-term. (English)
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23‒25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 201-208 (2011).
6
Fast approximate Max-n Monte Carlo tree search for ms pac-man (English)
IEEE Trans. Comput. Intellig. and AI in Games 3, No. 2, 142-154 (2011).
7
CIS publication spotlight (English)
IEEE Comp. Int. Mag. 6, No. 4, 11-12 (2011).
8
CIS publication spotlight [Publication spotlight] (English)
IEEE Comp. Int. Mag. 6, No. 3, 10-11 (2011).
9
CIS publication spotlight [Publication spotlight] (English)
IEEE Comp. Int. Mag. 6, No. 2, 15-62 (2011).
10
Recurrent partial words (English)
WORDS, 71-82 (2011).
11
Approximating n-player behavioural strategy Nash equilibria using coevolution (English)
GECCO, 1107-1114 (2011).
12
A comparison of dominance criteria in many-objective optimization problems (English)
IEEE Congress on Evolutionary Computation, 2359-2366 (2011).
13
Ms pac-man versus ghost team CEC 2011 competition (English)
IEEE Congress on Evolutionary Computation, 70-77 (2011).
14
TROCAS: communication skills development in children with autism spectrum disorders via ICT (English)
INTERACT (4), 644-647 (2011).
15
Pareto cone {$\it ϵ$}-dominance: improving convergence and diversity in multiobjective evolutionary algorithms (English)
EMO, 76-90 (2011).
16
Collaborative features in content sharing web 2.0 social networks: A domain engineering based on the 3C collaboration model (English)
CRIWG, 142-157 (2011).
17
A dependency pair framework for $A \vee C$-termination. (English)
Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20‒21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 35-51 (2010).
18
Proving termination in the context-sensitive dependency pair framework. (English)
Ölveczky, Peter Csaba (ed.), Rewriting logic and its applications. 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20‒21, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16309-8/pbk). Lecture Notes in Computer Science 6381, 18-34 (2010).
19
Grammatical inference and games (extended abstract). (English)
Sempere, José M. (ed.) et al., Grammatical inference: Theoretical results and applications. 10th international colloquium, ICGI 2010, Valencia, Spain, September 13‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15487-4/pbk). Lecture Notes in Computer Science 6339. Lecture Notes in Artificial Intelligence, 1-4 (2010).
20
Result 1 to 20 of 263 total
Start
Contact
Print
General Help
