Login / Signup

Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.).

Richard Banach
Published in: J. Log. Comput. (2003)
Keyphrases
  • significant improvement
  • neural network
  • preprocessing
  • information technology
  • databases
  • data mining
  • decision trees
  • support vector
  • computational cost
  • empirical studies
  • machine learning methods