2509 search results - page 231 / 502 » Abstract Geometrical Computation and Computable Analysis |
220
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
183
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
176
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper provides a comprehensive analysis of exactly what visual information about the world is embedded within a single image of an eye. It turns out that the cornea of an eye...
202
click to vote
ICHIM
2001
15 years 8 months ago
2001
Within the field of cultural heritage restoration, experts are interested in the analysis of data describing the condition and history of ancient monuments. Data are usually distr...
160
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...