1813 search results - page 217 / 363 » Constraint Based Methods for Biological Sequence Analysis |
133
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
174
click to vote
BMVC
2010
15 years 2 months ago
2010
This paper explores a recently proposed and rarely reported subspace learning method, Spectral Regression Discriminant Analysis (SRDA) [1, 2], on silhouette based human action rec...
128
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Human Immunodeficiency Virus type 1 (HIV-1), the causative agent of Acquired Immune Deficiency Syndrome (AIDS), exhibits very high genetic diversity with different var...
133
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
123
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
A key problem of interest to biologists and medical researchers is the selection of a subset of queries or treatments that provide maximum utility for a population of targets. For ...