251 search results - page 1 / 51 » RGSep Action Inference |
VMCAI
2010
Springer
15 years 7 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...
69
Voted
AAAI
2006
14 years 11 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...
77
Voted
ICASSP
2011
IEEE
14 years 2 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 ...
78
Voted
BC
2011
14 years 5 months ago
2011
137
Voted
WACV
2012
IEEE
13 years 5 months 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...