Sciweavers

284 search results - page 3 / 57
» Modularity of Completeness Revisited
Sort
View
154
Voted
ICCS
2001
Springer
15 years 10 months ago
GEA: A Complete, Modular System for Generating Evaluative Arguments
This paper presents a system for generating user tailored evaluative arguments, known as the Generator of Evaluative Arguments (GEA). GEA design is based on a pipelined architectur...
Giuseppe Carenini
JSC
2010
53views more  JSC 2010»
15 years 4 months ago
Combination of convex theories: Modularity, deduction completeness, and explanation
Duc-Khanh Tran, Christophe Ringeissen, Silvio Rani...
CORR
2007
Springer
115views Education» more  CORR 2007»
15 years 5 months ago
Q-adic Transform revisited
We present an algorithm to perform a simultaneous modular reduction of several residues. This enables to compress polynomials into integers and perform several modular operations ...
Jean-Guillaume Dumas
EUROCAST
1997
Springer
85views Hardware» more  EUROCAST 1997»
15 years 9 months ago
Turing Universality of Neural Nets (Revisited)
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
João Pedro Guerreiro Neto, Hava T. Siegelma...
INDOCRYPT
2005
Springer
15 years 11 months ago
Completion Attacks and Weak Keys of Oleshchuk's Public Key Cryptosystem
This paper revisits a public key cryptosystem which is based on finite string-rewriting systems. We consider a new approach for cryptanalysis of such proposals—the so-called com...
Heiko Stamer