1057 search results - page 70 / 212 » Theoretical and Experimental DNA Computation |
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
BMCBI
2007
14 years 9 months ago
2007
Background: Hidden Markov Models (HMMs) provide an excellent means for structure identification and feature extraction on stochastic sequential data. An HMM-with-Duration (HMMwD) ...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
Numerous statistical learning methods have been developed for visual recognition tasks. Few attempts, however, have been made to address theoretical issues, and in particular, stud...
ACMSE
2008
ACM
14 years 11 months ago
2008
ACM
Recently there has been a surge of interest in making computer science education attractive to potential students, motivating to current students, and relevant to graduating stude...
131
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Detecting groups of functionally related proteins from their amino acid sequence alone has been a long-standing challenge in computational genome research. Several clu...