4502 search results - page 386 / 901 » Regular Model Checking |
218
click to vote
LISA
2008
15 years 9 months ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
193
click to vote
NAACL
2010
15 years 5 months ago
2010
In this paper we propose a novel general framework for unsupervised model adaptation. Our method is based on entropy which has been used previously as a regularizer in semi-superv...
276
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present 3D Constrained Local Model (CLM-Z) for robust facial feature tracking under varying pose. Our approach integrates both depth and intensity information in a common frame...
170
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
193
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
The registration of 3D scans of faces is a key step for many applications, in particular for building 3D Morphable Models. Although a number of algorithms are already available fo...