13383 search results - page 2357 / 2677 » Abstractions from proofs |
135
click to vote
AMI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. High average intensity of traffic and problems like traffic congestions, road safety, etc. are challenging problems striking highway operators in these days. With the bro...
136
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
166
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The collaborative creation of value is the central tenet of services science. In particular, then, the quality of a service encounter would depend on the mutual expectati...
130
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—The main task in analyzing a switching network design (including circuit-, multirate-, and photonic-switching) is to determine the minimum number of some switching compo...
153
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...