Temporal Properties of Diagnosis Code Time Series in Aggregate.

Adler J. Perotte George Hripcsak

Published in: IEEE J. Biomed. Health Informatics (2013)

Keyphrases

temporal properties
model checking
model based diagnosis
possibility theory
formal methods
fault diagnosis
dynamic time warping
source code
medical diagnosis
cooperative
multivariate time series
neural network
temporal logic
probability theory
rough set theory
artificial neural networks
bayesian networks