Sciweavers

214 search results - page 34 / 43
» Metadata modeling in a global computing environment
Sort
View
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 4 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
GI
2001
Springer
15 years 4 months ago
Towards a Novel Architecture to Support Universal Location Awareness
—The rapid advances in a wide range of wireless access technologies along with an industry-wide IP-convergence have set up the stage for context-aware computing. The “locationâ...
Amiya Bhattacharya, Abhishek Roy, Sajal K. Das
CVPR
2009
IEEE
16 years 6 months ago
A Robust Approach for Automatic Registration of Aerial Images with Untextured Aerial LiDAR Data
Airborne LiDAR technology draws increasing interest in large-scale 3D urban modeling in recent years. 3D Li- DAR data typically has no texture information. To generate photo-rea...
Lu Wang, Ulrich Neumann
ICSOC
2009
Springer
14 years 9 months ago
Integrating Complex Events for Collaborating and Dynamically Changing Business Processes
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
Rainer von Ammon, Thomas Ertlmaier, Opher Etzion, ...
ICCV
2009
IEEE
1136views Computer Vision» more  ICCV 2009»
16 years 4 months ago
Robust Graph-Cut Scene Segmentation and Reconstruction for Free-Viewpoint Video of Complex Dynamic Scenes
Current state-of-the-art image-based scene reconstruction techniques are capable of generating high-fidelity 3D models when used under controlled capture conditions. However, th...
Jean-Yves Guillemaut, Joe Kilner and Adrian Hilton