Login / Signup
Semi-continuous Sized Types and Termination
Andreas Abel
Published in:
CoRR (2008)
Keyphrases
</>
data sets
continuous domains
real time
case study
image segmentation
three dimensional
similarity measure
multi agent systems
data model