812 search results - page 41 / 163 » A Complete Guide to the Future |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we present a dynamic data structure, useful for robot navigation in an unknown, simplyconnected planar environment. The guiding philosophy in this work is to avoid t...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
SAINT
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents the "auto-transition" concept which tries to ensure that any network device can obtain IPv6 connectivity at any time and whatever network is attached...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
As a promising technology that enables ubiquitous computing and leads IT industries of next generation, sensor networks (SN) are foreseen to expand and populate the globe in such a...
ARC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...