Requirements for a Gesture Specification Language - A Comparison of Two Representation Formalisms.

Alexis Héloir Michael Kipp

Published in: Gesture Workshop (2009)

Keyphrases

specification language
requirements specification
formal specification
description language
programming language
databases
database systems
knowledge representation
database
relational databases
production system
gesture recognition
model checker
symbolic execution