Sciweavers

284 search results - page 3 / 57
» Modularity of Completeness Revisited
Sort
View
ICCS
2001
Springer
14 years 2 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»
13 years 8 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»
13 years 9 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»
14 years 1 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
14 years 3 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