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

Intelligent Modeling and Verification.

Guiming LuoGraziano ChesiXiaoyu SongXiaojing Yang
Published in: J. Appl. Math. (2013)
Keyphrases
  • information systems
  • high level
  • feature extraction
  • reinforcement learning
  • decision support
  • intelligent systems
  • model checking
  • databases
  • social networks
  • feature selection