The C++ programming language
Conditional rewrite rules: Confluence and termination
Journal of Computer and System Sciences
Thue systems as rewriting systems
Journal of Symbolic Computation
Intelligent CAD systems I: theoretical and methodological aspects
Intelligent CAD systems I: theoretical and methodological aspects
Automatic recognition and representation of shape-based features in a geometric modeling system
Computer Vision, Graphics, and Image Processing
An integrated data description language for coding design knowledge
Intelligent CAD systems I: theoretical and methodological aspects
Automatic 3D machining feature extraction from 3D CSG solid input
Computer-Aided Design
AI Magazine
An Algebraic Approach to Feature Interactions
IEEE Transactions on Pattern Analysis and Machine Intelligence
Recognizing Shape Features in Solid Models
IEEE Computer Graphics and Applications
Using Features as Knowledge Formalization for Simultaneous Engineering
Proceedings of the IFIP TC5 / WG5.3 Eight International PROLAMAT Conference on Human Aspects in Computer Integrated Manufacturing
Modeling with self validation features
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Developing applications for the Portuguese Shoe Industry
AFRIGRAPH '04 Proceedings of the 3rd international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
| Hi-index | 0.00 |