8 search results - page 2 / 2 » fac 2002 |
FAC
2002
13 years 7 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
FAC
2002
13 years 7 months ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
FGR
2002
IEEE
14 years 12 days ago
2002
IEEE
Previous work suggests that Gabor-wavelet-based methods can achieve high sensitivity and specificity for emotionspecified expressions (e.g., happy, sad) and single action units ...