Sciweavers

4083 search results - page 171 / 817
» The EvA2 Optimization Framework
Sort
View
PLDI
2000
ACM
15 years 9 months ago
Translation validation for an optimizing compiler
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
George C. Necula
AUTOMATICA
1999
84views more  AUTOMATICA 1999»
15 years 4 months ago
Optimizing the receiver maneuvers for bearings-only tracking
This paper deals with the optimization of the observer trajectory for target motion analysis. The observations are made of estimated bearings. The problem consists in determining ...
Jean-Pierre Le Cadre, S. Laurent-Michel
124
Voted
ICRA
2010
IEEE
117views Robotics» more  ICRA 2010»
15 years 3 months ago
Data-driven optimization for underactuated robotic hands
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...
Matei T. Ciocarlie, Peter K. Allen
137
Voted
ICRA
2010
IEEE
115views Robotics» more  ICRA 2010»
15 years 3 months ago
An optimization approach to rough terrain locomotion
— We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms t...
Matthew Zucker, James A. Bagnell, Christopher G. A...
152
Voted
SAC
2010
ACM
15 years 2 months ago
Optimal linear projections for enhancing desired data statistics
Problems involving high-dimensional data, such as pattern recognition, image analysis, and gene clustering, often require a preliminary step of dimension reduction before or durin...
Evgenia Rubinshtein, Anuj Srivastava