Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations.
Ippei ObayashiPublished in: SIAM J. Appl. Dyn. Syst. (2011)
Keyphrases
- computer assisted
- verification method
- model checking
- temporal logic
- computer aided
- intraoperative
- foreign language
- power law
- learning strategies
- probability density function
- affine invariant
- invariant features
- moment invariants
- reading comprehension
- vocabulary learning
- image analysis
- probability distribution
- computer vision