Sciweavers

106 search results - page 22 / 22
» On Verifying Complex Properties using Symbolic Shape Analysi...
Sort
View
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
14 years 18 days ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira