Sciweavers

3954 search results - page 548 / 791
» Image-based Model Completion
Sort
View
SMA
2008
ACM
192views Solid Modeling» more  SMA 2008»
15 years 2 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
116
Voted
PTS
2010
132views Hardware» more  PTS 2010»
15 years 2 months ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
TASLP
2010
84views more  TASLP 2010»
15 years 2 months ago
Wideband and Isotropic Room Acoustics Simulation Using 2-D Interpolated FDTD Schemes
—In this paper, a complete method for finite-difference time-domain modeling of rooms in 2-D using compact explicit schemes is presented. A family of interpolated schemes using ...
Konrad Kowalczyk, Maarten van Walstijn
TCS
2010
15 years 2 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
155
Voted
TVCG
2010
160views more  TVCG 2010»
15 years 2 months ago
Robust Feature-Preserving Mesh Denoising Based on Consistent Subneighborhoods
—In this paper, we introduce a feature-preserving denoising algorithm. It is built on the premise that the underlying surface of a noisy mesh is piecewise smooth, and a sharp fea...
Hanqi Fan, Yizhou Yu, Qunsheng Peng