Sciweavers

682 search results - page 17 / 137
» Classifying arguments by scheme
Sort
View
AAAI
2007
15 years 1 days ago
Action-Based Alternating Transition Systems for Arguments about Action
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
Katie Atkinson, Trevor J. M. Bench-Capon
COCO
2007
Springer
111views Algorithms» more  COCO 2007»
15 years 1 months ago
Efficient Arguments without Short PCPs
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky
ICCS
2007
Springer
14 years 11 months ago
Hypermedia Discourse: Contesting Networks of Ideas and Arguments
This invited contribution motivates the Hypermedia Discourse research programme, investigating the reading, writing and contesting of ideas as hypermedia networks grounded in disco...
Simon Buckingham Shum
CTRSA
2009
Springer
158views Cryptology» more  CTRSA 2009»
15 years 4 months ago
Square, a New Multivariate Encryption Scheme
We propose and analyze a multivariate encryption scheme that uses odd characteristic and an embedding in its construction. This system has a very simple core map F(X) = X2 , allowi...
Crystal Clough, John Baena, Jintai Ding, Bo-Yin Ya...
CORR
2010
Springer
75views Education» more  CORR 2010»
14 years 9 months ago
An Optimal Family of Exponentially Accurate One-Bit Sigma-Delta Quantization Schemes
Sigma-Delta modulation is a popular method for analog-to-digital conversion of bandlimited signals that employs coarse quantization coupled with oversampling. The standard mathema...
Percy Deift, C. Sinan Güntürk, Felix Kra...