1547 search results - page 201 / 310 » Randomized Variable Elimination |
115
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
This paper describes a technique for calculating the switching activity of a set of registers shared by di erent data values. Based on the assumption that the joint pdf (probabili...
111
click to vote
VTS
1995
IEEE
15 years 6 months ago
1995
IEEE
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
122
click to vote
AAAI
2008
15 years 5 months ago
2008
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...
124
click to vote
FLAIRS
2007
15 years 5 months ago
2007
Constraint Satisfaction Problems are ubiquitous in Artificial Intelligence. Over the past decade significant advances have been made in terms of the size of problem instance tha...
119
click to vote
NIPS
2008
15 years 4 months ago
2008
Embeddings of random variables in reproducing kernel Hilbert spaces (RKHSs) may be used to conduct statistical inference based on higher order moments. For sufficiently rich (char...