5216 search results - page 619 / 1044 » Planning as Model Checking |
207
click to vote
AAI
2010
15 years 6 months ago
2010
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
214
click to vote
NPL
2007
15 years 6 months ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
216
click to vote
TSMC
2011
15 years 1 months ago
2011
—Based on concepts of ecology modeling and specifi-4 cally on population biology, a methodology for describing a high-5 technology market’s dynamics is developed and presented...
161
click to vote
BDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...
186
click to vote
GECCO
2003
Springer
16 years 3 hour ago
2003
Springer
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...