2081 search results - page 350 / 417 » codes 2006 |
WSE
2006
IEEE
15 years 4 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
ACCV
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...
116
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
108
click to vote
ACMMSP
2006
ACM
15 years 4 months ago
2006
ACM
Stencil-based kernels constitute the core of many scientific applications on block-structured grids. Unfortunately, these codes achieve a low fraction of peak performance, due pr...
APGV
2006
ACM
15 years 4 months ago
2006
ACM
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...