Aportaciones congreso (196) Publicaciones en las que ha participado algún/a investigador/a

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