Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
Ralf JungDavid SwaseyFilip SieczkowskiKasper SvendsenAaron TuronLars BirkedalDerek DreyerPublished in: POPL (2015)
Keyphrases
- orthogonal basis
- linear combination
- reasoning systems
- meta level
- iris recognition
- knowledge representation
- reasoning process
- neural network
- affine invariant
- data sets
- moment invariants
- knowledge base
- biometric recognition
- image acquisition
- image processing
- probabilistic reasoning
- uncertain information
- legal reasoning
- iris images
- mutual exclusion