1547 search results - page 25 / 310 » Randomized Variable Elimination |
64
Voted
CORR
2007
Springer
14 years 9 months ago
2007
Springer
— Let {(Xi, Yi)}∞ i=1 be a sequence of pairs of random variables, and let S be a bounded stopping time with respect to {Xi}∞
JFP
2000
14 years 9 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
TIT
2010
14 years 4 months ago
2010
Abstract--Gibilisco and Isola have recently proposed a definition of Fisher information for random variables taking values in a finite group that is analogous to the definition for...
RSA
2006
14 years 9 months ago
2006
Following the entropy method this paper presents general concentration inequalities, which can be applied to combinatorial optimization and empirical processes. The inequalities g...
AAAI
1997
14 years 11 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...