Login / Signup

How Linear Can Branching-Time Be?

Orna GrumbergRobert P. Kurshan
Published in: ICTL (1994)
Keyphrases
  • data mining
  • closed form
  • linear model
  • real time
  • image processing
  • similarity measure
  • expert systems
  • medical images
  • temporal logic
  • temporal reasoning