A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.

Hamdi Yahyaoui Mourad Debbabi Nadia Tawbi

Published in: QSIC (2007)

Keyphrases

high level
probabilistic model
computational model
statistical model
natural language
semantic description
mathematical model
semantic network
formal model
artificial neural networks
prior knowledge
management system
natural language processing
parameter estimation
conceptual model
neural network model