Login / Signup

AnnoDomini: From Type Theory to Year 2000 Conversion Tool.

Peter Harry EidorffFritz HengleinChristian MossinHenning NissMorten Heine SørensenMads Tofte
Published in: POPL (1999)
Keyphrases
  • theoretical framework
  • real time
  • databases
  • software tools
  • database
  • neural network
  • data mining
  • genetic algorithm
  • information systems
  • case study
  • multiscale
  • video sequences