Visual Construction of Algebraic Specifications.

Duncan S. Neary Martin R. Woodward

Published in: VL (2000)

Keyphrases

mathematical theory
visual perception
high level
visual features
visual information
visual cues
construction process
visual exploration
database
neural network
machine learning
genetic algorithm
artificial intelligence
object recognition
higher order