Sciweavers

6102 search results - page 135 / 1221
» Generating Optimizing Specializers
Sort
View
ICCD
1994
IEEE
142views Hardware» more  ICCD 1994»
14 years 1 months ago
Grammar-Based Optimization of Synthesis Scenarios
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
Andreas Kuehlmann, Lukas P. P. P. van Ginneken
AAAI
2004
13 years 10 months ago
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
Vincent Vidal, Hector Geffner
MP
2006
123views more  MP 2006»
13 years 9 months ago
New interval methods for constrained global optimization
Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
Mihály Csaba Markót, J. Ferná...
MP
2006
107views more  MP 2006»
13 years 9 months ago
Optimality conditions in portfolio analysis with general deviation measures
Optimality conditions are derived for problems of minimizing a general measure of deviation of a random variable, with special attention to situations where the random variable cou...
R. Tyrrell Rockafellar, Stan Uryasev, Michael Zaba...
AUTOMATICA
2005
92views more  AUTOMATICA 2005»
13 years 9 months ago
Resolving actuator redundancy - optimal control vs. control allocation
This paper considers actuator redundancy management for a class of overactuated nonlinear systems. Two tools for distributing the control effort among a redundant set of actuators...
Ola Härkegård, Torkel Glad