This paper presents a methodology to address lexical disambiguation in a standard phrase-based statistical
machine translation system. Similarity among source contexts is used to select appropriate translation
units. The ...
Nishid, Naoki; Vidal Oriola, Germán Francisco(Elsevier, 2015-03)
The search space of SLD resolution, usually represented by means of a so-called SLD tree, is often infinite. However, there are many applications that must deal with possibly infinite SLD trees, like partial evaluation or ...
Generalization, also called anti-unification, is the dual of unification. Given terms t and t
,
a generalizer is a term t of which t and t are substitution instances. The dual of
a most general unifier (mgu) is that of ...
Comini, Marco; Titolo, Laura; Villanueva García, Alicia(Cambridge University Press, 2011)
The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...
[EN] In this paper we introduce the concept of Agreement
Computing, motivate the central role that the concept
of agreement plays in open software systems and discuss a
number of research challenges that need to be ...
Jordá Albiñana, María Begoña; Magal Royo, Teresa; Lozano Suaza, Rodrigo; Abián-Pérez, Miguel Ángel(Publicaciones DYNA, 2015)
[EN] The development of web applications for the cataloguing of
industrial products is an important process for logistic services and
on-line sales on a global level. The need to develop intelligent
settings based on ...
A methodology for mapping urban land-use types integrating information from multiple data sources (high spatial resolution imagery, LiDAR data, and cadastral plots) is presented. A large set of complementary descriptive ...
[EN] The evolution of online environments and web applications has discovered the real need to create specialized semantic ontology for industrial products in a particular sector. This will improve and guide the exploration ...
Corral Esteban, Avelino(Editorial Universitat Politècnica de València, 2012-07-01)
[EN] This article attempts to provide conclusive evidence to decide on the existence or absence of passive in two Native American languages, namely Lakhota and Cheyenne, which exhibit a similar behaviour in this respect. ...
Pardo Pont, Daniel(Universitat Politècnica de València, 2015-03-25)
[ES] El análisis automático de software permite verificar que un programa cumpla una
serie de propiedades deseables sin intervención humana, aportando agilidad al proceso
de ingeniería y reduciendo los riesgos del software ...
Izquierdo Doménech, Juan Jesús(Universitat Politècnica de València, 2024-06-24)
[ES] La Realidad Aumentada (Augmented Reality, AR) y su capacidad para integrar contenido sintético sobre una imagen real proporciona un valor incalculable en diversos campos; no obstante, la industria es uno de estos ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Elsevier, 2012)
[EN] The specification and simulation of complex concurrent systems is a difficult task due to the intricate combinations of message passing and synchronizations that can occur between the components of the system. Two of ...
Gimenez-Guzman, Jose Manuel; Leyva-Mayorga, Israel; Popovski, Petar(Institute of Electrical and Electronics Engineers, 2024-06-01)
[EN] Vehicle-to-everything (V2X) networks will constitute a prominent application in future generations of cellular networks, definitely transforming our conception of transportation systems. A major challenge in V2X ...
Fernández-Breis, Jesualdo Tomás; Maldonado Segura, José Alberto; Marcos, Marc; Legaz-García, María del Carmen; Moner Cano, David; Torres-Sospedra, Joaquín; Esteban-Gil, Angel; Martínez-Salvador, Begoña; Robles Viejo, Montserrat(BMJ Publishing Group, 2013-12)
Introduction
The secondary use of Electronic Healthcare Records (EHRs) often requires the identification
of patient cohorts. In this context, an important problem is the heterogeneity of clinical data
sources, which can ...
Rosso, Paolo; Hurtado Oliver, Lluis Felip; Segarra Soriano, Encarnación; Sanchís Arnal, Emilio(Institute of Electrical and Electronics Engineers (IEEE), 2012-01)
[EN] Question answering (QA) is probably one of the most challenging tasks in the field of natural language processing. It requires search engines that are capable of extracting concise, precise fragments of text that ...
Jiménez Martí, Alejandro(Universitat Politècnica de València, 2023-09-27)
[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...
Garrido, Angel Luis; Pera, María Soledad; Bobed, Carlos(Springer-Verlag, 2023-12-21)
[EN] Recommender Systems support a broad range of domains, each with peculiarities that recommendation algorithms must consider to produce appropriate suggestions. In the paper, we bring attention to a little-studied ...
Galiana Martínez, Miguel; Llinares Millán, María del Carmen; Page Del Pozo, Alvaro Felipe(Elsevier, 2012-12)
Many studies have attempted to measure human response in music halls in order to determine acoustic quality. However, all these works have used parameters defined by experts. This approach may be an important drawback since ...
[EN] A novel method for finding linear mappings among word embeddings for several languages, taking as pivot a shared, multilingual embedding space, is proposed in this paper. Previous approaches learned translation matrices ...
[EN] With its various available frameworks and possible devices, augmented reality is a proven useful tool in various industrial processes such as maintenance, repairing, training, reconfiguration, and even monitoring tasks ...