1982 search results - page 274 / 397 » Parametricity and dependent types |
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—We propose a new teletraffic model for the calculation of link occupancy distribution and determine the call blocking probabilities and link utilization in a single-link multi-r...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Existing methods for local area service discovery either don’t scale or rely on a trustworthy directory server; in some environments these restrictions are unacceptable or im...
77
Voted
ICCTA
2007
IEEE
15 years 4 months ago
2007
IEEE
The performance of any OCR system heavily depends upon printing quality of the input document. Many OCRs have been designed which correctly identify fine printed documents both in...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
In today’s fast paced world, it is necessary to process business documents expediently, accurately, and diligently. In other words, processing has to be fast, errors must be pre...
98
Voted
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider the problem of throughput-optimal cross-layer design of wireless networks. We propose a joint congestion control and scheduling algorithm that achieves a fraction d...