Login / Signup

Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

Ignacio FábregasDavid de Frutos-EscrigMiguel Palomino
Published in: SOS (2010)
Keyphrases
  • simulation model
  • simulation environment
  • information retrieval
  • neural network
  • computer vision
  • video sequences
  • mathematical model
  • theorem prover
  • high fidelity
  • simulation software