448 search results - page 64 / 90 » Abstraction in Predictive State Representations |
IDEAL
2010
Springer
14 years 8 months ago
2010
Springer
Automated Planning is a very active area of research within Artificial Intelligence. Broadly this discipline deals with the methods by which an agent can independently determine t...
FORTE
2009
14 years 7 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
ICB
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
MMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
SAFECOMP
2004
Springer
15 years 3 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...