Argitalpenak (20) Ikertzaileren baten partaidetza izan duten argitalpenak

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. Generador de trayectorias para un robot móvil

    XX Jornadas de automática: 27, 28 y 29 de Septiembre, Salamanca, 1999

  9. Higher-order recursive path ordering

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

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

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

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

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

  13. Paramodulation with non-monotonic orderings

    Proceedings - Symposium on Logic in Computer Science

  14. Partitioning regular domains on modern parallel computers

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

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

  16. Stereo matching using Hebbian learning

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

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

    Proceedings -Design, Automation and Test in Europe, DATE

  18. The maude system

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

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

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