Sciweavers

98 search results - page 12 / 20
» Explicit-State Abstraction: A New Method for Generating Heur...
Sort
View
EVOW
2008
Springer
13 years 10 months ago
Analysis of Reconfigurable Logic Blocks for Evolvable Digital Architectures
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
Lukás Sekanina, Petr Mikusek
CP
2003
Springer
14 years 1 months ago
A SAT-Based Approach to Multiple Sequence Alignment
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
Steven David Prestwich, Desmond G. Higgins, Orla O...
ROBOCUP
2005
Springer
164views Robotics» more  ROBOCUP 2005»
14 years 1 months ago
Laser-Based Localization with Sparse Landmarks
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...
Andreas Strack, Alexander Ferrein, Gerhard Lakemey...
WABI
2010
Springer
178views Bioinformatics» more  WABI 2010»
13 years 6 months ago
Haplotype Inference on Pedigrees with Recombinations and Mutations
Abstract. Haplotype Inference (HI) is a computational challenge of crucial importance in a range of genetic studies, such as functional genomics, pharmacogenetics and population ge...
Yuri Pirola, Paola Bonizzoni, Tao Jiang
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
14 years 2 months ago
Predictor estimation via Gaussian regression
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
Gianluigi Pillonetto, Alessandro Chiuso, Giuseppe ...