282 search results - page 2 / 57 » The Methods of Approximation and Lifting in Real Computation |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
PG
2002
IEEE
14 years 16 days ago
2002
IEEE
This paper describes a method of human short hair modeling and real time animation. A method is proposed to model the short hair. First, a hair style model is derived from a scalp...
PG
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents an image-space approximation technique for real-time subsurface scattering. We first create transmitted irradiance samples on shadow maps and then estimate si...
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
SCALESPACE
2005
Springer
14 years 1 months ago
2005
Springer
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...