4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CL2014
Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic
Arturo Curiel, Christophe Collet
In this paper, we present the implementation of an automatic Sign Language (SL) sign annotation framework based on a formal logic, the Propositional Dynamic Logic (PDL). Our system…
cs.CL2014★ 4 cited
Sign Language Lexical Recognition With Propositional Dynamic Logic
Arturo Curiel, Christophe Collet
This paper explores the use of Propositional Dynamic Logic (PDL) as a suitable formal framework for describing Sign Language (SL), the language of deaf people, in the context of na…