940 search results - page 33 / 188 » Local rely-guarantee reasoning |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The problem of multiple sequence alignment is one of the most important problems in computational biology. In this paper we present a new method that simultaneously performs multi...
CP
2005
Springer
14 years 3 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a reinforcement learning algorithm used to allocate tasks to agents in an uncertain real-time environment. In such environment, tasks have to be analyzed and a...
GIS
2010
ACM
13 years 8 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...