6693 search results - page 1145 / 1339 » Methods of Automatic Algorithm Generation |
203
click to vote
TOG
2008
15 years 6 months ago
2008
We present a real-time algorithm called compensated ray marching for rendering of smoke under dynamic low-frequency environment lighting. Our approach is based on a decomposition ...
291
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
205
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
194
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Depth-map merging approaches have become more and
more popular in multi-view stereo (MVS) because of their
flexibility and superior performance. The quality of depth
map used fo...
187
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper extends the traditional binocular stereo problem into the spacetime domain, in which a pair of video streams is matched simultaneously instead of matching pairs of imag...