3373 search results - page 652 / 675 » Linear transformations on codes |
CVPR
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed a computer vision system, including both facial feature extraction and recognition, that automatically discriminates among subtly different facial expressions. E...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Temporal segmentation of facial gestures in spontaneous facial behavior recorded in real-world settings is an important, unsolved, and relatively unexplored problem in facial imag...
106
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Easy reuse and integration of declaratively described information in a distributed setting is one of the main motivations for building the Semantic Web. Despite of this claim, reu...
180
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...