313 search results - page 26 / 63 » Lazy Abstraction with Interpolants |
MOC
2011
13 years 2 months ago
2011
Abstract. We prove optimal order error estimates for the Raviart-Thomas interpolation of arbitrary order under the maximum angle condition for triangles and under two generalizatio...
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
Abstract-Texture mapping is a common technique used to increase the visual quality of 3D scenes. As texture mapping requires large memory to deal with large textures generally r e ...
CIS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—The growth in practical applications for iris biometrics has been accompanied by relevant developments in the underlying algorithms and techniques. Along with the resear...
AAIM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Pricing arithmetic average options continues to intrigue researchers in the field of financial engineering. Since there is no analytical solution for this problem until...
ISBRA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Cancer detection using mammography focuses on characteristics of tiny microcalcifications, including the number, size, and spatial arrangement of microcalcification clu...