3718 search results - page 497 / 744 » Programming by Integration in Robotics |
248
click to vote
AROBOTS
2011
15 years 2 months ago
2011
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
203
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated p...
296
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
240
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
207
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...