Sciweavers

3208 search results - page 125 / 642
» Methods and views
Sort
View
SMA
2008
ACM
192views Solid Modeling» more  SMA 2008»
14 years 8 months ago
Identification of sections from engineering drawings based on evidence theory
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
ISMAR
2009
IEEE
15 years 4 months ago
Advanced training methods using an Augmented Reality ultrasound simulator
Ultrasound (US) is a medical imaging modality which is extremely difficult to learn as it is user-dependent, has low image quality and many artifacts that depend on the viewing d...
Tobias Blum, Sandro Michael Heining, Oliver Kutter...
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 4 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
3DIM
2003
IEEE
15 years 3 months ago
A Hierarchical Method for Aligning Warped Meshes
Current alignment algorithms for registering range data captured from a 3D scanner assume that the range data depicts identical geometry taken from different views. However, in th...
Leslie Ikemoto, Natasha Gelfand, Marc Levoy
AIPS
2008
15 years 10 days ago
An Online Learning Method for Improving Over-Subscription Planning
Despite the recent resurgence of interest in learning methods for planning, most such efforts are still focused exclusively on classical planning problems. In this work, we invest...
Sung Wook Yoon, J. Benton, Subbarao Kambhampati