5638 search results - page 307 / 1128 » On presence |
182
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—As the Internet becomes the critical information infrastructure for both personal and business applications, fast and reliable routing protocols need to be designed to maintain ...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we present a new algorithm for the alignment of two 3D scans. The approach uses a region-based matching technique. We make no assumptions about the initial posit...
165
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— A catadioptric vision system combines a camera and a mirror to achieve a wide field of view imaging system. This type of vision system has many potential applications in mobil...
153
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
264
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a novel graph matching algorithm based on skeletons and applies it to shape recognition based on object silhouettes. The main idea is to match the critical poin...