1912 search results - page 155 / 383 » On the evaluation of argumentation formalisms |
193
click to vote
ICTL
1994
15 years 10 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
178
click to vote
ISICT
2003
15 years 7 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
172
click to vote
IJMSO
2008
15 years 6 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
174
click to vote
IGPL
2010
15 years 5 months ago
2010
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
144
click to vote
MIAR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...