2638 search results - page 85 / 528 » A Framework for Automatic Debugging |
132
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
106
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
120
click to vote
ICRA
2010
IEEE
15 years 21 hour ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
108
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
115
click to vote
INFORMATICALT
2008
15 years 1 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...