674 search results - page 59 / 135 » Arguments and Results |
STOC
2004
ACM
14 years 9 months ago
2004
ACM
The main result of this paper is a near-optimal derandomization of the affine homomorphism test of Blum, Luby and Rubinfeld (Journal of Computer and System Sciences, 1993). We sho...
ECAL
2007
Springer
14 years 2 months ago
2007
Springer
Using a simple simulation model of evolution and learning this paper provides some evolutionary arguments on why Lamarckianlike inheritance - direct transfer of lifetime learning r...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
IWMM
1992
Springer
14 years 25 days ago
1992
Springer
A purely functional le system has been built on top of pure Scheme. It provides persistent structures and massive storage expected of le systems, without explicit side-e ects like ...
WSC
1996
13 years 10 months ago
1996
Sequential analysis of simulation output is generally accepted as the most efficient way for securing representativeness of samples of collected observations. In this scenario a s...