Login / Signup

Testing and Proving, Hand-in-Hand.

Tony Hoare
Published in: TAIC PART (2010)
Keyphrases
  • wide range
  • machine learning
  • decision making
  • case study
  • image segmentation
  • multi agent systems
  • lower bound