Modeling the surface swept by a generalized cutter for NC verification.

Yun C. Chung Jung W. Park Hayong Shin Byoung Kyu Choi

Published in: Comput. Aided Des. (1998)

Keyphrases

three dimensional
modeling language
colored petri nets
computer vision and graphics
artificial intelligence
surface reconstruction
case study
viewpoint
petri net
model checking
range data
face verification
free form
cross section
formal verification