718 search results - page 144 / 144 » Extraction of Structured Programs from Specification Proofs |
130
Voted
BMCBI
2004
15 years 29 days ago
2004
Background: Computer programs for the generation of multiple sequence alignments such as "Clustal W" allow detection of regions that are most conserved among many sequen...
118
Voted
COLING
2002
15 years 28 days ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...
121
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: Genomic deletions and duplications are important in the pathogenesis of diseases, such as cancer and mental retardation, and have recently been shown to occur frequent...