Login / Signup

Coherent Functions and Program Checkers (Extended Abstract)

Andrew Chi-Chih Yao
Published in: STOC (1990)
Keyphrases
  • extended abstract
  • functional programs
  • real time
  • neural network
  • decision making
  • image processing
  • hidden markov models
  • object oriented
  • basis functions
  • programming environment
  • program understanding