Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
: Information retrieval tries to identify relevant documents for an information need. The problems that an IR system should deal with include document indexing (which tries to extr...
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 ...
We present a new approach to iteratively estimate both
high-quality depth map and alpha matte from a single image
or a video sequence. Scene depth, which is invariant
to illumin...
Jiejie Zhu (University of Kentucky), Miao Liao (Un...
Recently, ToF-cameras have attracted attention because of their ability to generate a full 21 2 D depth image at video frame rates. Thus, ToF-cameras are suitable for real-time 3D...