We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
While most prior work on multiprocessor real-time scheduling focuses on independent tasks, dependencies due to non-preemptive sections, suspensions, and pipelinebased precedence c...
Electroencephalogram (EEG) is an important technique for detecting epileptic seizures. In this paper a method of classification of EEG signal into normal, interictal and ictal cla...
Most active scene recovery techniques assume that a scene point is illuminated only directly by the illumination source. Consequently, global illumination effects due to inter-refl...
Li Zhang, Mohit Gupta, Srinivasa G. Narasimhan, Yu...
Translucent objects pose a difficult problem for traditional structured light 3D scanning techniques. Subsurface scattering corrupts the range estimation in two ways: by drastical...
Tongbo Chen, Hendrik P. A. Lensch, Christian Fuchs...