Sciweavers

214 search results - page 34 / 43
» Metadata modeling in a global computing environment
Sort
View
CAV
2000
Springer
97views Hardware» more  CAV 2000»
13 years 12 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
14 years 1 hour 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
15 years 2 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
13 years 5 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»
15 years 14 days 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