Executable JVM model for analytical reasoning: A study.
Hanbing LiuJ Strother MoorePublished in: Sci. Comput. Program. (2005)
Keyphrases
- theoretical framework
- study proposes
- formal model
- statistical model
- high level
- computational model
- cost function
- mathematical model
- objective function
- prior knowledge
- experimental data
- theoretical analysis
- theoretical foundation
- process model
- data sets
- empirical studies
- management system
- probabilistic model
- similarity measure
- knowledge base