5015 search results - page 445 / 1003 » Model Checking a Path |
151
Voted
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
— Although packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Inter...
170
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper describes Atlas, a hybrid metrical/topological approach to SLAM that achieves efficient mapping of large-scale environments. The representation is a graph o...
189
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...
189
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a framework for the modeling of multipath routing in connectionless networks that dynamically adapt to network congestion. The basic routing protocol uses a short-term ...
180
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...