Mostrando ítems 71-75 de 75
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 ...
Agarwal, Richa (Fecha de defensa: 2019-09-26)
In the field of breast cancer imaging, traditional Computer Aided Detection (CAD) systems were designed using limited computing resources and used scanned films (poor image quality), resulting in less ...
Ruiz Altisent, Marc (Fecha de defensa: 2012-05-04)
Volume visualization is a method of extracting information from volumetric data using interactive graphics. Volume visualization aims to assist visual interpretation of data by creating three-dimensional ...
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. ...
Souto, Laiz (Fecha de defensa: 2021-01-15)
This thesis presents the study and development of distinct data-driven techniques to support event detection, fault location, and resilience assessment towards enhancements in power systems. It is divided ...