Mostrando ítems 21-25 de 25
Muñoz Novoa, David (Fecha de defensa: 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 ...
Palahí i Sitges, Miquel (Fecha de defensa: 2015-12-10)
In this thesis we focus on reformulate constraint satisfaction problems (CSP) into SAT Modulo Theories (SMT). SMT is an extension of SAT where the literals appearing in the formulas are not restricted ...
Vila Duran, Marius (Fecha de defensa: 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 (Fecha de defensa: 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 ...
Vila Clarà, Oriol (Fecha de defensa: 2024-01-29)
RGB-D cameras return images like an ordinary camera but in addition to color, depthmaps where each pixel value represents the distance to a point of the scene are also obtained. Although originally ...