Facultad
Informática
Aportaciones congreso (191) Publicaciones en las que ha participado algún/a investigador/a
2007
-
A Sharing Analysis for SAFE
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7
-
A brief introduction to THOTL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A computational model of the equivalence class formation psychological phenomenon
Advances in Soft Computing
-
A computational model of the equivalence class formation psychological phenomenon
INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS
-
A computer model that generates biography-like narratives
Proceedings of the 4th International Joint Workshop on Computational Creativity
-
A formal environment for describing negotiation capabilities
Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007
-
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)
-
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)
-
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)
-
A multiagent extension for virtual reality based intelligent tutoring systems
Proceedings - The 7th IEEE International Conference on Advanced Learning Technologies, ICALT 2007
-
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)
-
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
-
A new protection technique for finite impulse response (FIR) filters in the presence of soft errors
IEEE International Symposium on Industrial Electronics
-
A new unsupervised hybrid classifier for natural textures in images
Advances in Soft Computing
-
A new unsupervised hybrid classifier for natural textures in images
INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS
-
A problem-oriented method for supporting AEH authors through data mining
CEUR Workshop Proceedings
-
A proposal of a wireless sensor network routing protocol
IFIP International Federation for Information Processing
-
A proposal of a wireless sensor network routing protocol
PERSONAL WIRELESS COMMUNICATIONS
-
A reasoning model based on human societies
6th International Workshop on Practical Applications on Agents and Multiagent Systems
-
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