Ara mostrant els elements 63-82 de 83
Dürsteler, Juan Carlos (Data de defensa: 1991-12-09)
Abío Roig, Ignasi (Data de defensa: 2013-05-15)
The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...
Riquelme Csori, Fabián (Data de defensa: 2014-07-29)
Simple games are a fundamental class of cooperative games. They have a huge relevance in several areas of computer science, social sciences and discrete applied mathematics. The algorithmic and computational complexity ...
Hernández Pibernat, Hugo (Data de defensa: 2012-06-11)
The main contributions of this thesis are located in the domain of wireless sensor netorks. More in detail, we introduce energyaware algorithms and protocols in the context of the following topics: self-synchronized ...
Alquézar Mancho, René (Data de defensa: 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 and connectionist GI ...
Ayala, Claudia P. (Claudia Patricia) (Data de defensa: 2008-03-31)
El proceso de construir software a partir del ensamblaje e integración de soluciones de software pre-fabricadas, conocidas como componentes COTS (Comercial-Off-The-Shelf) se ha convertido en una necesidad estratégica en ...
Tort Pugibet, Albert (Data de defensa: 2012-04-11)
The traditional focus for Information Systems (IS) quality assurance relies on the evaluation of its implementation. However, the quality of an IS can be largely determined in the first stages of its development. Several ...
García Chacón, Alina (Data de defensa: 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 ...
Helmi Mohamed Elsadek, Ahmed Mohamed (Data de defensa: 2013-04-08)
The hiring problem is a simple model for on-line decision-making under uncertainty, recently introduced in the literature. Despite some related work dates back to 2000, the name and the first extensive studies were written ...
López Cuesta, Lidia (Data de defensa: 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 ...
Confalonieri, Roberto (Data de defensa: 2011-12-02)
Intelligent systems that assist users in fulfilling complex tasks need a concise and processable representation of incomplete and uncertain information. In order to be able to choose among different options, these systems ...
Martín Escofet, Carme (Data de defensa: 2005-06-27)
This Ph.D. thesis mainly deals with temporal and deductive databases areas and the aim is to obtain a method for integrity constraint checking in bitemporal deductive databases, analyzing the temporal integrity constraint ...
Sabater i Pruna, Assumpta (Data de defensa: 1996-11-26)
En esta tesis se desarrolla un sistema de tratamiento de informaciones geométricas con incertidumbre, basado en la propagación y fusión de regiones elipsoidales. Se adopta un modelo de incertidumbre acotada en el espacio ...
Hernández Jiménez, Enric (Data de defensa: 2007-01-12)
El concepte d'igualtat és fonamental en qualsevol teoria donat que és una noció essencial a l'hora de discernir entre els elements objecte del seu estudi i possibilitar la definició de mecanismes de classificació.<br/><br/>Quan ...
Gonzàlez Pellicer, Edgar (Data de defensa: 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. L'extracció d'informació ...
Gatius, Marta (Data de defensa: 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 industrial, financer ...
Rull Fort, Guillem (Data de defensa: 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 ...
Queralt, Anna (Data de defensa: 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 ...
Gascón Caro, Adrià (Data de defensa: 2014-05-30)
Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...
Barceló Garcia, Miquel (Data de defensa: 1990-09-01)
(Cat) Aquesta memòria descriu com la literatura de ciència ficció reflecteix en les seves narracions els conceptes i resultats propis de la ciència i la tecnologia informàtica. Aquesta visió cal entendre-la en un sentit ...