A System for Program Refinement.
Thomas E. Cheatham Jr.Judy A. TownleyGlenn H. HollowayPublished in: ICSE (1979)
Keyphrases
- computer vision
- image processing
- image segmentation
- information retrieval
- program execution
- database
- decision trees
- image sequences
- programming environment
- program understanding
- control program
- test cases
- source code
- artificial neural networks
- digital libraries
- computer science
- bayesian networks
- social networks
- search engine