5084 search results - page 97 / 1017 » Proving Possibility Properties |
UAI
2003
13 years 11 months ago
2003
We analyze a new property of directed acyclic graphs (DAGs), called layerwidth, arising from a class of DAGs proposed by Eiter and Lukasiewicz. This class of DAGs permits certain ...
CALCO
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
AGTIVE
2003
Springer
14 years 3 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images (DTI). DTI can be estimated from a set of diffusion weighted images and...