Listar por Entidad UPV "Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació"
RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia
- RiuNet repositorio UPV
- :
- Listar por Entidad UPV
JavaScript is disabled for your browser. Some features of this site may not work without it.
Buscar en RiuNet
Listar
Mi cuenta
Ayuda RiuNet
Listar por Entidad UPV "Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació"
Mostrando ítems 1-20 de 1639
-
Leiva Torres, Luis Alberto; Vivó Hernando, Roberto Agustín (Asociación de Técnicos de Informática (ATI), 2007-10)El Mouse Tracking (rastreo o seguimiento del ratón) en sitios web empleando tecnologías web estándar es una interesante aunque no evidente herramienta para el análisis de la interfaz de usuario, un gran complemento a los ... -
PERIS NAVARRO, JORGE (2017-05-03)- Telemap: Aplicación desarrollada para dispositivos android que trata de un navegador indoor. Permite guiar al usuario dentro de Télécom Bretagne para ir de un aula a otra, mediante el cálculo del camino más corto gracias ... -
Lucas Alba, Salvador; Meseguer, José (Springer Verlag (Germany), 2014-11)The notion of *operational termination* captures nonterminating computations due to subsidiary processes that are necessary to issue a *single* `main' step but which often remain `hidden' when the main computation sequence ... -
VÁZQUEZ PALACIOS, FRANCISCO (2016-10-03)[ES] La mayoría de juegos en la actualidad utilizan la aceleración 3D de las tarjetas gráficas para su funcionamiento, el objetivo de este trabajo, es poder prescindir de esta tecnología, utilizando primitivas gráficas ... -
Peris Abril, Álvaro; Casacuberta Nolla, Francisco (Sociedad Española para el Procesamiento del Lenguaje Natural (SEPLN), 2015-09)[EN] A language model based in continuous representations of words is presented, which has been applied to a statistical machine translation task. This model is implemented by means of a bidirectional recurrent neural ... -
Blanquer Espert, Ignacio; Caballer Fernández, Miguel; Martí-Bonmatí, Luis; ALBERICH BAYARRI, ANGEL; DE LA IGLESIA VAYÁ, MARIA DE LOS DESAMPARADOS; Martínez, Jacobo (Inderscience, 2015)This article describes the software architecture designed to cope with the computing demand of research usage of complex data from the imaging biobank of the Regional Ministry of Health in the Valencia Region (CS). It ... -
Juan, M.-Carmen; JOELE, DENNIS (Elsevier, 2011-06)Phobia towards small animals has been treated using exposure in vivo and virtual reality. Recently, augmented reality (AR) has also been presented as a suitable tool. The first AR system developed for this purpose used ... -
Blanes Dominguez, David; Insfrán Pelozo, César Emilio (UNIFACS, 2012-06)Model-Driven Engineering (MDE) and Software Product Lines (SPL) are two software development paradigms that emphasize reusing. The former reuse domain knowledge is represented as models and model transformations ... -
Arino, Juan-J.; Juan Lizandra, María Carmen; Gil Gómez, Jose Antonio; Mollá Vayá, Ramón Pascual (Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2014)Advances in display devices are facilitating the integration of stereoscopic visualization in our daily lives. However, autostereoscopic visualization has not been extensively exploited. In this paper, we present a system ... -
Barrón Cedeño, Luis Alberto; Paramita, Monica Lestari; Clough, Paul; Rosso, Paolo (Springer Verlag (Germany), 2014)Wikipedia has been used as a source of comparable texts for a range of tasks, such as Statistical Machine Translation and CrossLanguage Information Retrieval. Articles written in different languages on the same topic ... -
Peña Monferrer, Antonio José; Reaño González, Carlos; Silla Jiménez, Federico; MAYO GUAL, RAFAEL; Quintana-Orti, Enrique S.; Duato Marín, José Francisco (Elsevier, 2014-12)In this paper we detail the key features, architectural design, and implementation of rCUDA, an advanced framework to enable remote and transparent GPGPU acceleration in HPC clusters. rCUDA allows decoupling GPUs from ... -
Solves Llorens, Juan Antonio; Rupérez Moreno, María José; Monserrat, C.; Feliu, E; Garcia, M; Lloret, M (American Association of Physicists in Medicine: Medical Physics, 2014-08)Purpose: This work presents a complete and automatic software application to aid radiologists in breast cancer diagnosis. The application is a fully automated method that performs a complete registration of magnetic ... -
Heras Barberá, Stella María; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (2011-06-17)Starting from the idea that the social context of agents determines the way in which agents can argue and reach agreements, this context should have a decisive influence in the computational representation of arguments. ... -
COMINI, MARCO; Titolo, Laura; Villanueva García, Alicia (2013)In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ... -
COMINI, MARCO; Titolo, Laura; Villanueva García, Alicia (2013-04-13)In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ... -
FRANCO SALVADOR, MARC (2017-07-03)Natural Language Processing (NLP) is a field of computer science, artificial intelligence, and computational linguistics concerned with the interactions between computers and human languages. One of its most challenging ... -
Miguel A. Salido; Rodríguez Molins, Mario; Federico Barber (Elsevier, 2012-05)A container terminal is a facility where cargo containers are transshipped between different transport vehicles. We focus our attention on the transshipment between vessels and land vehicles, in which case the terminal is ...
-
Alarcón Jiménez, Beatriz; Gutierrez Gil, Raúl; Lucas, Salvador; Meseguer, José (2011-05-04)The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ... -
Krynicki, Kamil Krzysztof; Jaén Martínez, Francisco Javier; Catalá Bolós, Alejandro (IEEE, 2013-06-20)The Ant Colony Optimization (ACO) has been a very resourceful metaheuristic over the past decade and it has been successfully used to approximately solve many static NP-Hard problems. There is a limit, however, of its ... -
Pérez Pérez, María Francisca; Valderas Aranda, Pedro José; Fons Cors, Joan Josep (IEEE, 2013-09)New technologies are entering medical practice at an astounding pace. However, these technologies often cause to doctors learn and use difficulties. Then, doctors require assistance of a biomedical engineer. This is ...
Mostrando ítems 1-20 de 1639
El contenido de este sitio está bajo una licencia Creative Commons Reconocimiento – No Comercial – Sin Obra Derivada (by-nc-nd), salvo que se indique lo contrario. Riunet 4.2
