Sciweavers

10051 search results - page 91 / 2011
» A Dynamic Separator Algorithm
Sort
View
83
Voted
CPAIOR
2008
Springer
15 years 2 months ago
Propagating Separable Equalities in an MDD Store
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
Tarik Hadzic, John N. Hooker, Peter Tiedemann
110
Voted
BMCBI
2007
135views more  BMCBI 2007»
15 years 22 days ago
LIMPIC: a computational method for the separation of protein MALDI-TOF-MS signals from noise
Background: Mass spectrometry protein profiling is a promising tool for biomarker discovery in clinical proteomics. However, the development of a reliable approach for the separat...
Dante Mantini, Francesca Petrucci, Damiana Pierago...
CCA
2009
Springer
15 years 7 months ago
Separations of Non-monotonic Randomness Notions
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...
Laurent Bienvenu, Rupert Hölzl, Thorsten Kr&a...
119
Voted
FOCS
1990
IEEE
15 years 4 months ago
Separating Distribution-Free and Mistake-Bound Learning Models over the Boolean Domain
Two of the most commonly used models in computational learning theory are the distribution-free model in which examples are chosen from a fixed but arbitrary distribution, and the ...
Avrim Blum
98
Voted
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
14 years 11 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw