4099 search results - page 247 / 820 » A Framework for Interactive Proof |
222
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
194
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
: Business Conversation Manager: Facilitating People Interactions in Outsourcing Service Engagements Hamid R. Motahari-Nezhad, Sven Graupner, Sharad Singhal HP Laboratories HPL...
137
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
196
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...