5350 search results - page 821 / 1070 » Space and time in eco-ontologies |
197
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present a probabilistic framework for the reduction in the uncertainty of a moving robot pose during exploration by using a second robot to assist. A Monte Carlo ...
136
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
161
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
176
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Fine-grained parallel applications require all their processes to run simultaneously on distinct processors to achieve good efficiency. This is typically accomplished by space sl...
186
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...