Sabir, Ahmed (Date of defense: 2020-11-10)
This thesis addresses the problem of improving text spotting systems, which aim to detect and recognize text in unrestricted images (e.g. a street sign, an advertisement, a bus destination, etc.). The ...
Prat Masramon, Gabriel (Date of defense: 2016-02-01)
In this thesis we study feature subset selection and feature weighting algorithms. Our aim is to make their output more stable and more useful when used to train a classifier. We begin by defining the ...
Hakoniemi, Tuomas (Date of defense: 2022-03-25)
This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems ...
Machado, Lucas (Date of defense: 2019-02-21)
Over the course of 60 years, since the invention of the integrated circuit (IC), exponential improvements in cost, performance and power consumption were observed. Such advances have been strongly linked ...
Martínez Garcia, Eva (Date of defense: 2019-12-19)
In this thesis, we study the automatic translation of documents by taking into account cross-sentence phenomena. This document-level information is typically ignored by most of the standard state-of-the-art ...
Cardó, Carles, 1975- (Date of defense: 2018-03-15)
We propose a mathematical formalism called Algebraic Dependency Grammar with applications to formal linguistics and to formal language theory. Regarding formal linguistics we aim to address the problem ...
Palomares Bonache, Cristina (Date of defense: 2016-10-04)
The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and ...
Marco-Sola, Santiago (Date of defense: 2017-09-20)
One of the outstanding milestones achieved in recent years in the field of biotechnology research has been the development of high-throughput sequencing (HTS). Due to the fact that at the moment it is ...
Oriol Hilari, Xavier (Date of defense: 2017-07-11)
Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, ...
Martínez-Fernández, Silverio (Date of defense: 2016-06-23)
Background: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software applications of a shared domain. For organizations ...