Sciweavers

273 search results - page 25 / 55
» Mutually Independent Commitments
Sort
View
ICA
2004
Springer
15 years 3 months ago
ICA Using Kernel Entropy Estimation with NlogN Complexity
Abstract. Mutual information (MI) is a common criterion in independent component analysis (ICA) optimization. MI is derived from probability density functions (PDF). There are scen...
Sarit Shwartz, Michael Zibulevsky, Yoav Y. Schechn...
68
Voted
FMCAD
2006
Springer
15 years 1 months ago
Tracking MUSes and Strict Inconsistent Covers
In this paper, a new heuristic-based approach is introduced to extract minimally unsatisfiable subformulas (in short, MUSes) of SAT instances. It is shown that it often outperforms...
Éric Grégoire, Bertrand Mazure, C&ea...
CORR
2010
Springer
136views Education» more  CORR 2010»
14 years 9 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...
ICIP
2010
IEEE
14 years 7 months ago
A fast Multilinear ICA algorithm
We extend our previous work on Multilinear Independent Component Analysis (MICA) by introducing a Fast-MICA algorithm that demonstrates the same improvement over classical ICA as ...
Raghu G. Raj, Alan C. Bovik
WCRE
2006
IEEE
15 years 3 months ago
An Analysis of the Correctness and Completeness of Aspect Weaving
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
Günter Kniesel, Uwe Bardey