74 search results - page 15 / 15 » Reachability Analysis of Nonlinear Systems Using Conservativ... |
94
Voted
POPL
2011
ACM
14 years 10 days 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...
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
The Ringling School of Art and Design is a fully accredited four year college of visual art and design with a student population of approximately 1000. The Ringling School has ach...
CP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
VC
2008
14 years 9 months ago
2008
Existing techniques for fast, high-quality rendering of translucent materials often fix BSSRDF parameters at precomputation time. We present a novel method for accurate rendering a...