Two Session Typing Systems for Higher-Order Mobile Processes.
Dimitris MostrousNobuko YoshidaPublished in: TLCA (2007)
Keyphrases
- higher order
- learning systems
- management system
- markov random field
- computational models
- natural images
- building blocks
- data sets
- complex systems
- dynamic aspects
- support systems
- conditional random fields
- wireless networks
- knowledge based systems
- data management
- mobile devices
- expert systems
- information systems
- neural network