Sciweavers

8 search results - page 2 / 2
» fac 1998
Sort
View
FAC
1998
111views more  FAC 1998»
13 years 10 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
FGR
1998
IEEE
170views Biometrics» more  FGR 1998»
14 years 3 months ago
Feature-Point Tracking by Optical Flow Discriminates Subtle Differences in Facial Expression
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...
Jeffrey F. Cohn, Adena J. Zlochower, James Jenn-Ji...
CVPR
1998
IEEE
15 years 26 days ago
Subtly Different Facial Expression Recognition and Expression Intensity Estimation
We have developed a computer vision system, including both facial feature extraction and recognition, that automatically discriminates among subtly different facial expressions. E...
James Jenn-Jier Lien, Takeo Kanade, Jeffrey F. Coh...