Reasoning About Systems with Transition Fairness.

Benjamin Aminof Thomas Ball Orna Kupferman

Published in: LPAR (2004)

Keyphrases

expert systems
management system
intelligent systems
complex systems
database
data sets
similarity measure
evolutionary algorithm
hidden markov models
distributed systems
knowledge based systems
building blocks
learning systems
formal theory