2136 search results - page 322 / 428 » Learning Behavior Models for Hybrid Timed Systems |
169
click to vote
AROBOTS
2007
15 years 4 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
122
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
140
click to vote
IUI
2009
ACM
16 years 29 days ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...
131
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
161
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...