1256 search results - page 31 / 252 » Modeling operator performance for error analysis |
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
Boundary detection in MR image with brain tumor is an important image processiug technique applied in Radiology for 3D reconstruction. The nonhomogeneities density tissue of the br...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...
WSC
1997
13 years 9 months ago
1997
This paper highlights a project performed by TASC for Armstrong Laboratories, Wright-Patterson AFB. This project describes a simulation tool to help wing-level planners at an Air ...
TMA
2010
Springer
14 years 2 months ago
2010
Springer
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...