Sciweavers

1453 search results - page 239 / 291
» State and history in operating systems
Sort
View
113
Voted
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
15 years 5 months ago
Learning Biped Locomotion from First Principles on a Simulated Humanoid Robot Using Linear Genetic Programming
We describe the first instance of an approach for control programming of humanoid robots, based on evolution as the main adaptation mechanism. In an attempt to overcome some of th...
Krister Wolff, Peter Nordin
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
15 years 5 months ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian
94
Voted
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 5 months ago
Kinetic perturbations as robustness analysis tool for biochemical reaction networks
— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...
Steffen Waldherr, Frank Allgöwer, Elling W. J...
84
Voted
FMCAD
2006
Springer
15 years 4 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
104
Voted
AIPS
2007
15 years 2 months ago
A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...
Julie A. Shah, John Stedl, Brian C. Williams, Paul...