Sciweavers

13026 search results - page 2357 / 2606
» Probabilistic Relational Models
Sort
View
ATAL
2010
Springer
15 years 5 months ago
Point-based policy generation for decentralized POMDPs
Memory-bounded techniques have shown great promise in solving complex multi-agent planning problems modeled as DEC-POMDPs. Much of the performance gains can be attributed to pruni...
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 5 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
CEC
2010
IEEE
15 years 5 months ago
What is the relationship between behavioral robustness and distributed mechanisms of cognitive behavior?
There is a growing trend in the cognitive sciences to conceive of cognitive behavior as being distributed across brain, body and environment. However, the implications of such dist...
Jose A. Fernandez-Leon, Tom Froese
CSL
2010
Springer
15 years 5 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
CSL
2010
Springer
15 years 5 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
« Prev « First page 2357 / 2606 Last » Next »