Sciweavers

356 search results - page 21 / 72
» Goal-Driven Analysis of Process Model Validity
Sort
View
ICNS
2007
IEEE
14 years 2 months ago
Erlang Reduced Load Model for Optical Burst Switched Grids
—This paper presents an Erlang reduced load model to analyze Optical Burst Switched Grid networks. The model allows the evaluation of job blocking probabilities, in which blockin...
Marc De Leenheer, Chris Develder, Filip De Turck, ...
ICIP
2004
IEEE
14 years 9 months ago
Analysis of the efficiency of snr-scalable strategies for motion compensated video coders
In this paper, an analysis of the efficiency of three signal-to-noise ratio (SNR) scalable strategies for motion compensated video coders and their non-scalable counterpart is pre...
Josep Prades-Nebot, Gregory W. Cook, Edward J. Del...
ICIAP
2003
ACM
14 years 7 months ago
Camera calibration and 3D reconstruction using interval analysis
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
Benoît Telle, Marie-José Aldon, Nacim...
DAGSTUHL
2006
13 years 9 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper
ICPP
2006
IEEE
14 years 1 months ago
False Rate Analysis of Bloom Filter Replicas in Distributed Systems
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
Yifeng Zhu, Hong Jiang