1187 search results - page 89 / 238 » Computation in Extended Argumentation Frameworks |
136
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
POLICY
2007
Springer
15 years 7 months ago
2007
Springer
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...
114
click to vote
POLICY
2004
Springer
15 years 6 months ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
114
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Weighted graph regularization provides a rich framework that allows to regularize functions defined over the vertices of a weighted graph. Until now, such a framework has been only...
126
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Sparse signal models have been the focus of much recent research, leading to (or improving upon) state-of-the-art results in signal, image, and video restoration. This article ext...