5015 search results - page 684 / 1003 » Model Checking a Path |
208
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Quick and efficient response to emergency is important for every city. This depends on the quality of the dispatch of emergency service to the scene and back to hospital or other ...
162
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper reports on an outdoor mobile robot that learns to avoid collisions by observing a human driver operate a vehicle equipped with sensors that continuously produce a ma...
214
click to vote
MINENET
2006
ACM
16 years 20 days ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
127
click to vote
ICPADS
2005
IEEE
16 years 9 days ago
2005
IEEE
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
157
click to vote
INFOCOM
2005
IEEE
16 years 9 days ago
2005
IEEE
—The communication model typically assumed in wireless ad-hoc networks is based on a traditional “pipelined relay” (PR) strategy. In PR, an end-to-end flow has multiple outs...