Login / Signup

Predicate Abstraction of Programs with Non-linear Computation.

Songtao XiaBen Di VitoCésar A. Muñoz
Published in: ATVA (2006)
Keyphrases
  • database
  • high level
  • automatic programming
  • data structure
  • hardware designs
  • information retrieval
  • clustering algorithm
  • bayesian networks
  • multiscale
  • expert systems
  • first order logic
  • answer sets