8828 search results - page 1561 / 1766 » Formal methods in practice |
159
click to vote
PAMI
2010
15 years 3 months ago
2010
—We present a generative model and inference algorithm for 3D nonrigid object tracking. The model, which we call G-flow, enables the joint inference of 3D position, orientation, ...
161
click to vote
PR
2010
15 years 2 months ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
227
click to vote
PRICAI
2010
Springer
15 years 2 months ago
2010
Springer
Manifold clustering, which regards clusters as groups of points around compact manifolds, has been realized as a promising generalization of traditional clustering. A number of lin...
143
click to vote
PSD
2010
Springer
15 years 2 months ago
2010
Springer
In survey statistics, simulation studies are usually performed by repeatedly drawing samples from population data. Furthermore, population data may be used in courses on survey sta...
132
click to vote
PUC
2010
15 years 2 months ago
2010
Deploying UbiComp in real homes is central to realizing Weiserʼs grand vision of ʻinvisibleʼ computing. It is essential to moving design out of the lab and making it into an unr...