Sciweavers

1094 search results - page 153 / 219
» On Computing Explanations in Argumentation
Sort
View
KER
2006
158views more  KER 2006»
13 years 10 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
IJIS
2007
94views more  IJIS 2007»
13 years 10 months ago
The eightfold way of deliberation dialogue
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
Peter McBurney, David Hitchcock, Simon Parsons
TCS
2008
13 years 10 months ago
Motif patterns in 2D
Motif patterns consisting of sequences of intermixed solid and don't care characters have been introduced and studied in connection with pattern discovery problems of computa...
Alberto Apostolico, Laxmi Parida, Simona E. Rombo
JCT
2007
117views more  JCT 2007»
13 years 10 months ago
Large independent sets in regular graphs of large girth
Let G be a d-regular graph with girth g, and let α be the independence number of G. We show that α(G) ≥ 1 2 1 − (d − 1)−2/(d−2) − (g) n where (g) → 0 as g → ∞,...
Joseph Lauer, Nicholas C. Wormald
TWC
2008
99views more  TWC 2008»
13 years 10 months ago
MAP-Based Code-Aided Hypothesis Testing
This contribution deals with code-aided hypothesis testing for wireless digital receivers. We provide a theoretical justification for a hypothesis testing algorithm that was previo...
Cédric Herzet, Henk Wymeersch, Frederik Sim...