16430 search results - page 701 / 3286 » On Computable Tree Functions |
192
click to vote
FSE
2004
Springer
16 years 20 days ago
2004
Springer
In this paper we study the minimum distance between the set of bent functions and the set of 1-resilient Boolean functions and present a lower bound on that. The bound is proved to...
177
click to vote
IFIP13
2004
15 years 8 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
166
click to vote
COLT
2005
Springer
16 years 25 days ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
142
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
175
Voted
AAAI
2007
15 years 9 months ago
2007
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...