Sciweavers

490 search results - page 10 / 98
» Equivalent Keys of HPC
Sort
View
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
14 years 28 days ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
ASC
2006
13 years 8 months ago
Speeding up the learning of equivalence classes of bayesian network structures
For some time, learning Bayesian networks has been both feasible and useful in many problems domains. Recently research has been done on learning equivalence classes of Bayesian n...
Rónán Daly, Qiang Shen, J. Stuart Ai...
ICDM
2008
IEEE
172views Data Mining» more  ICDM 2008»
14 years 3 months ago
Active Learning of Equivalence Relations by Minimizing the Expected Loss Using Constraint Inference
Selecting promising queries is the key to effective active learning. In this paper, we investigate selection techniques for the task of learning an equivalence relation where the ...
Steffen Rendle, Lars Schmidt-Thieme
EUROCRYPT
2006
Springer
14 years 9 days ago
Polynomial Equivalence Problems: Algorithmic and Theoretical Aspects
The Isomorphism of Polynomials (IP) [28], which is the main concern of this paper, originally corresponds to the problem of recovering the secret key of a C scheme [26]. Besides, t...
Jean-Charles Faugère, Ludovic Perret
CSDA
2006
142views more  CSDA 2006»
13 years 8 months ago
A studentized range test for the equivalency of normal means under heteroscedasticity
A studentized range test using a two-stage and a one-stage sampling procedures, respectively, is proposed for testing the hypothesis that the average deviation of the normal means...
Miin-Jye Wen, Hubert J. Chen