Slicing Software for Model Construction.

John Hatcliff Matthew B. Dwyer Hongjun Zheng

Published in: High. Order Symb. Comput. (2000)

Keyphrases

model construction
influence diagrams
source code
pose estimation
program slicing
user interface
decision making
three dimensional
image sequences
object recognition
special case
image database
sufficient conditions