3229 search results - page 146 / 646 » Theories with the Independence Property |
103
Voted
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
to appear in Proc. IEEE International Conference on Computer Vision (ICCV), 2005 Bayesian methods have been extensively used in various applications. However, there are two intrin...
85
Voted
ICSE
2004
IEEE-ACM
16 years 26 days ago
2004
IEEE-ACM
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
96
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
We present a novel extension to Independent Component Analysis (ICA), where the data is generated as the product of two submodels, each of which follow an ICA model, and which comb...
89
Voted
SYNTHESE
2008
15 years 21 days ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
77
Voted
ALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...