On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.

Stefan Blom Wan J. Fokkink Sumit Nain

Published in: ICALP (2003)

Keyphrases

simulation model
case study
real time
data mining
machine learning
decision making
metadata
video sequences
expert systems
medical images
discrete event simulation