A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation.
Francesco A. GencoPublished in: CoRR (2024)
Keyphrases
- bayesian networks
- efficient computation
- probabilistic model
- probabilistic logic
- neural network
- context sensitive
- artificial intelligence
- conditional probabilities
- generative model
- natural language
- wide range
- multi agent
- belief networks
- data driven
- search algorithm
- data structure
- database
- case study
- feature selection
- computer vision
- search engine
- machine learning
- data mining
- data sets
- real time