Facultad
Informática
Aportaciones congreso (196) Publicaciones en las que ha participado algún/a investigador/a
2012
-
3D thermal-aware floorplanner using a MILP approximation
Microprocessors and Microsystems
-
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)
-
A Hybrid HW-SW Approach for Intermittent Error Mitigation in Streaming-Based Embedded Systems
DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012)
-
A MULTI-LEAD ECG CLASSIFICATION BASED ON RANDOM PROJECTION FEATURES
2012 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP)
-
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)
-
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Journal of Logic and Algebraic Programming
-
A concurrent operational semantics for constraint functional logic programming
Leibniz International Proceedings in Informatics, LIPIcs
-
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)
-
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)
-
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
-
A framework to improve evaluation in educational games
IEEE Global Engineering Education Conference, EDUCON
-
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)
-
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)
-
A model-driven process for the modernization of component-based systems
Science of Computer Programming
-
A new digital repository for remotely sensed hyperspectral imagery with unmixing-based retrieval functionality
Proceedings of SPIE - The International Society for Optical Engineering
-
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
-
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
-
A technique for the optimization of the parameters of technical indicators with multi-objective evolutionary algorithms
2012 IEEE Congress on Evolutionary Computation, CEC 2012
-
A tool for testing data type implementations from Maude algebraic specifications
Electronic Notes in Theoretical Computer Science
-
ASPECTS OF SERIOUS GAMES CURRICULUM INTEGRATION - A TWO-FOLDED APPROACH
LEVERAGING TECHNOLOGY FOR LEARNING, VOL II