Instituto de Tecnología del Conocimiento (ITC)

2008

1. A Rewriting semantics for Maude strategies

   Electronic Notes in Theoretical Computer Science

2. A comparative study of STOPA and RTPA

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

3. A comparison between possibility and probability in multiple criteria decision making

   World Scientific Proceedings Series on Computer Engineering and Information Science 1; Computational Intelligence in Decision and Control - Proceedings of the 8th International FLINS Conference

4. A debugger for parallel haskell dialects

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

5. A declarative debugger for Maude

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

6. A declarative debugger for Maude functional modules

   Electronic Notes in Theoretical Computer Science

7. A formal methodology to specify hierarchical agent-based systems

   SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

8. A formal specification of the memorization process

   Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170

9. A framework for building creative objects from heterogeneous generation systems

   Proceedings of the International Joint Workshop on Computational Creativity 2008

10. A hardware task-graph scheduler for reconfigurable multi-tasking systems

    Proceedings - 2008 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2008

11. A hierarchy of equivalences for probabilistic processes

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

12. A modifiable agent-based software architecture for Intelligent Virtual Environments for Training

    7th IEEE/IFIP Working Conference on Software Architecture, WICSA 2008

13. A multi-agent based implementation of a Delphi process

    Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

14. A new vision-based approach to differential spraying in precision agriculture

    Computers and Electronics in Agriculture, Vol. 60, Núm. 2, pp. 144-155

15. A parallel evolutionary algorithm to optimize dynamic data types in embedded systems

    Soft Computing, Vol. 12, Núm. 12, pp. 1157-1167

16. A performance model for federated grid infrastructures

    Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2008

17. A testbed environment for interactive storytellers

    INTETAIN 2008 - 2nd International Conference on INtelligent TEchnologies for Interactive EnterTAINment

18. A vision-based method for weeds identification through the Bayesian decision theory

    Pattern Recognition, Vol. 41, Núm. 2, pp. 521-530

19. A write-based solver F or SAT modulo the theory of arrays

    Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD

20. ACABARASE: An anti-spam case-based reasoning system

    3rd International Conference on Systems, ICONS 2008