8828 search results - page 425 / 1766 » Formal methods in practice |
196
click to vote
TCS
2008
15 years 6 months ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
194
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Second generation sequencing technologies yield DNA sequence data at ultra high-throughput. Common to most biological applications is a mapping of the reads to an almo...
185
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...
198
click to vote
DOCENG
2003
ACM
16 years 4 days ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
186
click to vote
TVCG
2008
15 years 6 months ago
2008
The effective visualization of vascular structures is critical for diagnosis, surgical planning as well as treatment evaluation. In recent work, we have developed an algorithm for ...