6693 search results - page 1145 / 1339 » Methods of Automatic Algorithm Generation |
136
Voted
TOG
2008
15 years 2 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 ...
210
Voted
FOSSACS
2011
Springer
14 years 6 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...
144
Voted
POPL
2011
ACM
14 years 5 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...
134
Voted
CVPR
2009
IEEE
16 years 9 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...
132
click to vote
CVPR
2003
IEEE
16 years 4 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...