6431 search results - page 380 / 1287 » Model Building by Resolution |
158
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Active Appearance Models (AAMs) typically only use 50-100 mesh vertices because they are usually constructed from a set of training images with the vertices hand-labeled on them. ...
226
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we give a probabilistic model for automatic change detection on airborne images taken with moving cameras. To ensure robustness, we adopt an unsupervised coarse mat...
140
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
183
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
211
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...