3019 search results - page 571 / 604 » Approximating the Domatic Number |
129
Voted
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
155
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper develops simple cost models for provisioning content distribution networks that use the simple and highly scalable bandwidth skimming protocol for streaming. New insight...
117
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
145
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— We consider the problem of determining the existence of known constant signals over a set of sites, given noisy measurements obtained by a team of active sensors that can switc...
131
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
Process scaling has given designers billions of transistors to work with. As feature sizes near the atomic scale, extensive variation and wearout inevitably make margining unecono...