Publications (12)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2003 Remove filter
filter_list from 2003 to 2003 Software

2003

  1. A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2664, pp. 17-31

  2. An efficient 2D deformable objects detection and location algorithm

    Pattern Recognition, Vol. 36, Núm. 11, pp. 2543-2556

  3. Balanced, locality-based parallel irregular reductions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2624, pp. 162-176

  4. Comparing different serial and parallel heuristics to design combinational logic circuits

    Proceedings - NASA/DoD Conference on Evolvable Hardware, EH

  5. Comparing different serial and parallel heuristics to design combinational logic circuits

    2003 NASA/DOD CONFERENCE ON EVOLVABLE HARDWARE

  6. Expansion postponement via cut elimination in sequent calculi for pure type systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2719, pp. 956-968

  7. Multicriteria heuristic search

    European Journal of Operational Research, Vol. 150, Núm. 2, pp. 253-280

  8. Optimization techniques for parallel irregular reductions

    Journal of Systems Architecture, Vol. 49, Núm. 3, pp. 63-74

  9. Parallel LAN/WAN heuristics for optimization

    Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

  10. Parallel heterogeneous genetic algorithms for continuous optimization

    Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

  11. Soft component adaptation

    Electronic Notes in Theoretical Computer Science

  12. Using UML and maude for writing and reasoning about ODP policies

    Proceedings - POLICY 2003: IEEE 4th International Workshop on Policies for Distributed Systems and Networks