Ara mostrant els elements 141-143 de 143
Vila Duran, Marius (Data 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 (Data 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 ...
Rusek, Robert (Data de defensa: 2017-05-24)
The thesis concentrates particularly on how to enhance space-use in the case of public facilities. This issue has been approached by repurposing existing facilities and introducing additional services, ...