813 search results - page 20 / 163 » desire 2010 |
CGF
2010
13 years 7 months ago
2010
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
CGF
2010
13 years 7 months ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
ENDM
2010
13 years 7 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
ENTCS
2006
13 years 7 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
ENTCS
2006
13 years 7 months ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...