A Formal Framework for Evaluating Heuristic Programs.

Lenore Cowen Joan Feigenbaum Sampath Kannan

Published in: ICALP (1996)

Keyphrases

main contribution
scheduling problem
database
real time
artificial intelligence
information systems
multi agent
hidden markov models
probabilistic model
computational model
theoretical framework
formal model