94 search results - page 8 / 19 » Second Order Subspace Analysis and Simple Decompositions |
152
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
MP
2008
14 years 9 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
ICIP
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
LREC
2008
14 years 11 months ago
2008
This paper deals with non manual gestures annotation involved in Sign Language within the context of automatic generation of Sign Language. We will tackle linguistic researches in...