Sciweavers

808 search results - page 4 / 162
» Object Modeling Using Space Carving
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
13 years 5 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
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...
Olaf Owe, Martin Steffen, Arild B. Torjusen
IOT
2010
13 years 5 months ago
Supporting interaction with the Internet of Things across objects, time and space
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...
Fahim Kawsar, Gerd Kortuem, Bashar Altakrouri
ICPR
2002
IEEE
14 years 25 days ago
3D Reconstruction of Indoor and Outdoor Scenes Using a Mobile Range Scanner
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...
ICCV
2007
IEEE
14 years 9 months ago
A Homographic Framework for the Fusion of Multi-view Silhouettes
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...
Saad M. Khan, Pingkun Yan, Mubarak Shah