Sciweavers

273 search results - page 37 / 55
» Mutually Independent Commitments
Sort
View
ISCI
2007
138views more  ISCI 2007»
13 years 8 months ago
A fast algorithm for one-unit ICA-R
Independent component analysis (ICA) aims to recover a set of unknown mutually independent source signals from their observed mixtures without knowledge of the mixing coefficients...
Qiu-Hua Lin, Yong-Rui Zheng, Fuliang Yin, Hualou L...
ENTCS
2002
125views more  ENTCS 2002»
13 years 8 months ago
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...
José Emilio Labra Gayo, Juan Manuel Cueva L...
TIP
2002
179views more  TIP 2002»
13 years 8 months ago
Unsupervised image classification, segmentation, and enhancement using ICA mixture models
An unsupervised classification algorithm is derived by modeling observed data as a mixture of several mutually exclusive classes that are each described by linear combinations of i...
Te-Won Lee, Michael S. Lewicki
ECOOP
1993
Springer
14 years 18 days ago
A Language Framework for Multi-Object Coordination
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
Svend Frølund, Gul Agha
KBSE
2005
IEEE
14 years 2 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander