Reusing formal models - Domain capitalization via formalization.

Published in: IFIP Congress Topical Sessions (2004)

Keyphrases

formal models
formal model
rule based systems
process model
domain specific
domain independent
knowledge representation
domain ontology
real time
data sets
preprocessing
knn