Property Dependent Abstraction of Control Structure for Software Verification.

Thomas Firley Ursula Goltz

Published in: FME (2002)

Keyphrases

control structure
image interpretation
control structures
image understanding
production system
manufacturing systems
intermediate level
high level
reactive planning
knowledge representation
genetic algorithm
computer vision
multi agent
multistage
image annotation