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 ...
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 ...
Alquézar Mancho, René (Date of defense: 1997-05-12)
This thesis is structured in four parts for a total of ten chapters. <br/><br/>The first part, introduction and review (Chapters 1 to 4), presents an extensive state-of-the-art review of both symbolic ...
López Arévalo, Iván (Date of defense: 2005-11-05)
Els processos industrials requereixen avaluacions periòdiques per a verificar la seva correcta operació en termes tècnics i econòmics. Aquestes avaluacions són necessàries a causa de els canvis en els ...
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ó ...
Ceccaroni, Luigi (Date of defense: 2001-12-21)
Les contribucions d'aquesta tesi uneixen dues disciplines: ciències ambientals (específicament, gestió d'aigües residuals) i informàtica (específicament, intel·ligència artificial). El tractament d'aigües ...
Gonzàlez Pellicer, Edgar (Date of defense: 2012-06-01)
L'extracció d'informació és l'àrea del processament de llenguatge natural l'objectiu de la qual és l'obtenir dades estructurades a partir de la informació rellevant continguda en fragments textuals. ...
Sapena Masip, Emili (Date of defense: 2012-05-16)
The objectives of this thesis are focused on research in machine learning for coreference resolution. Coreference resolution is a natural language processing task that consists of determining the ...
Gatius, Marta (Date of defense: 2001-01-15)
Des dels anys 80, els sistemes basats en el coneixement, programes que utilitzen una gran quantitat de informació per modelar situacions i resoldre problemes, han adquirit gran importància en el camp ...
Esteban Ángeles, Juan Luis (Date of defense: 2003-12-15)
Esta obra es una contribución al campo de la Complejidad de la Demostración, que estudia la complejidad de los sistemas de demostración en términos de los recursos necesarios para demostrar o refutar ...