Synthesis of synchronous assertions with guarded atomic actions.

Michael Pellauer Mieszko Lis Don Baltus Rishiyur S. Nikhil

Published in: MEMOCODE (2005)

Keyphrases

atomic actions
knowledge base
context sensitive
human activity recognition
action detection
temporal relations
action recognition
low level features
temporal structure