595 search results - page 74 / 119 » Predictive State Representations with State Space Partitioni... |
105
click to vote
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
170
click to vote
AB
2008
Springer
15 years 1 months ago
2008
Springer
In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstr...
100
click to vote
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
115
click to vote
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper addresses the problem of recognizing freeform 3D objects in point clouds. Compared to traditional approaches based on point descriptors, which depend on local informati...