Psi-calculi: Mobile Processes, Nominal Data, and Logic.
Jesper BengtsonMagnus JohanssonJoachim ParrowBjörn VictorPublished in: LICS (2009)
Keyphrases
- data analysis
- data sets
- data collection
- statistical analysis
- high quality
- raw data
- knowledge discovery
- data distribution
- network structure
- data processing
- data sources
- prior knowledge
- mobile devices
- mobile environments
- web services
- database
- linear logic
- missing data
- context aware
- small number
- data structure
- training data