Informática

2008

1. A Bayesian solution to robustly track multiple objects from visual data

   Studies in Computational Intelligence, Vol. 109, pp. 531-547

2. A Content-Centric Development Process Model

   Computer, Vol. 41, Núm. 3, pp. 24-30

3. A De Finetti-type theorem for nonexchangeable finite-valued random variables

   Journal of Mathematical Analysis and Applications, Vol. 347, Núm. 2, pp. 407-415

4. A Nanowatt Smart Temperature Sensor for Dynamic Thermal Management

   IEEE Sensors Journal, Vol. 8, Núm. 12, pp. 2036-2043

5. A New EDAC Technique against Soft Errors based on Pulse Detectors

   2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5

6. A New Proposal for Debugging Datalog Programs

   Electronic Notes in Theoretical Computer Science, Vol. 216, Núm. C, pp. 79-92

7. A Rewriting semantics for Maude strategies

   Electronic Notes in Theoretical Computer Science

8. A coarse-grain dynamically reconfigurable system and compilation framework

   Fine-and Coarse-Grain Reconfigurable Computing (Springer Netherlands), pp. 181-215

9. A comparative study of STOPA and RTPA

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

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

11. A debugger for parallel haskell dialects

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

12. A declarative debugger for Maude

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

13. A declarative debugger for Maude functional modules

    Electronic Notes in Theoretical Computer Science

14. A flow-oriented visual language for learning designs

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

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

16. A formal specification of the memorization process

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

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

    Proceedings of the International Joint Workshop on Computational Creativity 2008

18. A fully CPU-implemented rigid body simulator

    GRAPP 2008 - Proceedings of the 3rd International Conference on Computer Graphics Theory and Applications

19. A hardware mechanism to reduce the energy consumption of the register file of in-order architectures

    International Journal of Embedded Systems, Vol. 3, Núm. 4, pp. 285-293

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

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