8828 search results - page 1201 / 1766 » Formal methods in practice |
180
click to vote
CGF
2004
15 years 7 months ago
2004
Light source animation is a particularly hard field of real-time global illumination algorithms since moving light sources result in drastic illumination changes and make coherenc...
122
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
This report defines various operations and describes algorithms for weighted multi-tape automata (WMTAs). It presents, among others, a new approach to multi-tape intersection, mea...
213
click to vote
CPHYSICS
2004
15 years 7 months ago
2004
We describe algorithms to implement fully dynamic and kinetic three-dimensional unconstrained Delaunay triangulations, where the time evolution of the triangulation is not only go...
184
click to vote
CANDC
2000
ACM
15 years 7 months ago
2000
ACM
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
152
click to vote
CN
2000
15 years 7 months ago
2000
: We propose a new scheme of `automatic pricing' for digital contents, and describe an implemented system as well as concrete pricing algorithms for it. Automatic pricing refe...