Sciweavers

3025 search results - page 333 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
PLDI
2003
ACM
15 years 9 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...
CPHYSICS
2007
222views more  CPHYSICS 2007»
15 years 3 months ago
JADAMILU: a software code for computing selected eigenvalues of large sparse symmetric matrices
A new software code for computing selected eigenvalues and associated eigenvectors of a real symmetric matrix is described. The eigenvalues are either the smallest or those closes...
Matthias Bollhöfer, Yvan Notay
KI
2008
Springer
15 years 3 months ago
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
Christoph Mies, Alexander Ferrein, Gerhard Lakemey...
99
Voted
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 1 months ago
Recursive Definitions of Monadic Functions
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
Alexander Krauss
KBSE
2005
IEEE
15 years 9 months ago
Bamboo: an architecture modeling and code generation framework for configuration management systems
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
Guozheng Ge, E. James Whitehead Jr.