An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.
Xueguang WuLiqian ChenJi WangPublished in: Electron. Notes Theor. Comput. Sci. (2014)
Keyphrases
- high level
- parameter values
- low level
- information retrieval
- artificial intelligence
- design parameters
- objective function
- domain specific
- symbolic reasoning
- real time
- symbolic representation
- parameter tuning
- maximum likelihood estimation
- parameter settings
- domain independent
- parameter estimation
- knowledge acquisition
- multiscale
- information systems