A Mechanical Approach for Deriving Algorithmic Programs.

Haihe Shi Jinyun Xue Dawei Du

Published in: ACIS-ICIS (2008)

Keyphrases

computer programs
information retrieval
artificial intelligence
data structure
mechanical design
genetic algorithm
computer vision
clustering algorithm
image sequences
object oriented
answer sets
programming environment
automatic programming
control structures