416 search results - page 53 / 84 » Audiences in argumentation frameworks |
117
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
In this paper, we propose a set of human perceptual cues used jointly to automatically detect image orientation. The cues used are: orientation of faces, position of the sky, brig...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
100
click to vote
CIAC
1997
Springer
15 years 4 months ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
109
click to vote
AMSTERDAM
2009
14 years 9 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...