Login / Signup

Computing Preconditions and Postconditions of While Loops.

Olfa MraihiWided GhardallouAsma LouhichiLamia Labed JilaniKhaled BsaïesAli Mili
Published in: ICTAC (2011)
Keyphrases
  • computer vision
  • explanation based learning
  • real time
  • data sets
  • information retrieval
  • artificial intelligence
  • object recognition
  • artificial neural networks
  • user interface
  • modal logic