Sciweavers

1350 search results - page 155 / 270
» Reasoning about Staged Computation
Sort
View
FAABS
2000
Springer
15 years 1 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
APCCM
2010
14 years 11 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
FECS
2006
127views Education» more  FECS 2006»
14 years 11 months ago
The Boy Crisis and the Technology Gender Gap: Laying a Framework for Success
- "They're kinetic, maddening, and failing at school." These words were used in a recent issue of Newsweek to describe the state of boys in school and the debated to...
Cynthia Lester
UAI
2004
14 years 11 months ago
Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters
Previous work on sensitivity analysis in Bayesian networks has focused on single parameters, where the goal is to understand the sensitivity of queries to single parameter changes...
Hei Chan, Adnan Darwiche
UAI
2004
14 years 11 months ago
Dynamic Programming for Structured Continuous Markov Decision Problems
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, R...