Sciweavers

472 search results - page 11 / 95
» The Case for Informed Transport Protocols
Sort
View
ECCV
2010
Springer
14 years 25 days ago
Shape from Second-bounce of Light Transport
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...
TIT
2008
83views more  TIT 2008»
13 years 7 months ago
On the Large Deviations of Resequencing Queue Size: 2-M/M/1 Case
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
Ye Xia, David N. C. Tse
ICRA
2005
IEEE
139views Robotics» more  ICRA 2005»
14 years 1 months ago
Decentralized Collaborative Load Transport by Multiple Robots
Abstract— With the rapid progress of the robotic technology, it is becoming increasingly common to have multiple robots working together for material transport, cooperative assem...
Gustavo Montemayor, John T. Wen
PERCOM
2010
ACM
13 years 6 months ago
Architecture and protocols for the Internet of Things: A case study
—In this paper, we describe a practical realization of an Internet-of-Things (IoT) architecture at the University of Padova, Italy. Our network spans the floors of different bui...
Angelo Paolo Castellani, Nicola Bui, Paolo Casari,...
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
13 years 12 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...