2631 search results - page 240 / 527 » A Practical Method for the Sparse Resultant |
153
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Protein-protein interactions have traditionally been studied on a small scale, using classical biochemical methods to investigate the proteins of interest. More recent...
192
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
248
click to vote
INFSOF
2006
15 years 7 months ago
2006
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
187
click to vote
JMLR
2006
15 years 7 months ago
2006
We present worst case bounds for the learning rate of a known prediction method that is based on hierarchical applications of binary context tree weighting (CTW) predictors. A heu...
174
click to vote
ML
2002
ACM
15 years 7 months ago
2002
ACM
Practical experience has shown that in order to obtain the best possible performance, prior knowledge about invariances of a classification problem at hand ought to be incorporated...