Programa de Doctorat en Software: Enviaments recents
Ara mostrant els elements 1-20 de 32
Interactive inspection of segmented volume data
Present systems for the acquisition of medical images are providing better and better resolution images which end up in bigger amounts of data, even in scenarios with learning or training purposes. Interactive inspection ...
Improving automatic rigging for 3D humanoid characters
In the field of computer animation the process of creating an animated character is usually a long and tedious task. An animation character is usually efined by a 3D mesh (a set of triangles in the space) that gives its ...
Enhancing detailed haptic relief for real-time interaction
The present document exposes a different approach for haptic rendering, defined as the simulation of force interactions to reproduce the sensation of surface relief in dense models. Current research shows open issues in ...
Direct tree decomposition of geometric constraint graphs
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 1980's, most major ...
The notion of specialization in the i*framework
This thesis provides a formal proposal for the specialization relationship in the i* framework that allows its use in a well-defined manner. I root my proposal over existing works in different areas that are interested in ...
From the i* diversity to a common interoperability framework
Since the i* framework emerged in the requirements engineering community in the mid-90s, different research groups have proposed variations to the modelling language proposed in the i* framework (¿the i* language¿). There ...
The Complexity of angel-daemons and game isomorphism
The analysis of the computational aspects of strategic situations is a basic field in Computer Sciences. Two main topics related to strategic games have been developed. First, introduction and analysis of a class of games ...
Automatic production and integration of knowledge to the support of the decision and planning activities in medical-clinical diagnosis, treatment and prognosis.
El concepto de procedimiento médico se refiere al conjunto de actividades seguidas por los profesionales de la salud para solucionar o mitigar el problema de salud que afecta a un paciente. La toma de decisiones dentro del ...
Pointing facilitation techniques for 3d object selection on virtual environments
Les contribucions d’aquesta tesi s’emmarquen en la interacció home-computador en entorns de realitat virtual. Concretament, en la millora de tasques de selecció d’objectes tridimensionals. La selecció d’objectes és una ...
Adaptive Learning and Mining for Data Streams and Frequent Patterns
Aquesta tesi està dedicada al disseny d'algorismes de mineria de dades per fluxos de dades que evolucionen en el temps i per l'extracció d'arbres freqüents tancats. Primer ens ocupem de cadascuna d'aquestes tasques per ...
Validation of mappings between data schemas
En esta tesis, presentamos un nuevo enfoque para validar mappings entre esquemas de datos que permite al diseñador comprobar si el mapping satisface o no ciertas propiedades deseables. La respuesta que obtiene el diseñador ...
Automating the multidimensional design of data warehouses
Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els ...
On the design and implementation of flexible software platforms to facilitate the development of advanced graphics applications
This thesis presents the design and implementation of a software development platform (ATLAS) which offers some tools and methods to greatly simplify the construction of fairly sophisticated applications. It allows thus ...
An object-oriented approach to the translation between MOF Metaschemas
Since the 1960s, many formal languages have been developed in order to allow software engineers to specify conceptual models and to design software artifacts. A few of these languages, such as the Unified Modeling Language ...
Information theoretic refinement criteria for image synthesis
Aquest treball està enmarcat en el context de gràfics per computador partint de la intersecció de tres camps: rendering, teoria de la informació, i complexitat.<br/><br/>Inicialment, el concepte de complexitat d'una escena ...
Validation of UML conceptual schemas with OCL constraints and operations
Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...
