5216 search results - page 377 / 1044 » Planning as Model Checking |
193
click to vote
JAIR
2006
15 years 6 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
200
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
195
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
146
click to vote
ECIS
2004
15 years 7 months ago
2004
Strategy planning processes often suffer from a lack of conceptual models that can be used to represent business strategies in a structured and standardized form. If natural langu...
106
click to vote
BC
2000
15 years 6 months ago
2000
Abstract. The juxtaposition of hypokinetic and hyperkinetic symptoms in Parkinson's disease (PD) presents a challenge in modeling the basal ganglia. We propose a model of the ...