16257 search results - page 188 / 3252 » D-finiteness: algorithms and applications |
162
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...
156
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
159
click to vote
PDCAT
2004
Springer
15 years 12 months ago
2004
Springer
Seismic modeling is an integral part of the seismic data processing for oil and gas exploration, as it provides us the seismic response for a given earth model. Grid enabled seismi...
159
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
We consider the problem of horizontally partitioning a dynamic relation across a large number of disks/nodes by the use of range partitioning. Such partitioning is often desirable...
166
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
Shadow mapping is a technique for doing real-time shadowing. Recent work has shown that shadow mapping hardware can be used as a second depth test in addition to the z-test. In th...