Sciweavers

1984 search results - page 126 / 397
» Variable mesh optimization for continuous optimization probl...
Sort
View
DAC
1994
ACM
15 years 9 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
SIAMJO
2002
133views more  SIAMJO 2002»
15 years 4 months ago
SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization
Abstract. Sequential quadratic programming (SQP) methods have proved highly effective for solving constrained optimization problems with smooth nonlinear functions in the objective...
Philip E. Gill, Walter Murray, Michael A. Saunders
ICECCS
2009
IEEE
119views Hardware» more  ICECCS 2009»
15 years 11 months ago
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
15 years 10 months ago
Behavior of finite population variable length genetic algorithms under random selection
In this work we provide empirical evidence that shows how a variable-length genetic algorithm (GA) can naturally evolve shorter average size populations. This reduction in chromos...
Hal Stringer, Annie S. Wu
CVPR
2007
IEEE
16 years 7 months ago
Progressive Finite Newton Approach To Real-time Nonrigid Surface Detection
Detecting nonrigid surfaces is an interesting research problem for computer vision and image analysis. One important challenge of nonrigid surface detection is how to register a n...
Jianke Zhu, Michael R. Lyu