5216 search results - page 954 / 1044 » Planning as Model Checking |
130
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
118
click to vote
NCA
2007
IEEE
15 years 2 months ago
2007
IEEE
One of the key success factors behind the human species is the ability to think, plan and pursue goals. Apart from wisdom and tacit knowledge, experience and awareness of the phys...
126
click to vote
PE
2007
Springer
15 years 2 months ago
2007
Springer
This paper presents network traffic measurements from a campus-wide wireless LAN (WLAN), with the data collected using remote passive wireless-side measurement. We used commercia...
142
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
131
click to vote
IJAOSE
2010
15 years 1 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...