971 search results - page 30 / 195 » Automatic prediction of frustration |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
FGR
2006
IEEE
14 years 1 months ago
2006
IEEE
We present results on a user independent fully automatic system for real time recognition of facial actions from the Facial Action Coding System (FACS). The system automatically d...
CVPR
2000
IEEE
14 years 9 months ago
2000
IEEE
Realistic merging of virtual and real objects requires that the augmented patterns be correctly occluded by foreground objects. In this paper, we propose a semi-automatic method f...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Detection of filled pauses is a challenging research problem which has several practical applications. It can be used to evaluate the spoken fluency skills of the speaker, to im...
CCGRID
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In order to efficiently use Grid resources, users or middlewares must use some network information, and in particular some knowledge of the platform network. As such kn...