Sciweavers

4255 search results - page 191 / 851
» On Learning Boolean Functions
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Vivifying Propositional Clausal Formulae
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
AAAI
1998
15 years 7 months ago
Feature Generation for Sequence Categorization
The problem of sequence categorization is to generalize from a corpus of labeled sequences procedures for accurately labeling future unlabeled sequences. The choice of representat...
Daniel Kudenko, Haym Hirsh
CMG
1996
15 years 7 months ago
Discovering The Relationships Between Metrics
Consider yourself faced with learning about a new system. You have lots of measurements available, but you really don't know which measurements affect the values of others. H...
Bernard Domanski
DAC
2007
ACM
16 years 7 months ago
Progressive Decomposition: A Heuristic to Structure Arithmetic Circuits
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...
Ajay K. Verma, Philip Brisk, Paolo Ienne
NIPS
1992
15 years 7 months ago
Explanation-Based Neural Network Learning for Robot Control
How can artificial neural nets generalize better from fewer examples? In order to generalize successfully, neural network learning methods typically require large training data se...
Tom M. Mitchell, Sebastian Thrun