320 search results - page 51 / 64 » Constructing Invariants for Hybrid Systems |
165
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
The Baldwin Effect is a very plausible, but unproven, biological theory concerning the power of learning to accelerate evolution. Simple computational models in the 1980’s gave...
195
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
164
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
142
click to vote
AGI
2008
15 years 7 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
153
click to vote
NIPS
1996
15 years 7 months ago
1996
We propose a novelapproach to automaticallygrowing and pruning Hierarchical Mixtures of Experts. The constructive algorithm proposed here enables large hierarchies consisting of s...