Login / Signup

Deriving session and union types for objects.

Lorenzo BettiniSara CapecchiMariangiola Dezani-CiancagliniElena GiachinoBetti Venneri
Published in: Math. Struct. Comput. Sci. (2013)
Keyphrases
  • multiple types
  • real time
  • three dimensional
  • d objects
  • multiple objects
  • information systems
  • multiscale
  • graph cuts
  • user behavior
  • spatial relationships
  • individual objects