Login / Signup
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method.
Kazuhiro Ogata
Kokichi Futatsugi
Published in:
Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
</>
probabilistic model
edge detection
parameter estimation
high order