2871 search results - page 103 / 575 » An Auxiliary Variational Method |
166
click to vote
ICPR
2008
IEEE
16 years 25 days ago
2008
IEEE
We present a finite element modeling based approach to compute strain patterns caused by facial deformation during expressions in videos. A sparse motion field computed through ...
188
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
125
click to vote
WACV
2007
IEEE
16 years 20 days ago
2007
IEEE
The success of forensic identification largely depends on the availability of strong evidence or traces that substantiate the prosecution hypothesis that a certain person is guil...
166
click to vote
WINE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We consider the problem of computing additively approximate Nash equilibria in non-cooperative two-player games. We provide a new polynomial time algorithm that achieves ...
158
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...