1912 search results - page 156 / 383 » GOAL as a Planning Formalism |
184
click to vote
AAI
2005
15 years 6 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
173
click to vote
ICECCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
186
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Bayesian networks are formal graphical languages for representation and communication of decision scenarios requiring reasoning under uncertainty. We will analyze Bayesian network...
152
click to vote
JUCS
2008
15 years 6 months ago
2008
Shared-workspace groupware has not become common in the workplace, despite many positive results from the research lab. One reason for this lack of success is that most shared work...
163
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We introduce an adversarial planning algorithm based on game tree search, which is applicable in large-scale multiplayer domains. In order to tackle the scalability issues of game...