5216 search results - page 519 / 1044 » Planning as Model Checking |
182
click to vote
WCE
2007
15 years 8 months ago
2007
—A new approach to perform feasibility studies using business process models is proposed. The utilization of the improved Role Activity Diagram notations has led to the extractio...
191
click to vote
ICMLA
2009
15 years 4 months ago
2009
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
180
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
This paper addresses the evaluation of a fault-tolerant model for tactic operations of mobile robotic groups. The coordinated action of the group is planned with Genetic Algorithm...
174
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Vision is an important sensor used for mobile robot navigation. One approach to localization which is based on vision is to compute camera egomotion with respect to base images. W...
219
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A major challenge in the path of widespread use of mobile robots is the ability to function autonomously, learning useful features from the environment and using them to adapt ...