674 search results - page 34 / 135 » Arguments and Results |
WSCG
2003
13 years 9 months ago
2003
We present a real-time rendering algorithm that generates soft shadows of dynamic scenes using a single light sample. As a depth-map algorithm it can handle arbitrary shadowed sur...
EUROCAL
1987
13 years 11 months ago
1987
Abstract. A new constructive method for finding all convenient moduli m for a number-theoretic transform with given length N and given primitive Nth root of unity modulo m is prese...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
ARGMAS
2009
Springer
14 years 2 months ago
2009
Springer
Each person holds numerous values that represent what is believed to be important. As a result, our values influence our behavior and play a role in practical reasoning. Various a...
ICFP
1997
ACM
13 years 11 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...