Nominal Computation Theory (Dagstuhl Seminar 13422).
Mikolaj BojanczykBartek KlinAlexander KurzAndrew M. PittsPublished in: Dagstuhl Reports (2013)
Keyphrases
- real time
- linear algebra
- theoretical foundation
- mobile robot
- theoretical framework
- theoretical basis
- computer science
- information technology
- formal theory
- grounded theory
- general theory
- belief functions
- computational model
- probabilistic model
- special case
- digital libraries
- high level
- web services
- e learning
- neural network
- data sets