Publicaciones (15) Publicaciones en las que ha participado algún/a investigador/a

1995

  1. A Neural Network model in stereovision matching

    Neural Networks, Vol. 8, Núm. 5, pp. 805-813

  2. A second year course on data structures based on functional programming

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

  3. A total AC-compatible ordering based on RPO

    Theoretical Computer Science, Vol. 142, Núm. 2, pp. 209-227

  4. Acceptance trees for probabilistic processes

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

  5. Asociatividad en álgebras de procesos probabilísticas

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

  6. Case-based retrieval of software components

    Expert Systems With Applications, Vol. 9, Núm. 3, pp. 397-405

  7. Extension orderings

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

  8. FIDIAS: an integral approach to high-level synthesis

    IEE Proceedings: Circuits, Devices and Systems, Vol. 142, Núm. 4, pp. 227-235

  9. From abstract data types to logical frameworks

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

  10. Orderings, AC-theories and symbolic constraint solving

    Proceedings - Symposium on Logic in Computer Science

  11. Promoting software reuse through explicit knowledge representations

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

  12. Stereo matching technique based on the perceptron criterion function

    Pattern Recognition Letters, Vol. 16, Núm. 9, pp. 933-944

  13. TINA network resource model

    Conference Record / IEEE Global Telecommunications Conference

  14. Theorem proving with ordering and equality constrained clauses

    Journal of Symbolic Computation, Vol. 19, Núm. 4, pp. 321-351

  15. Tuning of Fuzzy Controllers: Application of the Relay Method

    EUROSIM '95 Simulation Congress