Aportaciones congreso (191) Publicaciones en las que ha participado algún/a investigador/a

2007

  1. A Sharing Analysis for SAFE

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7

  2. A brief introduction to THOTL

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

  3. A computational model of the equivalence class formation psychological phenomenon

    Advances in Soft Computing

  4. A computational model of the equivalence class formation psychological phenomenon

    INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS

  5. A computer model that generates biography-like narratives

    Proceedings of the 4th International Joint Workshop on Computational Creativity

  6. A formal environment for describing negotiation capabilities

    Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

  7. A formal methodology to test complex heterogeneous systems

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

  8. A game-based adaptive unit of learning with IMS learning design and 〈e-adventure〉

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

  9. A higher-order demand-driven narrowing calculus with definitional trees

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

  10. A multiagent extension for virtual reality based intelligent tutoring systems

    Proceedings - The 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007

  11. A neural network model for image change detection based on fuzzy cognitive maps

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

  12. A new generic scheme for functional logic programming with constraints

    Higher-Order and Symbolic Computation

  13. A new protection technique for finite impulse response (FIR) filters in the presence of soft errors

    IEEE International Symposium on Industrial Electronics

  14. A new unsupervised hybrid classifier for natural textures in images

    Advances in Soft Computing

  15. A new unsupervised hybrid classifier for natural textures in images

    INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS

  16. A problem-oriented method for supporting AEH authors through data mining

    CEUR Workshop Proceedings

  17. A proposal of a wireless sensor network routing protocol

    IFIP International Federation for Information Processing

  18. A proposal of a wireless sensor network routing protocol

    PERSONAL WIRELESS COMMUNICATIONS

  19. A reasoning model based on human societies

    6th International Workshop on Practical Applications on Agents and Multiagent Systems

  20. A simple rewrite notion for call-time choice semantics

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming