Informática

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

   INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS

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

   Advances in Soft Computing

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

    INNOVATIONS IN HYBRID INTELLIGENT SYSTEMS

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

    Advances in Soft Computing

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

    PERSONAL WIRELESS COMMUNICATIONS

18. A proposal of a wireless sensor network routing protocol

    IFIP International Federation for Information Processing

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