Sciweavers

3928 search results - page 127 / 786
» Optimal suffix selection
Sort
View
DATE
1998
IEEE
82views Hardware» more  DATE 1998»
15 years 9 months ago
Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection
Partial Scan techniques have been widely accepted as an effective solution to improve sequential ATPG performance while keeping acceptable area and performance overheads. Several ...
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda,...
CRYPTO
2006
Springer
104views Cryptology» more  CRYPTO 2006»
15 years 8 months ago
Random Selection with an Adversarial Majority
Abstract. We consider the problem of random selection, where p players follow a protocol to jointly select a random element of a universe of size n. However, some of the players ma...
Ronen Gradwohl, Salil P. Vadhan, David Zuckerman
131
Voted
NIPS
2007
15 years 6 months ago
Catching Up Faster in Bayesian Model Selection and Model Averaging
Bayesian model averaging, model selection and their approximations such as BIC are generally statistically consistent, but sometimes achieve slower rates of convergence than other...
Tim van Erven, Peter Grunwald, Steven de Rooij
153
Voted
CADE
2010
Springer
15 years 5 months ago
Premise Selection in the Naproche System
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
Marcos Cramer, Peter Koepke, Daniel Kühlwein,...
170
Voted
ESWA
2008
141views more  ESWA 2008»
15 years 4 months ago
Classifier design with feature selection and feature extraction using layered genetic programming
This paper proposes a novel method called FLGP to construct a classifier device of capability in feature selection and feature extraction. FLGP is developed with layered genetic p...
Jung-Yi Lin, Hao-Ren Ke, Been-Chian Chien, Wei-Pan...