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. Denotational semantics for probabilistic refusal testing

   Electronic Notes in Theoretical Computer Science

7. 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)

8. 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)

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

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

10. Paramodulation with non-monotonic orderings

    Proceedings - Symposium on Logic in Computer Science

11. Partitioning regular domains on modern parallel computers

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

12. 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

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

    Proceedings -Design, Automation and Test in Europe, DATE

14. The maude system

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

15. 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)