Publicaciones (159) Publicaciones en las que ha participado algún/a investigador/a

2016

  1. 4K-based intra and interprediction techniques for HEVC

    Proceedings of SPIE - The International Society for Optical Engineering

  2. A Formal Model of Script Construction Based on Salience and Abstraction

    Procedia Computer Science

  3. A bigraphical modeling methodology for multi-scale reconfigurable systems

    Proceedings - 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016

  4. A challenge proposal for narrative generation using CNLs

    INLG 2016 - 9th International Natural Language Generation Conference, Proceedings of the Conference

  5. A clustering-based method for team formation in learning environments

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

  6. A computational approach inspired by simulated annealing to study the stability of protein interaction networks in cancer and neurological disorders

    Data Mining and Knowledge Discovery, Vol. 30, Núm. 1, pp. 226-242

  7. A formal passive testing approach to control the integrity of private information in eHealth systems

    Studies in Computational Intelligence

  8. A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY

    Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012

  9. A greedy algorithm for reproducing crowds

    Advances in Intelligent Systems and Computing

  10. A matlab-based testbed for integration, evaluation and comparison of heterogeneous stereo vision matching algorithms

    Robotics, Vol. 5, Núm. 4

  11. A multiple data stream management framework for ambient assisted living emulation

    Smart Innovation, Systems and Technologies

  12. A new descriptor for people recognition by handwritten strokes analysis

    IET Seminar Digest

  13. A real world multi-UAV evolutionary planner for minimum time target detection

    GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference

  14. Accessibility-driven cooking system

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

  15. Agent-based simulation of crowds in indoor scenarios

    Studies in Computational Intelligence, Vol. 616, pp. 121-130

  16. An Automated Defect Prediction Framework using Genetic Algorithms: A Validation of Empirical Studies

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, Vol. 19, Núm. 57, pp. 114-137

  17. An adaptation approach for smart buildings

    Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016

  18. An agent based approach for the implementation of cooperative proactive S-Metaheuristics

    Expert Systems with Applications, Vol. 63, pp. 344-374

  19. An annotated corpus for extracting the phenotypic plasticity and the association of SNP-Phenotypes from the text

    Proceedings - 2016 2nd International Conference of Signal Processing and Intelligent Systems, ICSPIS 2016

  20. An architecture of narrative memory

    Biologically Inspired Cognitive Architectures, Vol. 16, pp. 19-33