Sciweavers

4738 search results - page 311 / 948
» Correlated Data Inference
Sort
View
SAT
2005
Springer
115views Hardware» more  SAT 2005»
16 years 6 days ago
Improved Exact Solvers for Weighted Max-SAT
We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy ) which incorporate original data structures and inference rules, and a lower bound of better quality.
Teresa Alsinet, Felip Manyà, Jordi Planes
ICMI
2000
Springer
138views Biometrics» more  ICMI 2000»
15 years 10 months ago
Multimodal Speaker Detection Using Input/Output Dynamic Bayesian Networks
Inferring users' actions and intentions forms an integral part of design and development of any human-computer interface. The presence of noisy and at times ambiguous sensory ...
Vladimir Pavlovic, Ashutosh Garg, James M. Rehg
DOOD
1995
Springer
171views Database» more  DOOD 1995»
15 years 10 months ago
An Overview of Database Mining Techniques
This paper presents an overview of data mining techniques in the context of of the deductiveinductive cycle model. The claim made in this paper is that a combination of both of th...
Bob Kero, Lucian Russell, Shalom Tsur, Wei-Min She...
ICDM
2008
IEEE
156views Data Mining» more  ICDM 2008»
16 years 1 months ago
Exploiting Local and Global Invariants for the Management of Large Scale Information Systems
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yo...
BMCBI
2010
185views more  BMCBI 2010»
15 years 6 months ago
ABCtoolbox: a versatile toolkit for approximate Bayesian computations
Background: The estimation of demographic parameters from genetic data often requires the computation of likelihoods. However, the likelihood function is computationally intractab...
Daniel Wegmann, Christoph Leuenberger, Samuel Neue...