5216 search results - page 860 / 1044 » Planning as Model Checking |
177
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
A concept of regional technological cooperation is developed based on a cooperative game theoretic model, in which a plan of payoff distributions induces an agreement that is accep...
169
click to vote
JAIR
2000
15 years 6 months ago
2000
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
203
click to vote
ALIFE
1999
15 years 6 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
172
click to vote
RAS
1998
15 years 6 months ago
1998
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
163
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...