Espasa Arxer, Joan (Date of defense: 2018-11-15)
Automated planning is a discipline in the field of Artificial Intelligence that can be described as the process of finding a course of action that achieves a specified task. In other words, it focuses ...
Ramírez Orozco, Raissel (Date of defense: 2016-01-29)
The limited dynamic range of digital images can be extended by composing different exposures of the same scene to produce HDR images. This thesis is composed of an overview of the state of the art ...
Bonaventura Brugués, Xavier (Date of defense: 2015-07-10)
Viewpoint selection has been an emerging area in computer graphics for some years, and it is now getting maturity with applications in fields such as scene navigation, volume visualization, object ...
Coll Caballero, Jordi (Date of defense: 2019-07-15)
Scheduling problems consist in determining how to execute the activities of a project in order to satisfy some requirements. Such problems are ubiquitous nowadays in industry and services, but finding ...
Xiberta, Pau (Date of defense: 2018-05-25)
Medical imaging has greatly progressed to become an essential technology in current clinical processes. However, advances in diagnostic imaging have not been applied to the same extent to other fields ...
García Fernández, Ismael (Date of defense: 2012-10-24)
The main question explored in this thesis is how to define novel parallel random-access data structures for surface and image spatial data with efficient construction, storage, and query memory access ...
Muñoz Novoa, David (Date of defense: 2019-07-09)
In summary, this thesis proposes to address the problem of simulating physical effects in large urban environments through the use of procedural rules and Level-of-Detail techniques, in order to reduce ...
Vila Duran, Marius (Date of defense: 2015-07-09)
We are in the information age where most data is stored in digital format. Thus, the management of digital documents and videos requires the development of efficient techniques for automatic analysis. ...
Suy Franch, Josep (Date of defense: 2012-12-20)
In this thesis we focus on solving CSPs using SMT. Essentially, what we do is reformulating CSPs into SMT. The obtained results allow us to conclude that state-of-the-art SMT solvers are a robust tool ...