1497 search results - page 259 / 300 » Extended static checking |
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
We present an extension to texture mapping that supports the representation of 3-D surface details and view motion parallax. The results are correct for viewpoints that are static...
DOLAP
1999
ACM
14 years 1 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
CHARME
1999
Springer
14 years 1 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
CVPR
1998
IEEE
14 years 1 months ago
1998
IEEE
Image mosaics are useful for a variety of tasks in vision and computer graphics. A particularly convenient way to generate mosaics is by `stitching' together many ordinary ph...