Mostrando ítems 21-30 de 56
Álvarez Napagao, Sergio (Fecha de defensa: 2016-02-08)
As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. ...
San Pedro Martín, Javier de (Fecha de defensa: 2017-10-27)
Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many ...
Taymouri, Farbod (Fecha de defensa: 2018-12-21)
Conformance Checking is a new research discipline devoted to identify deviations between business process models and their real executions. Identifying deviations boils down to the notion of alignment ...
Zavala, Edith (Fecha de defensa: 2019-07-05)
Nowadays, most of the approaches supporting self-adaptive systems (SASs) rely on static feedback control loops, for managing their adaptation process. One of the most popular feedback loops is the MAPE-K ...
Primadhanty, Audi (Fecha de defensa: 2017-11-17)
One of the challenges in Natural Language Processing (NLP) is the unstructured nature of texts, in which useful information is not easily identifiable. Information Extraction (IE) aims to alleviate it ...
Cerveró Abelló, M. Àngels (Maria Àngels) (Fecha de defensa: 2016-01-29)
Techniques devoted to deform 3D models are an important research field in Computer Graphics. They can be used in differentstages: the modelling phase, the animation process and also during some special ...
Oliva Martínez, Ramon (Fecha de defensa: 2016-11-28)
In order to create autonomous characters it is necessary to solve the problem of moving agents between two locations, at both the global and local navigation levels. Global navigation has two main ...
Castro Espinoza, Félix (Fecha de defensa: 2018-06-21)
Supported by technological development and its impact on everyday activities, e-Learning and b-Learning (Blended Learning) have experienced rapid growth mainly in higher education and training. Its ...
Tarrés Puertas, Marta Isabel (Fecha de defensa: 2014-12-18)
The evolution of constraint based geometric models is tightly tied to parametric and feature-based Computer-Aided Design (CAD) systems. Since the introduction of parametric design by Pro/Engineer in the ...
Larraz Hurtado, Daniel (Fecha de defensa: 2015-07-28)
This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about ...