5964 search results - page 931 / 1193 » A theory of speculative computation |
203
click to vote
IROS
2006
IEEE
16 years 23 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...
202
click to vote
LICS
2006
IEEE
16 years 23 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...
175
click to vote
ACMICEC
2006
ACM
16 years 22 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...
174
click to vote
ACMICEC
2006
ACM
16 years 22 days ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
157
click to vote
CF
2006
ACM
16 years 22 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...