Sign in

A Formal Framework for Specifying and Verifying Time Warp Optimizations.

Victoria ChernyakhovskyPeter FreyRadharamanan RadhakrishnanPhilip A. WilseyPerry AlexanderHarold W. Carter
Published in: IPPS/SPDP Workshops (1999)
Keyphrases
  • machine learning
  • case study
  • three dimensional
  • real time
  • real world
  • computer vision
  • multi agent
  • computational model
  • theoretical framework
  • conceptual framework
  • computational framework
  • framework enables