Login / Signup

Translation and Run-Time Validation of Loop Transformations.

Lenore D. ZuckAmir PnueliBenjamin GoldbergClark W. BarrettYi FangYing Hu
Published in: Formal Methods Syst. Des. (2005)
Keyphrases
  • machine translation
  • real world
  • cross language information retrieval
  • data sets
  • machine learning
  • feature selection
  • input image
  • query translation
  • rotation and translation
  • language resources