Algebraic Specification of a 3D-Modeler Based on Hypermaps.

Yves Bertrand Jean-François Dufourd

Published in: CVGIP Graph. Model. Image Process. (1994)

Keyphrases

protocol specification
formal methods
higher order
three dimensional
expert systems
algebraic expressions
state machine
linear algebra
evolutionary algorithm
relational databases
databases
high level
image processing
search engine
artificial intelligence
genetic algorithm
neural network