Synthesis for testability by synthesis controlling.

Published in: Microprocess. Microprogramming (1993)

Keyphrases

program synthesis
real time
information systems
natural language
database
neural network
data mining
learning algorithm
computer vision
support vector
trade off
mobile robot
human motion