11949 search results - page 188 / 2390 » Some results on (a:b)-choosability |
SPIRE
2001
Springer
15 years 5 months ago
2001
Springer
We constructively prove the exact distribution of deletion sizes for unavoidable strings, under the reductive decidability method of Zimin and Bean et al. Bounds such as these on ...
111
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
— Mercator is a program that uses hop-limited probes—the same primitive used in traceroute—to infer an Internet map. It uses informed random address probing to carefully expl...
DAC
1999
ACM
15 years 5 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
118
click to vote
INFOCOM
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose some improvements of TCP Vegas and compare its performance characteristics in comparison with TCP Reno. We demonstrate through analysis that TCP Vegas, with its better ...
101
click to vote
ICRA
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents further developments of the earlier Vector Field Histogram (VFH) method for realtime mobile robot obstacle avoidance. The enhanced method, called VFH+, offers ...