Sciweavers

45 search results - page 8 / 9
» fac 2006
Sort
View
ICPR
2006
IEEE
15 years 11 months ago
Adaptive Processing of Face Emotion Tree Structures
This paper describes a novel Recursive Neural Network for adaptive processing of FacE Emotion Tree Structures (FEETS). We proposed to use tree structures to represent Gabor Face E...
Jia-Jun Wong, Siu-Yeung Cho
98
Voted
FAC
2008
123views more  FAC 2008»
14 years 9 months ago
Interface synthesis and protocol conversion
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...
Purandar Bhaduri, S. Ramesh
93
Voted
FGR
2006
IEEE
116views Biometrics» more  FGR 2006»
15 years 4 months ago
Local versus Global Segmentation for Facial Expression Recognition
We examined the open issue of whether FACS action units (AUs) can be recognized more accurately by classifying local regions around the eyes, brows, and mouth compared to analyzin...
Jacob Whitehill, Christian W. Omlin
94
Voted
FAC
2007
128views more  FAC 2007»
14 years 10 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
87
Voted
FAC
2006
122views more  FAC 2006»
14 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock