Conference papers (6)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2007 Remove filter
filter_list Type (aggr.) Conference papers from 2007 to 2007 Computational Theory and Mathematics

2007

  1. A characterization of strong equivalence for logic programs with variables

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Ant colony optimization for model checking

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Finding Safety Errors with ACO

    GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2

  4. Formal and tool support for model driven engineering with Maude

    Journal of Object Technology

  5. Gene selection in cancer classification using PSO/SVM and GA/SVM hybrid algorithms

    2007 IEEE Congress on Evolutionary Computation, CEC 2007

  6. Partial equilibrium logic

    Annals of Mathematics and Artificial Intelligence