3229 search results - page 34 / 646 » Theories with the Independence Property |
ISMVL
2007
IEEE
14 years 2 months ago
2007
IEEE
New fastest linearly independent (LI) transforms for ternary functions are introduced in this paper. The transforms operate over Galois Field (3) (GF(3)) and have smaller computat...
AGP
1995
IEEE
14 years 6 days ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
SODA
2004
ACM
13 years 10 months ago
2004
ACM
We study the mixing time of the Glauber dynamics for general spin systems on bounded-degree trees, including the Ising model, the hard-core model (independent sets) and the antife...
IJWIN
2007
13 years 8 months ago
2007
— We analyze the asymptotic cost of discovering a route within a flat ad hoc network and we show that one can discover a route with cost that is proportional only to the area of...
JMLR
2002
13 years 8 months ago
2002
We present a class of algorithms for independent component analysis (ICA) which use contrast functions based on canonical correlations in a reproducing kernel Hilbert space. On th...