Informática

2012

1. 3D thermal-aware floorplanner using a MILP approximation

   Microprocessors and Microsystems

2. A GA combining technical and fundamental analysis for trading the stock market

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

3. A Hybrid HW-SW Approach for Intermittent Error Mitigation in Streaming-Based Embedded Systems

   DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)

4. A MULTI-LEAD ECG CLASSIFICATION BASED ON RANDOM PROJECTION FEATURES

   2012 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP)

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

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

6. A centralized and a decentralized method to automatically derive choreography-conforming web service systems

   Journal of Logic and Algebraic Programming

7. A concurrent operational semantics for constraint functional logic programming

   Leibniz International Proceedings in Informatics, LIPIcs

8. A declarative embedding of XQuery in a functional-logic language

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

9. A fast GPU-based motion estimation algorithm for H.264/AVC

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

10. A fast GPU-based motion estimation algorithm for HD 3D video coding

    Proceedings of the 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012

11. A framework to improve evaluation in educational games

    IEEE Global Engineering Education Conference, EDUCON

12. A graph grammar-based dynamic reconfiguration for virtualized web service-based composite architectures

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

13. A model for efficient onboard actualization of an instrumental cyclogram for the mars MetNet mission on a public cloud infrastructure

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

14. A model-driven process for the modernization of component-based systems

    Science of Computer Programming

15. A new digital repository for remotely sensed hyperspectral imagery with unmixing-based retrieval functionality

    Proceedings of SPIE - The International Society for Optical Engineering

16. A new web-based system for unsupervised classification of satellite images from the Google Maps engine

    Proceedings of SPIE - The International Society for Optical Engineering

17. A software testing tool for the verification of abstract data type implementations from formal algebraic specifications

    Proceedings - 2012 25th IEEE Conference on Software Engineering Education and Training, CSEE and T 2012

18. A technique for the optimization of the parameters of technical indicators with multi-objective evolutionary algorithms

    2012 IEEE Congress on Evolutionary Computation, CEC 2012

19. A tool for testing data type implementations from Maude algebraic specifications

    Electronic Notes in Theoretical Computer Science

20. ASPECTS OF SERIOUS GAMES CURRICULUM INTEGRATION - A TWO-FOLDED APPROACH

    LEVERAGING TECHNOLOGY FOR LEARNING, VOL II