593 search results - page 82 / 119 » Semantics-Preserving Procedure Extraction |
101
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
105
click to vote
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
—In this paper, we present an approach to nonlinear model reduction based on representing a nonlinear system with a piecewise-linear system and then reducing each of the pieces w...
110
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we propose a novel supervised hierarchical sparse coding model based on local image descriptors for classification tasks. The supervised dictionary training is perf...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we propose a prior for hand pose estimation that integrates the direct relation between a manipulating hand and a 3d object. This is of particular interest for a va...
SI3D
2010
ACM
15 years 6 months ago
2010
ACM
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our...