Informática

2012

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

   Microprocessors and Microsystems

2. A (64,45) triple error correction code for memory applications

   IEEE Transactions on Device and Materials Reliability, Vol. 12, Núm. 1, pp. 101-106

3. A Fuzzy Decision System for an Autonomous Car Parking

   Intelligent Systems Reference Library, Vol. 33, pp. 237-258

4. 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)

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

   DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)

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

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

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

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

   Journal of Logic and Algebraic Programming

9. A concurrent operational semantics for constraint functional logic programming

   Leibniz International Proceedings in Informatics, LIPIcs

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

11. A distributed QoS mechanism for ad hoc network

    International Journal of Ad Hoc and Ubiquitous Computing, Vol. 11, Núm. 1, pp. 25-33

12. 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)

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

14. A formal framework to test soft and hard deadlines in timed systems

    Software Testing Verification and Reliability, Vol. 22, Núm. 8, pp. 583-608

15. A framework for simplifying educator tasks related to the integration of games in the learning flow

    Educational Technology and Society, Vol. 15, Núm. 4, pp. 305-318

16. A framework for the rapid prototyping of knowledge-based recommender systems in the learning domain

    Journal of Research and Practice in Information Technology, Vol. 44, Núm. 2, pp. 167-181

17. A framework to improve evaluation in educational games

    IEEE Global Engineering Education Conference, EDUCON

18. 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)

19. A hybrid user-centred recommendation strategy applied to repositories of learning objects

    International Journal of Web Based Communities, Vol. 8, Núm. 3, pp. 302-321

20. A low cost matching motion estimation sensor based on the NIOS II microprocessor

    Sensors (Switzerland), Vol. 12, Núm. 10, pp. 13126-13149