Login / Signup

Formally transforming user-model testing problems into implementer-model testing problems and viceversa.

César AndrésLuis Fernando Llana DíazIsmael Rodríguez
Published in: J. Log. Algebraic Methods Program. (2009)
Keyphrases
  • user model
  • high level
  • probabilistic model
  • optimization problems
  • computational model
  • search algorithm
  • artificial neural networks
  • experimental data
  • robust optimization
  • integer linear programming