12774 search results - page 2326 / 2555 » A Framework for Proof Systems |
200
click to vote
CGF
2008
15 years 6 months ago
2008
Interactive global illumination for fully deformable scenes with dynamic relighting is currently a very elusive goal in the area of realistic rendering. In this work we propose a ...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dereferencing a URI returns a representation of the current state of the resource identified by that URI. But, on the Web representations of prior states of a resource are also av...
149
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In 1992, Bartholdi, Tovey, and Trick [1992] opened the study of control attacks on elections--attempts to improve the election outcome by such actions as adding/deleting candidate...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...