The Steam-Boiler Problem - A TLT Solution.

Jorge Cuéllar Isolde Wildgruber

Published in: Formal Methods for Industrial Applications (1995)

Keyphrases

power plant
information systems
optimal solution
long term
objective function
feature selection
image processing
image sequences
bayesian networks
neural network
artificial neural networks
data mining
np hard
data warehouse
fault diagnosis
short term
monitoring system
real world