Instituto de Tecnología del Conocimiento (ITC)

1999

1. A fully syntactic AC-RPO

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

2. A method for model parameter identification using parallel genetic algorithms

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

3. A parallel robust multigrid algorithm based on semi-coarsening

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

4. A partial evaluation framework for curry programs

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

5. An axiomatization of probabilistic testing

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

6. An environment to develop parallel code for solving partial differential equations based-problems

   Journal of Systems Architecture, Vol. 45, Núm. 6-7, pp. 543-554

7. Denotational semantics for probabilistic refusal testing

   Electronic Notes in Theoretical Computer Science

8. Higher-order recursive path ordering

   Proceedings - Symposium on Logic in Computer Science, pp. 402-411

9. Message passing evaluation and analysis on cray T3E and SGI origin 2000 systems

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

10. Modelling the CBR life cycle using description logics

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

11. Parallel resolution of alternating-line processes by means of pipelining techniques

    Proceedings of the 7th Euromicro Workshop on Parallel and Distributed Processing, PDP 1999

12. Paramodulation with non-monotonic orderings

    Proceedings - Symposium on Logic in Computer Science

13. Partitioning regular domains on modern parallel computers

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

14. Sensei: transferencia de estado en grupos de objetos distribuidos

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas

15. Stereo matching using Hebbian learning

    IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Vol. 29, Núm. 4, pp. 553-559

16. The heterogeneous structure problem in hardware/software codesign: A macroscopic approach

    Proceedings -Design, Automation and Test in Europe, DATE

17. The maude system

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

18. Using reflection to specify transaction sequences in rewriting logic

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

19. Utilización y evaluación de la desambiguación en tareas de clasificación de texto

    Procesamiento del lenguaje natural, Núm. 25, pp. 99-107