Instituto de Tecnología del Conocimiento (ITC)

2013

1. A CLP heap solver for test case generation

   Theory and Practice of Logic Programming

2. A case-based solution to the cold-start problem in group recommenders

   IJCAI International Joint Conference on Artificial Intelligence

3. A declarative domain model can serve as design document

   AAAI Workshop - Technical Report

4. A model driven methodology for enabling autonomic reconfiguration of service oriented architecture

   Proceedings of the ACM Symposium on Applied Computing

5. A reusable methodology for the instantiation of social recommender systems

   Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

6. APET: A test case generation tool for concurrent objects

   2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

7. Accessible Numerical Information: Cookery Recipes as a Special Case

   2013 FOURTH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY AND ACCESSIBILITY (ICTA)

8. Accessible numerical information: Cookery recipes as a special case

   2013 4th International Conference on Information and Communication Technology and Accessibility, ICTA 2013

9. Acquisition of agronomic images with sufficient quality by automatic exposure time control and histogram matching

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

10. Adaptive and reconfigurable service-oriented and component-based applications and architectures (AROSA 2013)

    Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE

11. Agent participation in context-aware workflows

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

12. Ambient intelligence with INGENIAS

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

13. An agent based implementation of proactive S-Metaheuristics

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

14. An evolutionary methodology for automatic design of finite state machines

    GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion

15. An ontological and agent-oriented modeling approach for the specification of intelligent ambient assisted living systems for Parkinson patients

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

16. Automatic classification of Nosema pathogenic agents through machine vision techniques and kernel-based vector machines

    2013 8th Computing Colombian Conference, 8CCC 2013

17. Automatic inference of bounds on resource consumption

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

18. Combining technical analysis and grammatical evolution in a trading system

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

19. Computational modelling of poetry generation

    Artificial Intelligence and Poetry - AISB Convention 2013

20. Contract compliance monitoring of web services

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