3505 search results - page 198 / 701 » A Language for Human Action |
177
click to vote
ICMI
2007
Springer
16 years 23 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
163
click to vote
DNA
2007
Springer
16 years 24 days ago
2007
Springer
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
181
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
190
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
161
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...