379 search results - page 22 / 76 » A Generative Approach to Change-Driven Consistency in Multi-... |
CPAIOR
2005
Springer
15 years 4 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
We present a system for the estimation of unconstrained
3D human upper body movement from multiple cameras.
Its main novelty lies in the integration of three components:
single-...
105
click to vote
CAD
2005
Springer
14 years 10 months ago
2005
Springer
This paper presents a novel feature based parameterization approach of human bodies from the unorganized cloud points and the parametric design method for generating new models ba...
110
click to vote
CAV
2004
Springer
15 years 2 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...