Login / Signup

System Refinement in VDM-SL.

Paul Mukherjee
Published in: ICECCS (1996)
Keyphrases
  • real time
  • neural network
  • machine learning
  • knowledge base
  • bayesian networks
  • data streams
  • computational complexity
  • expert systems
  • image analysis
  • domain knowledge
  • information extraction