2114 search results - page 313 / 423 » A model of cooperative threads |
IADIS
2003
13 years 10 months ago
2003
One of the main objectives in setting up wireless services is to provide feasible content for the mobile users wherever and whenever they might need it. The dream of having servic...
PDPTA
2003
13 years 10 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
NIPS
2000
13 years 10 months ago
2000
The problem of reinforcement learning in large factored Markov decision processes is explored. The Q-value of a state-action pair is approximated by the free energy of a product o...
AIPS
1994
13 years 10 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...