8025 search results - page 124 / 1605 » Combinators Introduction: An Algorithm |
131
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
113
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
144
click to vote
CLEF
2010
Springer
15 years 2 months ago
2010
Springer
This paper represents a description of our approach to the problem of topological localization of a mobile robot using visual information. Our method has been developed for ImageCL...
138
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Protein alignments are an essential tool for many bioinformatics analyses. While sequence alignments are accurate for proteins of high sequence similarity, they become...
142
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Protein sequence alignment is one of the basic tools in bioinformatics. Correct alignments are required for a range of tasks including the derivation of phylogenetic t...