1982 search results - page 268 / 397 » Parametricity and dependent types |
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— To perform successful manipulation, robots depend on information about objects in their environment. In unstructured environments, such information cannot be given to t...
82
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present a new approach for labeling 3D points with different geometric surface primitives using a novel feature descriptor – the Fast Point Feature Histogram...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
88
Voted
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we consider multi-objective evolutionary algorithms for the Vertex Cover problem in the context of parameterized complexity. We relate the runtime of our algorithms...