Login / Signup
Error description on algebraic specification and its automatic addition.
Takeshi Hamaguchi
Shinichirou Yamamoto
Kiyoshi Agusa
Masahiko Sakai
Published in:
Systems and Computers in Japan (1996)
Keyphrases
</>
high level
error rate
case study
semi automatic
computer vision
data driven
fully automatic
relative error
information retrieval
artificial intelligence
social networks
lower bound
higher order
programming language
error bounds
provably correct