Login / Signup

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu TakakiTakahiro SeinoIzumi TakeutiNoriaki IzumiKoichi Takahashi
Published in: ICSEA (2007)
Keyphrases
  • life cycle
  • np hard
  • dynamic programming
  • computational complexity
  • optimal solution
  • probabilistic model
  • artificial intelligence