1126 search results - page 135 / 226 » Modularity and the Rule of Adaptation |
165
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
146
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Temporally-asymmetric Hebbian learning is a class of algorithms motivated by data from recent neurophysiology experiments. While traditional Hebbian learning rules use mean firin...
155
click to vote
ECAL
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
153
click to vote
TYPES
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
163
click to vote
TABLEAUX
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...