677 search results - page 22 / 136 » Dependent Types from Counterexamples |
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
14 years 9 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
ACL
2012
13 years 1 days ago
2012
Online forums are becoming a popular resource in the state of the art question answering (QA) systems. Because of its nature as an online community, it contains more updated knowl...
77
Voted
ECML
2007
Springer
15 years 3 months ago
2007
Springer
Averaged One-Dependence Estimators (AODE) classifies by uniformly aggregating all qualified one-dependence estimators (ODEs). Its capacity to significantly improve naive Bayes...
WSCG
2003
14 years 11 months ago
2003
Rendering large trimmed NURBS models with high quality at interactive frame rates is of great interest for industry, since nearly all their models are designed on the basis of thi...
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...