Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

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 1575

Página siguiente

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

Arino, Juan-J.; Juan Lizandra, María Carmen; Gil Gómez, Jose 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 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)

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

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

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. ...
A diffusion-based ACO resource discovery framework for dynamic p2p networks

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 ...
A Domain Specific Language for Enabling Doctors to Specify Biomechanical Protocols

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 ...
A Dual Scheduling Model for Optimizing Robustness and Energy Consumption in Manufacturing Systems

Escamilla Fuster, Joan; Salido Gregorio, Miguel Angel (SAGE Publications (UK and US), 2016)

Manufacturing systems involve a huge number of combinatorial problems that must be optimized in an efficient way. One of these problems is related to task scheduling problems. These problems are NP-hard, so most of the ...