15885 search results - page 2397 / 3177 » Strategic Software Engineering |
257
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...
281
click to vote
AROBOTS
2011
15 years 2 months ago
2011
— Database of human motion has been widely used for recognizing human motion and synthesizing humanoid motions. In this paper, we propose a data structure for storing and extract...
326
click to vote
AROBOTS
2011
15 years 2 months ago
2011
— To effectively navigate in their environments and accurately reach their target locations, mobile robots require a globally consistent map of the environment. The problem of le...
254
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
171
click to vote
CCE
2011
15 years 2 months ago
2011
As an alternative to the pressure swing adsorption (PSA) based on the Skarstrom cycle or its variants, a novel two-bed PSA--called duplex PSA--has been proposed by Hirose and inde...