3446 search results - page 225 / 690 » A Reasoning Algorithm for pD* |
144
Voted
ICML
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper describes an algorithm for generating compact 3D models of indoor environments with mobile robots. Our algorithm employs the expectation maximization algorithm to fit a...
188
Voted
TACAS
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
149
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A well-known theoretical result for motion estimation using the generalized camera model is that 17 corresponding image rays can be used to solve linearly for the motion of a gene...
137
Voted
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
- This paper presents a unique approach for a model-based admission control algorithm for the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) standard. The analytical model...
178
Voted
ILP
2007
Springer
15 years 11 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...