Sign in

Using an SMT solver for interactive requirements prioritization.

Francis PalmaAngelo SusiPaolo Tonella
Published in: SIGSOFT FSE (2011)
Keyphrases
  • databases
  • statistical machine translation
  • interactive video
  • data mining
  • website
  • data analysis
  • user interaction
  • data visualization
  • learning algorithm
  • database systems
  • support vector
  • computer graphics