401 search results - page 14 / 81 » Random Early Marking |
ICNP
2000
IEEE
14 years 2 months ago
2000
IEEE
The majority of the traffic (bytes) flowing over the Internet today have been attributed to the Transmission Control Protocol (TCP). This strong presence of TCP has recently spu...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
One of the most exciting advances in early vision has been the development of efficient energy minimization algorithms. Many early vision tasks require labeling each pixel with som...
ISSRE
2002
IEEE
14 years 2 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Source Code
This is the sample implementation of a Markov random field based image segmentation algorithm described in the following papers:
1. Mark Berthod, Zoltan Kato, Shan Yu, and Josi...