Sciweavers

1933 search results - page 174 / 387
» Improved Algorithms for the Feedback Vertex Set Problems
Sort
View
ATVA
2011
Springer
254views Hardware» more  ATVA 2011»
14 years 4 months ago
Formal Analysis of Online Algorithms
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....
Benjamin Aminof, Orna Kupferman, Robby Lampert
CP
2007
Springer
15 years 10 months ago
A Compression Algorithm for Large Arity Extensional Constraints
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
George Katsirelos, Toby Walsh
CSB
2002
IEEE
121views Bioinformatics» more  CSB 2002»
15 years 9 months ago
Fast and Sensitive Algorithm for Aligning ESTs to Human Genome
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
Jun Ogasawara, Shinichi Morishita
IPPS
2007
IEEE
15 years 10 months ago
Protein Secondary Structure Prediction using Bayesian Inference method on Decision fusion algorithms
Prediction of protein secondary structure (alpha-helix, beta-sheet, coil) from primary sequence of amino acids is a very challenging task, and the problem has been approached from...
Somasheker Akkaladevi, Ajay K. Katangur
GECCO
1999
Springer
133views Optimization» more  GECCO 1999»
15 years 8 months ago
Evolution of Goal-Directed Behavior from Limited Information in a Complex Environment
In this paper, we apply an evolutionary algorithm to learning behavior on a novel, interesting task to explore the general issue of learning e ective behaviors in a complex enviro...
Matthew R. Glickman, Katia P. Sycara