• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Core Hybrid Event-B I: Single Hybrid Event-B machines.

Richard BanachMichael J. ButlerShengchao QinNitika VermaHuibiao Zhu
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • event detection
  • bayesian networks
  • database
  • feature selection
  • news articles
  • information retrieval
  • information systems
  • decision trees
  • image sequences
  • expert systems
  • event sequences
  • video event