| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francisco Fernandes, Paulo G. S. da Fonseca, Luís M. S. Russo, Arlindo L. Oliveira, Ana T. Freitas |
Efficient alignment of pyrosequencing reads for re-sequencing applications.  |
BMC Bioinformatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joana P. Gonçalves, Alexandre P. Francisco, Nuno P. Mira, Miguel C. Teixeira, Isabel Sá-Correia, Arlindo L. Oliveira, Sara C. Madeira |
TFRank: network-based prioritization of regulatory associations underlying transcriptional responses.  |
Bioinformatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Teemu Roos, Arlindo L. Oliveira, Petri Myllymäki |
Discriminative Learning of Bayesian Networks via Factorized Conditional Log-Likelihood.  |
Journal of Machine Learning Research  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dulce Calçada, Susana Vinga, Ana T. Freitas, Arlindo L. Oliveira |
Quantitative Modeling of the Saccharomyces cerevisiae Flr1 regulatory Network Using an S-System Formalism.  |
J. Bioinformatics and Computational Biology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Fully compressed suffix trees.  |
ACM Transactions on Algorithms  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Haplotype inference with pseudo-Boolean optimization.  |
Annals OR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dário Abdulrehman, Pedro T. Monteiro, Miguel C. Teixeira, Nuno P. Mira, Artur B. Lourenço, Sandra Costa dos Santos, Tânia Rodrigues Cabrito, Alexandre P. Francisco, Sara C. Madeira, Ricardo Santos Aires, Arlindo L. Oliveira, Isabel Sá-Correia, Ana T. Freitas |
YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface.  |
Nucleic Acids Research  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dulce Calçada, Susana Vinga, Ana T. Freitas, Arlindo L. Oliveira |
Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism.  |
HISB  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo |
Sliding Window Update Using Suffix Arrays.  |
DCC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara C. Madeira, Miguel C. Teixeira, Isabel Sá-Correia, Arlindo L. Oliveira |
Identification of Regulatory Modules in Time Series Gene Expression Data Using a Linear Time Biclustering Algorithm.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Trezentos, Inês Lynce, Arlindo L. Oliveira |
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization.  |
ASE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orlando Anunciação, Bruno C. Gomes, Susana Vinga, Jorge Gaspar, Arlindo L. Oliveira, José Rueff |
A Data Mining Approach for the Detection of High-Risk Breast Cancer Groups.  |
IWPACBB  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, Inês Lynce, João Marques-Silva, Arlindo L. Oliveira |
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information.  |
ANB  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Parallel and Distributed Compressed Indexes.  |
CPM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre P. Francisco, Ricardo A. Baeza-Yates, Arlindo L. Oliveira |
Mining Large Query Induced Graphs towards a Hierarchical Query Folksonomy.  |
SPIRE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel M. F. Bugalho, Arlindo L. Oliveira |
Constant Time Clash Detection in protein Folding.  |
J. Bioinformatics and Computational Biology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara C. Madeira, Arlindo L. Oliveira |
A polynomial time biclustering algorithm for finding approximate expression patterns in gene expression time series.  |
Algorithms for Molecular Biology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo |
On the Use of Suffix Arrays for Memory-Efficient Lempel-Ziv Data Compression  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo |
Time and Memory Efficient Lempel-Ziv Compression Using Suffix Arrays  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira, Pedro Morales |
Approximate String Matching with Compressed Indexes.  |
Algorithms  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo |
On the Use of Suffix Arrays for Memory-Efficient Lempel-Ziv Data Compression.  |
DCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara C. Madeira, Arlindo L. Oliveira |
Efficient Biclustering Algorithms for Time Series Gene Expression Data Analysis.  |
IWANN  |
2009 |
DBLP DOI BibTeX RDF |
gene expression time series, temporal expression patterns, anticorrelated time-lagged patterns, regulatory modules, Biclustering |
| 1 | Ana C. Casimiro, Susana Vinga, Ana T. Freitas, Arlindo L. Oliveira |
An analysis of the positional distribution of DNA motifs in promoter regions and its biological relevance.  |
BMC Bioinformatics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | André L. Martins, Helena Sofia Pinto, Arlindo L. Oliveira |
Using Grammatical Inference Techniques to Learn Ontologies that Describe the Structure of Domain Instances.  |
Applied Artificial Intelligence  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Arlindo L. Oliveira |
A compressed self-index using a Ziv-Lempel dictionary.  |
Inf. Retr.  |
2008 |
DBLP DOI BibTeX RDF |
Compressed index, Data compression, Pattern matching, Text indexing |
| 1 | Pedro T. Monteiro, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Hélio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas |
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae.  |
Nucleic Acids Research  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Fully-Compressed Suffix Trees.  |
LATIN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur J. Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo |
Suffix Arrays - A Competitive Choice for Fast Lempel-Ziv Compressions.  |
SIGMAP  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Dynamic Fully-Compressed Suffix Trees.  |
CPM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel M. F. Bugalho, Arlindo L. Oliveira |
An Evaluation of the Impact of Side Chain Positioning on the Accuracy of Discrete Models of Protein Structures.  |
BSB  |
2008 |
DBLP DOI BibTeX RDF |
Protein models, discrete state models, side chain positioning, protein folding |
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Combined CP and OR Techniques.  |
CPAIOR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Inês Lynce, Ana Graça, João Marques-Silva, Arlindo L. Oliveira |
Haplotype Inference with Boolean Constraint Solving: An Overview.  |
ICTAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre P. Francisco, Arlindo L. Oliveira, Ana T. Freitas |
Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-occurrence Graph.  |
ISBRA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshu Wang, Jonas S. Almeida, Arlindo L. Oliveira |
Ontology Design Principles and Normalization Techniques in the Web.  |
DILS  |
2008 |
DBLP DOI BibTeX RDF |
Uniform Resource Identifier (URI), BioPAX, Ontology, Semantic Web, Resource Description Framework (RDF), Ontology Web Language (OWL) |
| 1 | Alexandre P. Francisco, Ricardo A. Baeza-Yates, Arlindo L. Oliveira |
Clique Analysis of Query Log Graphs.  |
SPIRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Indexed Hierarchical Approximate String Matching.  |
SPIRE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Arlindo L. Oliveira |
Efficient generation of super condensed neighborhoods.  |
J. Discrete Algorithms  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Ana Graça, Arlindo L. Oliveira |
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.  |
EPIA Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Arlindo L. Oliveira, Marie-France Sagot |
Efficient Learning of Bayesian Network Classifiers.  |
Australian Conference on Artificial Intelligence  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cardoso-Cachopo, Arlindo L. Oliveira |
Semi-supervised single-label text categorization using centroid-based classifiers.  |
SAC  |
2007 |
DBLP DOI BibTeX RDF |
centroid-based models, single-label text categorization, semi-supervised learning, online learning |
| 1 | Sara C. Madeira, Arlindo L. Oliveira |
An Efficient Biclustering Algorithm for Finding Genes with Similar Patterns in Time-series Expression Data.  |
APBC  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Arlindo L. Oliveira |
Learning bayesian networks consistent with the optimal branching.  |
ICMLA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Gonzalo Navarro, Arlindo L. Oliveira |
Approximate String Matching with Lempel-Ziv Compressed Indexes.  |
SPIRE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira |
Efficient Haplotype Inference with Pseudo-boolean Optimization.  |
AB  |
2007 |
DBLP DOI BibTeX RDF |
pure parsimony, pseudo-Boolean optimization, haplotype inference |
| 1 | Nuno D. Mendes, Ana C. Casimiro, Pedro M. Santos, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas |
MUSA: a parameter free algorithm for the identification of biologically significant motifs.  |
Bioinformatics  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie-France Sagot |
An Efficient Algorithm for the Identification of Structured Motifs in DNA Promoter Sequences.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2006 |
DBLP DOI BibTeX RDF |
Box-link, factor tree, binding site consensus, promoter, structured motif |
| 1 | Miguel C. Teixeira, Pedro T. Monteiro, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno P. Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia |
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae.  |
Nucleic Acids Research  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Fernandes, Marcelino B. Santos, Arlindo L. Oliveira, João Paulo Teixeira |
Probabilistic Testability Analysis and DFT Methods at RTL.  |
DDECS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luís M. S. Russo, Arlindo L. Oliveira |
A Compressed Self-index Using a Ziv-Lempel Dictionary.  |
SPIRE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Pedro Coelho, Arlindo L. Oliveira |
Dotted Suffix Trees A Structure for Approximate Text Indexing.  |
SPIRE  |
2006 |
DBLP DOI BibTeX RDF |
approximate text matching, suffix trees, text indexing, string algorithms |
| 1 | Miguel M. F. Bugalho, Arlindo L. Oliveira |
Inference of regular languages using state merging algorithms with search.  |
Pattern Recognition  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | André L. Martins, Helena Sofia Pinto, Arlindo L. Oliveira |
Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications.  |
EPIA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie-France Sagot |
A highly scalable algorithm for the extraction of CIS-regulatory regions.  |
APBC  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sara C. Madeira, Arlindo L. Oliveira |
A Linear Time Biclustering Algorithm for Time Series Gene Expression Data.  |
WABI  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Arlindo L. Oliveira |
An Efficient Algorithm for Generating Super Condensed Neighborhoods.  |
CPM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. S. Russo, Arlindo L. Oliveira |
Faster Generation of Super Condensed Neighbourhoods Using Finite Automata.  |
SPIRE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara C. Madeira, Arlindo L. Oliveira |
Biclustering Algorithms for Biological Data Analysis: A Survey.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto H. F. Laender, Arlindo L. Oliveira |
Special issue on string processing and information retrieval.  |
J. Discrete Algorithms  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Antunes, Arlindo L. Oliveira |
Constraint Relaxations for Discovering Unknown Sequential Patterns.  |
KDID  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Arlindo L. Oliveira, Ana T. Freitas, Marie-France Sagot |
A parallel algorithm for the extraction of structured motifs.  |
SAC  |
2004 |
DBLP DOI BibTeX RDF |
parallel algorithm, grid computing, bioinformatics, suffix tree, structured motifs |
| 1 | José Poveda, Michael Gould, Arlindo L. Oliveira |
A New Quick Point Location Algorithm.  |
ER (Workshops)  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Fernandes, Marcelino B. Santos, Arlindo L. Oliveira, João Paulo Teixeira |
A Probabilistic Method for the Computation of Testability of RTL Constructs.  |
DATE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie-France Sagot |
Efficient Extraction of Structured Motifs Using Box-Links.  |
SPIRE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Rajeev Murgai |
On the problem of gate assignment under different rise and fall delays.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Trezentos, Arlindo L. Oliveira |
Metrics for Grid Applicability: A Distributed Elliptic Curve Platform Assessment.  |
PPAM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara C. Madeira, Arlindo L. Oliveira, Catarina S. Conceição |
A Data Mining Approach to Credit Risk Evaluation and Behaviour Scoring.  |
EPIA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana T. Freitas, Arlindo L. Oliveira |
Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation.  |
DATE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Antunes, Arlindo L. Oliveira |
Generalization of Pattern-Growth Methods for Sequential Pattern Mining with Gap Constraints.  |
MLDM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario A. Nascimento, Edleno Silva de Moura, Arlindo L. Oliveira (eds.) |
String Processing and Information Retrieval, 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings  |
SPIRE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ana Cardoso-Cachopo, Arlindo L. Oliveira |
An Empirical Comparison of Text Categorization Methods.  |
SPIRE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel R. Phillips, João Afonso, Arlindo L. Oliveira, Luis Miguel Silveira |
Analog Macromodeling using Kernel Methods.  |
ICCAD  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José C. Monteiro, Arlindo L. Oliveira |
Implicit FSM decomposition applied to low-power design.  |
IEEE Trans. VLSI Syst.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Antunes, Arlindo L. Oliveira |
Inference of Sequential Association Rules Guided by Context-Free Grammars.  |
ICGI  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto H. F. Laender, Arlindo L. Oliveira (eds.) |
String Processing and Information Retrieval, 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002, Proceedings  |
SPIRE  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, João P. Marques Silva |
Efficient Algorithms for the Inference of Minimum Size DFAs.  |
Machine Learning  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira |
Techniques for the creation of digital watermarks in sequentialcircuit designs.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José C. Monteiro, Arlindo L. Oliveira |
FSM decomposition by direct circuit manipulation applied to low power design.  |
ASP-DAC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira (eds.) |
Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000, Proceedings  |
ICGI  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Rajeev Murgai |
An Exact Gate Assignment Algorithm for Tree Circuits Under Rise and Fall Delays.  |
ICCAD  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jorge M. Pena, Arlindo L. Oliveira |
A new algorithm for exact reduction of incompletely specified finite state machines.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira |
Robust Techniques for Watermarking Sequential Circuit Designs.  |
DAC  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Mota, Nuno Ferreira, Arlindo L. Oliveira, José C. Monteiro |
Integrating Dynamic Power Management in the Design Flow.  |
VLSI  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.  |
IEEE Trans. Computers  |
1998 |
DBLP DOI BibTeX RDF |
minimization of logic functions, incompletely specified finite state machines, implicit logic computations, Binary decision diagrams, incompletely specified functions, state minimization |
| 1 | Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira |
Using Complementation and Resequencing to Minimize Transitions.  |
DAC  |
1998 |
DBLP DOI BibTeX RDF |
reconfigurable computing, event-driven simulation |
| 1 | José C. Monteiro, Arlindo L. Oliveira |
Finite State Machine Decomposition For Low Power.  |
DAC  |
1998 |
DBLP DOI BibTeX RDF |
system-on-chip test, testing embedded core, intellectual property test |
| 1 | Arlindo L. Oliveira, João P. Marques Silva |
Efficient Search Techniques for the Inference of Minimum Size Finite Automata.  |
SPIRE  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jorge M. Pena, Arlindo L. Oliveira |
A new algorithm for the reduction of incompletely specified finite state machines.  |
ICCAD  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira |
Prime Implicant Computation Using Satisfiability Algorithms. (PDF / PS)  |
ICTAI  |
1997 |
DBLP DOI BibTeX RDF |
Integer Programming Algorithms, Propositional Satisfiability Algorithms, Backtrack Search Strategies, Prime Implicants |
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs.  |
Machine Learning  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Stephen Edwards |
Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines.  |
ALT  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Inferring Reduced Ordered Decision Graphs of Minimum Description Length.  |
ICML  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Learning Complex Boolean Functions: Algorithms and Applications.  |
NIPS ![In: Advances in Neural Information Processing Systems 6, [7th NIPS Conference, Denver, Colorado, USA, 1993], pp. 911-918, 1993, Morgan Kaufmann, 1-55860-322-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Constructive Induction Using a Non-Greedy Strategy for Feature Selection.  |
ML  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
Learning Concepts by Synthesizing Minimal Threshold Gate Networks.  |
ML  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks.  |
ICCAD  |
1991 |
DBLP BibTeX RDF |
|