Sign in

Framework composition conformance via refinement checking.

Rodrigo RamosAugusto SampaioAlexandre Mota
Published in: SAC (2008)
Keyphrases
  • high level
  • main contribution
  • theoretical framework
  • database systems
  • reinforcement learning
  • computational framework
  • framework enables
  • databases
  • machine learning
  • lightweight
  • conceptual framework