35 search results - page 6 / 7 » Towards a Model-Checker for Counter Systems |
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...
TON
2008
13 years 5 months ago
2008
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc netw...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract: A Mobile Adhoc Network (manet) is a cooperative engagement of a collection of mobile nodes without any centralized access point. The underlying concept of coordination am...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
In concurrent cooperative multiagent learning, each agent simultaneously learns to improve the overall performance of the team, with no direct control over the actions chosen by i...
LREC
2010
13 years 7 months ago
2010
Grammars play an important role in many Natural Language Processing (NLP) applications. The traditional approach to creating grammars manually, besides being labor-intensive, has ...