8874 search results - page 1700 / 1775 » A New Implementation of Automath |
COLT
1995
Springer
14 years 2 months ago
1995
Springer
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
VLDB
2000
ACM
14 years 2 months ago
2000
ACM
Multidimensional access methods have shown high potential for significant performance improvements in various application domains. However, only few approaches have made their way...
ICCD
1997
IEEE
14 years 2 months ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
ICCV
1995
IEEE
14 years 2 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
ISCA
1995
IEEE
14 years 2 months ago
1995
IEEE
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...