Login / Signup
Program verification system with synthesizer of invariant assertions.
Seiichiro Dan
Takahira Yamaguchi
Osamu Kakusho
Yoshikazu Tezuka
Published in:
Systems and Computers in Japan (1989)
Keyphrases
</>
affine transformation
knowledge base
text to speech
affine invariant
data mining
machine learning
medical images
control signals
artificial intelligence
image processing
invariant properties
invariance properties
invariant representations