Sciweavers

87 search results - page 5 / 18
» Elements of Argumentation
Sort
View
ICAIL
2011
ACM
14 years 8 days ago
Argument schemes for two-phase democratic deliberation
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
Trevor J. M. Bench-Capon, Henry Prakken, Wietske V...
95
Voted
LREC
2010
186views Education» more  LREC 2010»
15 years 2 months ago
Bank of Russian Constructions and Valencies
The Bank of Russian Constructions and Valencies (Russian FrameBank) is an annotation project that takes as input samples from the Russian National Corpus (http://www.ruscorpora.ru...
Olga Lyashevskaya
84
Voted
COCO
1989
Springer
110views Algorithms» more  COCO 1989»
15 years 4 months ago
The Complexity of Iterated Multiplication
For a monoid G, the iterated multiplication problem is the computation of the product of n elements from G. By re ning known completeness arguments, we show that as G varies over ...
Neil Immerman, Susan Landau
93
Voted
RE
2008
Springer
15 years 4 days ago
Clear justification of modeling decisions for goal-oriented requirements engineering
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
Ivan Jureta, Stéphane Faulkner, Pierre-Yves...
86
Voted
IPL
2007
100views more  IPL 2007»
15 years 17 days ago
Average-case analysis of QuickSort and Binary Insertion Tree height using incompressibility
We study the Kolmogorov complexity of a Binary Insertion Tree, and present a succinct encoding scheme for Binary Insertion Trees produced from incompressible permutations. Based o...
Brendan Lucier, Tao Jiang, Ming Li