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

Formalizing Soundness of Contextual Effects.

Polyvios PratikakisJeffrey S. FosterMichael HicksIulian Neamtiu
Published in: TPHOLs (2008)
Keyphrases
  • contextual information
  • context dependent
  • data sets
  • three dimensional
  • computer based instruction
  • database
  • decision making
  • decision trees
  • database systems
  • case based reasoning