4255 search results - page 210 / 851 » On Learning Boolean Functions |
183
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
185
click to vote
CALCO
2005
Springer
16 years 1 days ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
154
click to vote
ICALP
2005
Springer
16 years 15 hour ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
179
click to vote
SACRYPT
2005
Springer
15 years 12 months ago
2005
Springer
A vast amount of literature on stream ciphers is directed to the cryptanalysis of LFSR-based filters and combiners, resulting in various attack models such as distinguishing attac...
163
click to vote
WCC
2005
Springer
15 years 12 months ago
2005
Springer
We present constructions of polyphase sequences suitable for the use as codewords in orthogonal frequency-division multiplexing (OFDM) with strictly bounded peak-to-mean envelope p...