354 search results - page 39 / 71 » On Obligations |
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We present a probabilistic model for clustering of objects represented via pairwise dissimilarities. We propose that even if an underlying vectorial representation exists, it is b...
ENTCS
2008
13 years 10 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
CMOT
2006
13 years 10 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
JLP
2008
13 years 9 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
IJWBC
2007
13 years 9 months ago
2007
: Adolescent cancer patients have to deal with many dependencies and obligations. Very often they are torn out of their social environment and become isolated because of changing t...