Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
This paper describes 3D mapping of indoor and outdoor environment using a mobile range scanner. In the raw range data preprocessing stage, we propose to use area decreasing flow ...
Yiyong Sun, Joon Ki Paik, Andreas Koschan, Mongi A...
This paper presents a purely image-based approach to fusing foreground silhouette information from multiple arbitrary views. Our approach does not require 3D constructs like camer...