Sign in

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu TakakiIzumi TakeutiTakahiro SeinoNoriaki IzumiKoichi Takahashi
Published in: ICSEA (2008)
Keyphrases
  • incremental learning
  • model checking
  • real world
  • real time
  • neural network
  • data mining
  • information retrieval
  • learning algorithm
  • multiscale
  • information technology
  • single pass
  • incremental clustering