292 search results - page 36 / 59 » Model-checking agent refinement |
AOSE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
71
Voted
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
73
Voted
AIME
2001
Springer
15 years 2 months ago
2001
Springer
To cope with the difficulty of MRI brain scans automatic segmentation, we need to constrain and control the selection and the adjustment of processing tools depending on the local ...
74
Voted
DALT
2006
Springer
15 years 1 months ago
2006
Springer
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
ICMAS
1998
14 years 11 months ago
1998
Multi-machine scheduling, that is, the assigment of jobs to machines such that certain performance demands like cost and time effectiveness are fulfilled, is a ubiquitous and comp...