13383 search results - page 367 / 2677 » Abstractions from proofs |
234
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— As the Internet becomes the critical information infrastructure for both personal and business applications, survivable routing protocols need to be designed that maint...
160
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The problem of estimating the positions of landmarks using a mobile robot equipped with a camera has intensively been studied in the past. In this paper, we consider a ...
207
click to vote
INFOCOM
2007
IEEE
2007
IEEE
To Repair or Not To Repair: Helping Ad-hoc Routing Protocols to Distinguish Mobility from Congestion
16 years 1 months ago
Abstract—In this paper we consider the problem of distinguishing whether frame loss at the MAC layer has occurred due to mobility or congestion. Most ad hoc routing protocols mak...
173
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...
165
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a novel and efficient feature-point matching algorithm for finding point correspondences between two uncalibrated images. The striking feature of th...