Abstract. Random sampling is an important tool in the design of parallel algorithms. Using random sampling it is possible to obtain simple parallel algorithms which are e cient in ...
Estimating the illumination and the reflectance properties
of an object surface from a sparse set of images is an
important but inherently ill-posed problem. The problem
becomes...
Kenji Hara (Kyushu University), Ko Nishino (Drexel...
Actions are spatio-temporal patterns which can be characterized
by collections of spatio-temporal invariant features.
Detection of actions is to find the re-occurrences
(e.g. th...
This paper describes a machine learning approach for visual
object detection which is capable of processing images
extremely rapidly and achieving high detection rates. This
wor...
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...