Probabilistic coherence spaces as a model of higher-order probabilistic computation.
Vincent DanosThomas EhrhardPublished in: Inf. Comput. (2011)
Keyphrases
- probabilistic model
- higher order
- high order
- conceptual model
- probabilistic formulation
- independence assumption
- computational model
- experimental data
- cost function
- natural images
- probabilistic interpretation
- neural network model
- statistical model
- mathematical model
- lower order
- simulation model
- conditional random fields
- learning algorithm
- theoretical framework
- parameter estimation
- theoretical analysis
- data driven
- objective function