3228 search results - page 388 / 646 » Computationally Sound Proofs |
132
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
The RAIN (Reliable Array of Independent Nodes) project at Caltech is focusing on creating highly reliable distributed systems by leveraging commercially available personal compute...
161
click to vote
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
143
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
The shape of an object may be estimated by observing the shadows on its surface. We present a method that is robust with respect to a conservative classification of shadow regions...
112
click to vote
DCC
2007
IEEE
16 years 3 months ago
2007
IEEE
We consider grammar based text compression with longest first substitution, where non-overlapping occurrences of a longest repeating substring of the input text are replaced by a ...
DCC
2004
IEEE
16 years 3 months ago
2004
IEEE
An important question in the construction of orthogonal arrays is what the minimal size of an array is when all other parameters are fixed. In this paper, we will provide a genera...