Contribution to geometric constraint solving in cooperative engineering 

Vila Marta, Sebastià (Date of defense: 2003-12-01)

Interactive inspection of segmented volume data 

Surinyac i Albareda, Jordi (Date of defense: 2016-02-05)

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 

Ramírez Flores, Jorge Eduardo (Date of defense: 2016-02-04)

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 

Theoktisto, Víctor (Date of defense: 2015-11-25)

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 

Tarrés Puertas, Marta Isabel (Date of defense: 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 1980's, most major ...

The notion of specialization in the i*framework 

López Cuesta, Lidia (Date of defense: 2013-05-16)

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 

Cares Gallardo, Carlos (Date of defense: 2012-09-20)

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 

García Chacón, Alina (Date of defense: 2012-05-07)

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. 

Bohada Jaime, John Alexander (Date of defense: 2012-06-20)

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 

Argelaguet Sanz, Fernando (Date of defense: 2011-07-04)

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 

Bifet, Albert (Date of defense: 2009-04-24)

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 

Rull Fort, Guillem (Date of defense: 2011-01-19)

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 ...

Determinació d'esquemes d'interacció en models conceptuals orientats a objectes amb interacció implícita 

Quer Bosor, Carme (Date of defense: 1998-10-14)

Automating the multidimensional design of data warehouses 

Romero Moral, Óscar (Date of defense: 2010-02-09)

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 ...

Automated deduction with built-in theories: completeness results and constraint solving techniques 

Godoy Balil, Guillem (Date of defense: 2001-10-11)

Aproximació facetada de superfícies paramètriques retallades 

Vigo Anglada, Marc (Date of defense: 1998-11-30)

On the design and implementation of flexible software platforms to facilitate the development of advanced graphics applications 

Fairen Gonzalez, Marta (Date of defense: 2000-11-23)

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 

Raventós Pagès, Ruth (Date of defense: 2009-02-27)

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 

Rigau Vilalta, Jaume (Date of defense: 2006-11-17)

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 

Queralt, Anna (Date of defense: 2009-03-02)

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 ...