scispace - formally typeset
A

Arlindo L. Oliveira

Researcher at University of Lisbon

Publications -  167
Citations -  7790

Arlindo L. Oliveira is an academic researcher from University of Lisbon. The author has contributed to research in topics: Compressed suffix array & Sequential logic. The author has an hindex of 34, co-authored 154 publications receiving 6991 citations. Previous affiliations of Arlindo L. Oliveira include Technical University of Lisbon & University of California, Berkeley.

Papers
More filters
Journal ArticleDOI

Efficient Algorithms for the Inference of Minimum Size DFAs

TL;DR: The performance of algorithms that use implicit enumeration of solutions and algorithms that perform explicit search but incorporate a set of techniques known as dependency directed backtracking to prune the search tree effectively are analyzed.

Sequential Pattern Mining Algorithms: Trade-offs between Speed and Memory

TL;DR: Analysis of the performance and memory requirements for pattern-growth methods shows that counting the support for each potential pattern is the most computationally demanding step, and makes clear that the main advantage of patterngrowth over apriori-based methods resides on the restriction of the search space that is obtained from the creation of projected databases.
Proceedings ArticleDOI

Analog Macromodeling using Kernel Methods

TL;DR: The kernel-based view-point provides a convenient computational framework for regression, unified and extending the previously proposed polynomial and piecewise-linear reduction methods, and provides insight into how new, more powerful, nonlinear modeling strategies can be constructed.
Proceedings ArticleDOI

Semi-supervised single-label text categorization using centroid-based classifiers

TL;DR: This paper studies the effect of using unlabeled data in conjunction with a small portion of labeled data on the accuracy of a centroid-based classifier used to perform single-label text categorization, and proposes the combination of Expectation-Maximization with a centoid-based method to incorporate information about the unlabeling data during the training phase.
Proceedings ArticleDOI

Apt-pbo: solving the software dependency problem using pseudo-boolean optimization

TL;DR: This work introduces the "apt-pbo" tool, the first publicly available tool that solves dependencies in a complete and optimal way and devising a way for solving dependencies according to available packages and user preferences.