238 citations · 728 across the 31 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016★ 5 cited
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
Loris D'Antoni, Zachary Kincaid, Fang Wang
We introduce Symbolic Alternating Finite Automata (s-AFA) as an expressive, succinct, and decidable model for describing sets of finite sequences over arbitrary alphabets. Boolean…
cs.CV2016★ 2 cited
Prediction of Manipulation Actions
Cornelia Fermüller, Fang Wang, Yezhou Yang +4
Looking at a person's hands one often can tell what the person is going to do next, how his/her hands are moving and where they will be, because an actor's intentions shape his/her…