Abstract. Planning-specific heuristics for SAT have recently been shown to produce planners that match best earlier ones that use other search methods, including the until now dom...
In this paper, Boolean functions in ,4C0 are studied using harmonic analysis on the cube. The main result is that an ACO Boolean function has almost all of its “power spectrum”...
A method for measuring inter-symbol interference, duty cycle distortion, random jitter and periodic jitter is described. The Blackman-Tukey method of signal analysis is used. This...
Depth maps captured with time-of-flight cameras have
very low data quality: the image resolution is rather limited
and the level of random noise contained in the depth maps
is v...
Sebastian Schuon (Stanford University), Christian ...
Atmospheric conditions induced by suspended particles,
such as fog and haze, severely degrade image quality.
Restoring the true scene colors (clear day image) from a
single imag...