793 search results - page 30 / 159 » Input Modeling Tools for Complex Problems |
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a novel algorithm for estimating complex human motion from 3D video. We base our algorithm on a model-based approach which uses a complete surface mesh of a 3D...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
ESA
2003
Springer
14 years 4 months ago
2003
Springer
We propose a new complexity measure for movement of objects, the smoothed motion complexity. Many applications are based on algorithms dealing with moving objects, but usually data...
SIGGRAPH
1991
ACM
14 years 2 months ago
1991
ACM
We present a new interactive modeling technique based on the notion of sculpting a solid material. A sculpting tool is controlled by a 3D input device and the material is represen...
SAT
2005
Springer
14 years 4 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...