RiuNet UPV Home
:
Browsing by UPV Unit

Search RiuNet

Browse

All of RiuNet

My Account

RiuNet Help

Browsing by UPV Unit "Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació"

Now showing items 1-20 of 2179

(smt) Herramienta de registro y visualización de mouse tracking en tiempo real para la evaluación de usabilidad en sitios web

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 ...
- Telemap.- Autentificación de hologramas de seguridad mediante adquisición y tratamiento de imágenes variables con Smart Phones.

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 ...
2D Dependency Pairs for Proving Operational Termination of CTRSs

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 ...
3Dfake. Motor de videojuegos para la visualización de escenas 3D mediante técnicas 2D

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 ...
A Bidirectional Recurrent Neural Language Model for Machine Translation

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 ...
A cloud infrastructure for scalable computing on population imaging databanks

Blanquer Espert, Ignacio; Caballer Fernández, Miguel; Martí-Bonmatí, Luis; Alberich Bayarri, Ángel; 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 ...
A comparative study of Neural Machine Translation frameworks for the automatic translation of open data resources

Iranzo Sánchez, Javier (2018-09-11)

[EN] Machine Translation (MT) is one of the most active areas in Artificial Intelligence, particularly in Pattern Recognition. MT has recently received a great deal of attention by key technology players such as Google, ...
A comparative study of the sense of presence and anxiety in an invisible marker versus a marker Augmented Reality system for the treatment of phobia towards small animals

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 ...
A Comparative Study on Model-Driven Requirements Engineering for Software Product Lines

Blanes Domínguez, David; Insfrán Pelozo, César Emilio (UNIFACS, 2012-06)

[EN] 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 ...
A comparative study using an autostereoscopic display with augmented and virtual reality

Arino, Juan-J.; Juan Lizandra, María Carmen; Gil Gómez, José Antonio; Mollá Vayá, Ramón Pascual (Taylor &amp; 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 ...
A Comparison of Approaches for Measuring Cross-Lingual Similarity of Wikipedia Articles

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 ...
A complete and efficient CUDA-sharing solution for HPC clusters

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 ...
A complete software application for automatic registration of x-ray mammography and magnetic resonance images

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 ...
A computational analysis of general intelligence tests for evaluating cognitive development

Martínez-Plumed, Fernando; Ferri Ramírez, César; Hernández-Orallo, José; Ramírez Quintana, María José (Elsevier, 2017)

[EN] The progression in several cognitive tests for the same subjects at different ages provides valuable information about their cognitive development. One question that has caught recent interest is whether the same ...
A Computational Argumentation Framework for Agent Societies

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. ...
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

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 ...
A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

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 ...
A Cross-domain and Cross-language Knowledge-based Representation of Text and its Meaning

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 ...
A decision support system for managing combinatorial problems in container terminals

Salido, Miguel A.; Rodríguez Molins, Mario; Barber, Federico (Elsevier, 2012-05)

[EN] 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 ...
A Dependency Pair Framework for AvC-Termination

Alarcón Jiménez, Beatriz; Gutiérrez 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. ...