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

Computing Invariants for Parameter Abstraction.

Yi LvHuimin LinHong Pan
Published in: MEMOCODE (2007)
Keyphrases
  • input parameters
  • affine invariant
  • genetic algorithm
  • parameter settings
  • real time
  • databases
  • website
  • multi agent
  • parameter values