Sciweavers

15421 search results - page 322 / 3085
» Dependability
Sort
View
FLAIRS
2008
15 years 9 months ago
Causal Reasoning with Contexts Using Dependent Types
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
Richard Dapoigny, Patrick Barlatier
HOTDEP
2008
122views Hardware» more  HOTDEP 2008»
15 years 9 months ago
Dependable Self-Hosting Distributed Systems Using Constraints
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Ro...
ASPDAC
2008
ACM
117views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Dependability, power, and performance trade-off on a multicore processor
- As deep submicron technologies are advanced, we face new challenges, such as power consumption and soft errors. A na
Toshinori Sato, Toshimasa Funaki
ATAL
2008
Springer
15 years 8 months ago
Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
Thomas Gabel, Martin A. Riedmiller