A Domain-Specific Language for the Specification of Gesture-based Applications.

Daniel Leite Viana Andre Luís de Medeiros Santos

Published in: SBLP (2017)

Keyphrases

human computer interaction
content analysis
human computer interface
high level
real time
specification language
formal methods
programming language
gesture recognition
human robot interaction
provably correct
operational semantics
database systems
three dimensional
case study
knowledge base
information retrieval