1921 search results - page 285 / 385 » : Designing a Scalable Build Process |
110
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
109
Voted
NOMS
2010
IEEE
15 years 1 months ago
2010
IEEE
—While the polling or request/response paradigm adopted by many network and systems management approaches form the backbone of modern monitoring and management systems, the most ...
TOG
2010
15 years 1 months ago
2010
We introduce a method for generating facial blendshape rigs from a set of example poses of a CG character. Our system transfers controller semantics and expression dynamics from a...
130
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
As robots and humans move towards sharing the same environment, the need for safety in robotic systems is of growing importance. Towards this goal of human-friendly robotics, a rob...
127
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, m...