Login / Signup
Bisimilarity for the Region Calculus.
Simon Helsen
Published in:
High. Order Symb. Comput. (2004)
Keyphrases
</>
neural network
input image
region of interest
image regions
automated theorem proving
automated deduction
computer algebra