Sciweavers

2871 search results - page 331 / 575
» An Auxiliary Variational Method
Sort
View
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 10 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
FGR
2004
IEEE
169views Biometrics» more  FGR 2004»
15 years 10 months ago
Monocular Reconstruction of Human Motion by Qualitative Selection
One of the main difficulties when reconstructing human motion from monocular video is the depth ambiguity. Achieving a reconstruction, given the projection of the joints, can be r...
Martin Eriksson, Stefan Carlsson
SIGGRAPH
1991
ACM
15 years 10 months ago
Artificial evolution for computer graphics
CT This paper describes how evolutionary techniques of variation and selection can be used to create complex simulated structures, textures, and motions for use in computer graphic...
Karl Sims
ICPR
2010
IEEE
15 years 10 months ago
Multiple-Shot Person Re-Identification by HPE Signature
Abstract--In this paper, we propose a novel appearancebased method for person re-identification, that condenses a set of frames of the same individual into a highly informative sig...
Loris Bazzani, Marco Cristani, Alessandro Perina, ...
WSC
2008
15 years 9 months ago
Fast simulation of equity-linked life insurance contracts with a surrender option
In this paper, we consider equity-linked life insurance contracts that give their holder the possibility to surrender their policy before maturity. Such contracts can be valued us...
Carole Bernard, Christiane Lemieux