5302 search results - page 645 / 1061 » Learning How to Separate |
209
click to vote
AAAI
2010
15 years 4 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
397
click to vote
RECOMB
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...
184
click to vote
AAAI
2012
13 years 9 months ago
2012
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...
299
click to vote
Book
"This book is primarily intended to be a text for the programming component in an introductory two semester computer science course (some materials are a little advanced and m...
194
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Information retrieval techniques have to face both the growing amount of data to be processed and the "natural" distribution of these data over the network. Hence, we in...