1094 search results - page 125 / 219 » On Computing Explanations in Argumentation |
MFCS
1997
Springer
15 years 3 months ago
1997
Springer
We prove an exponential lower bound for the length of any resolution proof for the same set of clauses as the one used by Urquhart [13]. Our contribution is a significant simpli...
SCALESPACE
1997
Springer
15 years 3 months ago
1997
Springer
A general approach for multiscale orientation analysis of 2D scalar images is proposed. A scale-dependent orientation bundle (map of the visual space into function of two arguments...
CRYPTO
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. A computer disk drive's motor speed varies slightly but irregularly, principally because of air turbulence inside the disk's enclosure. The unpredictability of ...
CC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
ECCV
2006
Springer
15 years 2 months ago
2006
Springer
This paper is an argument for two assertions: First, that by representing correspondence probabilistically, drastically more correspondence information can be extracted from image...