Sciweavers

127 search results - page 8 / 26
» Graph Based Representation of Dynamic Planning
Sort
View
CORR
2008
Springer
136views Education» more  CORR 2008»
13 years 7 months ago
Matrix Graph Grammars
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
Pedro Pablo Pérez Velasco
SAC
2002
ACM
13 years 7 months ago
Emergent situations in interactive storytelling
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
Marc Cavazza, Fred Charles, Steven J. Mead
TPHOL
2008
IEEE
14 years 1 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
ATAL
2009
Springer
14 years 2 months ago
Distributed planning and coordination in non-deterministic environments
We present a demonstration of a multi-agent prototype for distributed planning and coordination in dynamic non-deterministic multi-actor mixed-initiative environments. The system ...
Antonín Komenda, Jirí Vokríne...
AAAI
1996
13 years 9 months ago
Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations
: Partially-observable Markov decision processes provide a very general model for decision-theoretic planning problems, allowing the trade-offs between various courses of actions t...
Craig Boutilier, David Poole