258 search results - page 37 / 52 » Loops: Relevant or Redundant |
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
PERVASIVE
2009
Springer
14 years 2 months ago
2009
Springer
Information sharing has undeniably become ubiquitous in the Internet age. The global village created on the Internet provides people with instant access to information and news on ...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—As the Internet steadily increases in importance, it is still based on a quite fragile routing design. From network operators perspective it is therefore crucial to detect end-t...
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper proposes a new tracking algorithm within a 3D-SLAM framework that takes segmented range images as observations. The framework has two layers: the local layer tracks ...