10870 search results - page 1957 / 2174 » Model Checking Programs |
167
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a novel approach for landmarkbased shape deformation, in which fitting error and shape difference are formulated into a support vector machine (SVM) regression...
192
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Movies and TV are a rich source of diverse and complex video of people, objects, actions and locales "in the wild". Harvesting automatically labeled sequences o...
167
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
With the rapid technological advances in machine learning and data mining, it is now possible to train computers with hundreds of semantic concepts for the purpose of annotating i...
280
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
DSDT is a programming tool for writing durable scripts which contain short ACID transactions as components. The context of the script is made durable by writing a log record whene...
155
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...