Communications dans un congrès (66) Publications auxquelles un chercheur a participé

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