Sciweavers

5164 search results - page 470 / 1033
» Consistency of the EKF-SLAM Algorithm
Sort
View
220
Voted
3DIM
2003
IEEE
15 years 10 months ago
Automatic Model Refinement for 3D Reconstruction with Mobile Robots
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
Andreas Nüchter, Hartmut Surmann, Joachim Her...
172
Voted
REX
1991
15 years 10 months ago
The Theory of Timed Automata
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
Rajeev Alur, David L. Dill
155
Voted
AIIA
2009
Springer
15 years 10 months ago
Towards Extensible Textual Entailment Engines: The EDITS Package
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
Matteo Negri, Milen Kouylekov, Bernardo Magnini, Y...
197
Voted
AAAI
2008
15 years 9 months ago
Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization
Matrix factorization algorithms are frequently used in the machine learning community to find low dimensional representations of data. We introduce a novel generative Bayesian pro...
Ian Porteous, Evgeniy Bart, Max Welling
CIKM
2008
Springer
15 years 8 months ago
Group-based learning: a boosting approach
This paper points out that many machine learning problems in IR should be and can be formalized in a novel way, referred to as `group-based learning'. In group-based learning...
Weijian Ni, Jun Xu, Hang Li, Yalou Huang