Explicit Substitutions for Contextual Type Theory
Andreas AbelBrigitte PientkaPublished in: LFMTP (2010)
Keyphrases
- computer vision
- contextual information
- general theory
- image segmentation
- theoretical framework
- image processing
- databases
- multiscale
- decision theory
- information theory
- formal theory
- theoretical basis
- computational model
- hidden markov models
- evolutionary algorithm
- relational databases
- information technology
- objective function
- three dimensional
- case study