The science of deep specification (keynote).
Benjamin C. PiercePublished in: SPLASH (Companion Volume) (2016)
Keyphrases
- key issues
- data mining
- artificial intelligence
- specification language
- computer science
- programming language
- science education
- information technology
- elementary school
- conceptual model
- computational science
- longitudinal study
- deep learning
- information science
- formal specification
- data sets
- probabilistic model
- hidden markov models
- machine learning
- databases