282 search results - page 2 / 57 » The Methods of Approximation and Lifting in Real Computation |
POPL
2007
ACM
14 years 5 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
13 years 10 months 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
13 years 11 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
13 years 10 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
13 years 11 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 ...