Formal Resolution of Geometrical Constraint Systems by Assembling.
Jean-François DufourdPascal MathisPascal SchreckPublished in: Symposium on Solid Modeling and Applications (1997)
Keyphrases
- distributed systems
- formal methods
- expert systems
- high resolution
- knowledge base
- constraint satisfaction problems
- computer systems
- mobile robot
- formal languages
- formal specification
- constraint satisfaction
- building blocks
- intelligent systems
- neural network
- control system
- data structure
- image processing
- computer vision
- artificial intelligence