86 search results - page 3 / 18 » And Then There Were None |
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— This paper addresses the problem of efficiently computing robot navigation functions. Navigation functions are potential functions free of spurious local minima that present a...
FTDCS
2004
IEEE
14 years 1 months ago
2004
IEEE
DHTs can locate objects in a peer-to-peer network within an efficient amount of overlay hops. Since an overlay hop is likely to consist of multiple physical hops, the ratio betwee...
Publication
In the Bayesian approach to sequential decision making, exact calculation of the (subjective) utility is intractable. This extends to most special cases of interest, such as reinfo...
SAINT
2003
IEEE
14 years 3 months ago
2003
IEEE
Route flap is an undesirable phenomenon in the Internet and needs to be eliminated for more stable and robust networks. In this paper we present our observations of such persiste...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...