4502 search results - page 462 / 901 » Regular Model Checking |
168
click to vote
WSCG
2000
15 years 8 months ago
2000
The alternating sum of volumes (ASV) decomposition is a widely used technique for converting a b-rep into a CSG model, with all its implicit uses and advantages -like form feature...
200
click to vote
BMVC
2010
15 years 4 months ago
2010
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...
205
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Most genomic data have ultra-high dimensions with more than 10,000 genes (probes). Regularization methods with L1 and Lp penalty have been extensively studied in survi...
170
click to vote
TIP
2010
15 years 1 months ago
2010
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...
220
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Free-form deformations (FFD) constitute an important geometric shape modification method that has been extensively investigated for computer animation and geometric modelling. In t...