Instituto de Tecnología del Conocimiento (ITC)

2001

1. A declarative similarity framework for knowledge intensive CBR

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

2. A hybrid heuristic for the traveling salesman problem

   IEEE Transactions on Evolutionary Computation, Vol. 5, Núm. 6, pp. 613-622

3. A monotonic higher-order semantic path ordering

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

4. A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system

   Proceedings of the International Conference on Parallel Processing

5. A multigrid solver for the incompressible Navier-Stokes equations on a Beowulf-class system

   PROCEEDINGS OF THE 2001 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING

6. A parallel compact genetic algorithm for multi-FPGA partitioning

   Proceedings - 9th Euromicro Workshop on Parallel and Distributed Processing, PDP 2001

7. A parallel hybrid heuristic for the tsp

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

8. A parallel multigrid solver for 3D convection and convection-diffusion problems

   Parallel Computing, Vol. 27, Núm. 13, pp. 1715-1741

9. A practical partial evaluator for a multi-paradigm declarative language

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

10. A testing theory for generally distributed stochastic processes

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

11. Adding traces to a lazy monadic evaluator

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

12. An expert system for the composition of formal Spanish poetry

    Knowledge-Based Systems, Vol. 14, Núm. 3-4, pp. 181-188

13. An overview of the use of mobile agents in virtual environments

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

14. Applying case-based reasoning to support dynamic framework documentation

    International Journal of Software Engineering and Knowledge Engineering, Vol. 11, Núm. 4, pp. 479-502

15. Clasificación de texturas mediante redes neuronales

    Ingeniería civil, Núm. 123, pp. 61-70

16. Classication based retrieval using formal concept analysis

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

17. EXercita - A System for Archiving and Publishing Programming Exercises

    Computers and Education: towards an Interconnected Society

18. EXercita: Automatic web publishing of programming exercises

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

19. Formal concept analysis as a support technique for CBR

    Knowledge-Based Systems, Vol. 14, Núm. 3-4, pp. 163-171

20. From client's dreams to achievable projects: An expert system for determining web site feasibility

    ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems