3820 search results - page 80 / 764 » Bounded Model Debugging |
86
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
We deal with the problem of obtaining rigorous bounds to the position of 3-D points computed by stereo triangulation when both the camera matrix and the image points are affected ...
116
Voted
WSC
2000
15 years 3 months ago
2000
Visualization has become a critical component of simulation technology. Today we can't imagine doing a simulation without some kind of visualization to help communicate resul...
144
click to vote
STACS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
131
Voted
COCO
2003
Springer
15 years 7 months ago
2003
Springer
We study the communication complexity of the set disjointness problem in the general multi-party model. For t players, each holding a subset of a universe of size n, we establish ...
114
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...