9067 search results - page 1544 / 1814 » Adaptive Model Checking |
182
click to vote
EPS
1998
Springer
15 years 11 months ago
1998
Springer
: Simulations of the evolution of populations of diploid organisms showed that mate selection strategies which selected for "good genes" and strategies based on assortati...
186
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
172
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Co-ordination is the glue that binds the activities of autonomous problem-solving agents together into a functional whole. Co-ordination mechanisms for distributed problem-solving ...
171
click to vote
ISCA
1993
IEEE
15 years 11 months ago
1993
IEEE
Recent attention to speculative execution as a mechanism for increasing performance of single instruction streams has demanded substantially better branch prediction than what has...
183
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
The Self-Mobile Space Manipulator (SM2) has evolved to adapt to the new pre-integrated I-beam structure of the Space Station Freedom (SSF). In this paper, we first briefly overvie...