5170 search results - page 315 / 1034 » Consistency of the FastSLAM Algorithm |
112
click to vote
DSRT
2004
IEEE
15 years 6 months ago
2004
IEEE
As Distributed Interactive Applications (DIAs) become increasingly more prominent in the video game industry they must scale to accommodate progressively more users and maintain a...
133
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...
110
click to vote
PKDD
2010
Springer
15 years 12 days ago
2010
Springer
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
107
Voted
SENSYS
2010
ACM
15 years 11 days ago
2010
ACM
Localization is a fundamental issue of wireless sensor networks that has been extensively studied in the literature. The real-world experience from GreenOrbs, a sensor network sys...
116
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...