Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.

Pei He Lishan Kang Daochang Huang

Published in: ISICA (2009)

Keyphrases

decision making
theoretical framework
probabilistic model
computational model
prediction model
neural network
genetic algorithm
statistical model
e learning
metadata
high level
similarity measure
data model
parameter estimation
experimental data
formal model