Sign Specification and Synthesis.

Olivier Losson Jean-Marc Vannobel

Published in: Gesture Workshop (1999)

Keyphrases

program synthesis
high level
formal specification
specification language
databases
three dimensional
face recognition
learning objects
conceptual model
texture synthesis
formal methods
formal verification
temporal ordering