1960 search results - page 153 / 392 » The Logic of Large Enough |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The recognition of events in video data is a subject of much current interest. In this paper, we address several issues related to this topic. The first one is overfitting when ...
FSE
2004
Springer
14 years 2 months 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...
STOC
1999
ACM
14 years 1 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
HPCA
1999
IEEE
14 years 1 months ago
1999
IEEE
This work presents and evaluates a novel processor microarchitecture which combines two paradigms: access/ execute decoupling and simultaneous multithreading. We investigate how b...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Software distributed shared memory (DSM) systems have successfully provided the illusion of shared memory on distributed memory machines. However, most software DSM systems use th...