5216 search results - page 866 / 1044 » Planning as Model Checking |
158
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
148
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Convoy driving on public highways is a useful phenomena which increases the safety and the throughput of the highway. We present an approach through which a wireless Convoy Dri...
160
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
119
Voted
IAT
2003
IEEE
15 years 9 months ago
2003
IEEE
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
140
click to vote
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...