5525 search results - page 977 / 1105 » Verification of Model Transformations |
146
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Markerless tracking of human pose is a hard yet relevant problem. In this paper, we derive an efficient filtering algorithm for tracking human pose at 4-10 frames per second using...
101
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
135
Voted
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
121
Voted
BCI
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we describe and compare three Collaborative Filtering (CF) algorithms aiming at the low-rank approximation of the user-item ratings matrix. The algorithm implemen...
100
Voted
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...