251 search results - page 1 / 51 » RGSep Action Inference |
VMCAI
2010
Springer
14 years 1 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
AAAI
2006
13 years 6 months ago
2006
Following verbal route instructions requires knowledge of language, space, action and perception. We present MARCO, an agent that follows free-form, natural language route instruc...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
We present a robust method to map detected facial Action Units (AUs) to six basic emotions. Automatic AU recognition is prone to errors due to illumination, tracking failures and ...
BC
2011
12 years 11 months ago
2011
WACV
2012
IEEE
12 years 7 days ago
2012
IEEE
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...