As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...
Hae-Yeoun Lee, Heung-Kyu Lee, Tak-gon Kim, Wonkyu ...
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
New graph structures where node labels are members of hierarchically organized ontologies or taxonomies have become commonplace in different domains, e.g., life sciences. It is a ...