6102 search results - page 129 / 1221 » Generating Optimizing Specializers |
DAC
1990
ACM
14 years 1 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
EUSFLAT
2007
13 years 10 months ago
2007
In this paper discrete quasi-copulas (defined on a square grid I2 n of [0,1]) are studied and it is proved that they can be represented by means of a special class of matrices wi...
IC
2000
13 years 10 months ago
2000
This paper gives an account of the practical experiences made in generating special statistical information of web server logs. It emphasizes the problem of combining different dat...
KDD
2003
ACM
14 years 9 months ago
2003
ACM
A data stream is a massive unbounded sequence of data elements continuously generated at a rapid rate. Consequently, the knowledge embedded in a data stream is more likely to be c...
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...