Sciweavers

1449 search results - page 218 / 290
» Self-Randomized Exponentiation Algorithms
Sort
View
IEEEICCI
2006
IEEE
16 years 6 days ago
Evolved Patterns of Connectivity in Associative Memory Models
This paper investigates possible connection strategies in sparsely connected associative memory models. This is interesting because real neural networks must have both efficient p...
Rod Adams, Lee Calcraft, Neil Davey
ISNN
2005
Springer
15 years 11 months ago
A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
Zihong Liu, Zhihua Wang, Guolin Li, Zhiping Yu
SAT
2005
Springer
123views Hardware» more  SAT 2005»
15 years 11 months ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz
GECCO
2004
Springer
15 years 11 months ago
Inducing Sequentiality Using Grammatical Genetic Codes
Abstract. This paper studies the inducement of sequentiality in genetic algorithms (GAs) for uniformly-scaled problems. Sequentiality is a phenomenon in which sub-solutions converg...
Kei Ohnishi, Kumara Sastry, Ying-Ping Chen, David ...
ISAAC
2004
Springer
87views Algorithms» more  ISAAC 2004»
15 years 11 months ago
Random Access to Advice Strings and Collapsing Results
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...
Jin-yi Cai, Osamu Watanabe