570 search results - page 63 / 114 » SGNET: Implementation insights |
GRAPHITE
2007
ACM
15 years 3 months ago
2007
ACM
We present a data-driven technique for generating the precomputed radiance transfer vectors of an animated character as a function of its joint angles. We learn a linear model for...
124
click to vote
FLOPS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
117
click to vote
FAABS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
112
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
103
click to vote
CODES
2006
IEEE
15 years 1 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...