A Framework for Order-Sorted Algebra.

Published in: AMAST (2002)

Keyphrases

main contribution
conceptual framework
artificial intelligence
domain knowledge
theoretical framework
real time
data sets
databases
machine learning
image segmentation
expert systems
data model