8828 search results - page 1722 / 1766 » Formal methods in practice |
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
104
click to vote
SIGGRAPH
1998
ACM
15 years 2 months ago
1998
ACM
We present an efficient algorithm for visibility sorting a set of moving geometric objects into a sequence of image layers which are composited to produce the final image. Inste...
SIGMOD
1998
ACM
15 years 2 months ago
1998
ACM
In this paper, we propose the Pyramid-Technique, a new indexing method for high-dimensional data spaces. The PyramidTechnique is highly adapted to range query processing using the...
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents a framework for multiresolution compression and geometric reconstruction of arbitrarily dimensioned data designed for distributed applications. Although being ...
109
click to vote
ANSS
1996
IEEE
15 years 2 months ago
1996
IEEE
The asymptotic bias and variance are important determinants of the quality of a simulation run. In particular, the asymptotic bias can be used to approximate the bias introduced b...