3342 search results - page 236 / 669 » Symbolic Robustness Analysis |
182
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
Multidimensional Morphable Model is a powerful model to analyze and synthesize human faces. However, the stochastic gradient descent algorithm adopted to match the Morphable Model...
187
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
182
click to vote
WSC
2007
15 years 9 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
166
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Human matching between different fields of view is a difficult problem in intelligent video surveillance; whereas fusing multiple features has become a strong tool to solve it. In...
164
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...