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 framework for building creative objects from heterogeneous generation systems

   Proceedings of the International Joint Workshop on Computational Creativity 2008

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

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

10. A hierarchy of equivalences for probabilistic processes

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

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

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

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

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

13. A performance model for federated grid infrastructures

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

14. A testbed environment for interactive storytellers

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

15. 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

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

    3rd International Conference on Systems, ICONS 2008

17. Adaptation through planning in knowledge intensive CBR

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

18. Aerodynamics analysis acceleration through reconfigurable hardware

    Proceedings - 2008 4th Southern Conference on Programmable Logic, SPL

19. An adaptive agent model for self-organizing MAS

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

20. An intelligent plot-centric interface for mastering computer role-playing games

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