8512 search results - page 1409 / 1703 » Computing Theory With Relevance |
200
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
– In Bayesian based approaches to mobile robot simultaneous localization and mapping, Rao-Blackwellized particle filters (RBPF) enable the efficient estimation of the posterior b...
199
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
170
click to vote
ACMICEC
2006
ACM
16 years 20 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
157
click to vote
CF
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, we present a nano-scale reconfigurable mesh that is interconnected with ferromagnetic spin-wave buses. The architecture described here, while requiring the same num...
171
click to vote
CSCW
2006
ACM
16 years 20 days ago
2006
ACM
The CSCW conference is celebrating its 20th birthday. This is a perfect time to analyze the coherence of the field, to examine whether it has a solid core or sub-communities, and ...