13383 search results - page 2382 / 2677 » Abstractions from proofs |
140
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present the Binocular Sparse Feature Segmentation (BSFS) algorithm for vision-based person following with a mobile robot. BSFS uses Lucas-Kanade feature detection an...
150
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper revisits burst contention resolution problems in optical burst switching (OBS) networks from the viewpoint of network utility maximization. Burst collision o...
129
click to vote
ASIACRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Whereas encryption schemes withstanding passive chosenplaintext attacks (CPA) can be constructed based on a variety of computational assumptions, only a few assumptions a...
155
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
134
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...