Sciweavers

2843 search results - page 322 / 569
» Interpolation by geometric algorithm
Sort
View
CA
1998
IEEE
15 years 3 months ago
Feature-based Surface Decomposition for Correspondence and Morphing Between Polyhedra
We present a new approach for establishing correspondence between two homeomorphic 3D polyhedral models. The user can specify corresponding feature pairs on the polyhedra with a s...
Arthur D. Gregory, Andrei State, Ming C. Lin, Dine...
VRST
1997
ACM
15 years 3 months ago
Surface deformation using the sensor glove
Intuitive 3D surface control and deformation are crucial to CAD/CAM. To do this in a virtual environment, however, the technique must be very efficient. A common method for shape ...
Lizhuang Ma, Rynson W. H. Lau, Jieqing Feng, Qunsh...
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 3 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
CGI
2004
IEEE
15 years 3 months ago
Surface Models of Tube Trees
This paper describes a new method for generating surfaces of branching tubular structures with given centerlines and radii. As the centerlines are not straight lines, the cross-se...
Petr Felkel, Rainer Wegenkittl, Katja Bühler
HYBRID
2000
Springer
15 years 3 months ago
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham