Informática

2011

1. (1+2)-Evolution strategy for fitting a straight shuffle of min to a dataset

   Genetic and Evolutionary Computation Conference, GECCO'11 - Companion Publication

2. 3D Thermal-aware floorplanner for many-core single-chip systems

   LATW 2011 - 12th IEEE Latin-American Test Workshop

3. A CFLP approach for modeling and solving a real life employee timetabling problem

   COPLAS 2011 - Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems

4. A Combination of Evolutionary Algorithm and Mathematical Programming for the 3D Thermal-Aware Floorplanning Problem

   GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE

5. A Combined Strategy Using FMCDM for Textures Segmentation in Hemispherical Images from Forest Environments

   Advances in Artificial Intelligence: 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011. Proceedings

6. A High-Performance Parallel Implementation of the Chambolle Algorithm

   2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE)

7. A Real-Time Compressed Sensing-Based Personal Electrocardiogram Monitoring System

   2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE)

8. A case study on the use of genetic algorithms to generate test cases for temporal systems

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

9. A combination of evolutionary algorithm and mathematical programming for the 3D thermal-aware floorplanning problem

   Genetic and Evolutionary Computation Conference, GECCO'11

10. A combined strategy using FMCDM for textures segmentation in hemispherical images from forest environments

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

11. A comparison study between AntOR-disjoint node routing and AntOR-disjoint link routing for mobile Ad Hoc networks

    Communications in Computer and Information Science

12. A complete declarative debugger for maude

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

13. A deductive database with datalog and SQL query languages

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

14. A dynamic context-aware architecture for ambient intelligence

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

15. A fast path planning algorithm for route guidance system

    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

16. A hybrid mapping-scheduling technique for dynamically reconfigurable hardware

    Proceedings - 21st International Conference on Field Programmable Logic and Applications, FPL 2011

17. A joint model of feature mining and sentiment analysis for product review rating

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

18. A learning methodology based on semantic tableaux for software engineering education

    2011 24th IEEE-CS Conference on Software Engineering Education and Training, CSEE and T 2011 - Proceedings

19. A logic teaching tool based on tableaux for verification and debugging of algorithms

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

20. A modular semantics for higher-order declarative programming with constraints

    PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming