A Linear Process-Algebraic Format for Probabilistic Systems with Data.
Joost-Pieter KatoenJaco van de PolMariëlle StoelingaMark TimmerPublished in: ACSD (2010)
Keyphrases
- data sets
- data collection
- raw data
- database
- high quality
- data structure
- computer systems
- complex data
- training data
- data analysis
- statistical analysis
- redundant data
- small number
- image data
- data points
- historical data
- process model
- uncertain data
- data quality
- end users
- spatial data
- neural network
- information systems
- experimental data
- retrieval systems
- input data
- sensor data
- high dimensional data
- data processing