Login / Signup
An Efficient Runtime Validation Framework based on the Theory of Refinement.
Mitesh Jain
Panagiotis Manolios
Published in:
CoRR (2017)
Keyphrases
</>
theoretical framework
main contribution
logical framework
quotient space
conceptual framework
formal model
data structure
theoretical foundation
bayesian framework
key features
databases
multiscale
image sequences
image segmentation
case study
multimedia
information systems
search engine
learning algorithm