LENGUAJES Y SISTEMAS INFORMÁTICOS

2012

1. 3D Interaction with smartphone-like devices

   22nd Spanish Computer Graphics Conference, CEIG 2012

2. 3D visualization of haplotype risk maps

   BIOINFORMATICS 2012 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms

3. A compositional scheme and framework for safety critical systems verification

   Proc. of the 10th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2012 and 1st Int. Workshop on , WEBI 2012,in Conj. with ICEIS 2012

4. A formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software

   ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

5. A hybrid approach to text categorization applied to semantic annotation

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

6. A metaprocesses-oriented methodology for software assets reuse in the e-health domain

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

7. A model-driven approach to requirements engineering in ubiquitous systems

   Advances in Intelligent and Soft Computing

8. A new approach to explore integral field spectroscopy data

   22nd Spanish Computer Graphics Conference, CEIG 2012

9. A platform supporting the development of applications in ubiquitous systems: The collaborative application example of mobile forensics

   ACM International Conference Proceeding Series

10. A software platform to analyze MR images based on 3D fractal dimension: Application in Neurodegenerative Diseases

    BIOSIGNALS 2012 - Proceedings of the International Conference on Bio-Inspired Systems and Signal Processing

11. Adaptation mechanisms based on quality properties: A case of study of a positioning service

    ACM International Conference Proceeding Series

12. Adaptive bots for real-time strategy games via map characterization

    2012 IEEE Conference on Computational Intelligence and Games, CIG 2012

13. An image registration approach using genetic algorithms

    2012 IEEE Congress on Evolutionary Computation, CEC 2012

14. An information system to analize cultural heritage information

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

15. Analysis and application of gamification

    ACM International Conference Proceeding Series

16. Assessment of user simulators for spoken dialogue systems by means of subspace multidimensional clustering

    13th Annual Conference of the International Speech Communication Association 2012, INTERSPEECH 2012

17. Assessment of user simulators for spoken dialogue systems by means of subspace multidimensional clustering

    13TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2012 (INTERSPEECH 2012), VOLS 1-3

18. Automating the transformation from BPMN models to CSP+T specifications

    Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012

19. Comparing Bowtie and BWA to Align Short Reads from a RNA-Seq Experiment

    6TH INTERNATIONAL CONFERENCE ON PRACTICAL APPLICATIONS OF COMPUTATIONAL BIOLOGY & BIOINFORMATICS

20. Comparing bowtie and BWA to align short reads from a RNA-Seq experiment

    Advances in Intelligent and Soft Computing