7129 search results - page 1143 / 1426 » Approximation Algorithms for Treewidth |
123
click to vote
IJRR
2006
15 years 3 months ago
2006
Abstract-- This paper describes an on-line algorithm for multirobot simultaneous localization and mapping (SLAM). We take as our starting point the single-robot Rao-Blackwellized p...
140
Voted
JFP
2008
15 years 3 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
152
Voted
JMLR
2008
15 years 3 months ago
2008
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...
154
click to vote
JCO
2006
15 years 3 months ago
2006
Power assignment for wireless ad hoc networks is to assign a power for each wireless node such that the induced communication graph has some required properties. Recently research ...
96
Voted
JEA
2006
15 years 3 months ago
2006
In this paper we show cache-friendly implementations of the Floyd-Warshall algorithm for the All-Pairs ShortestPath problem. We first compare the best commercial compiler optimiza...