2555 search results - page 70 / 511 » Quantifiers and Working Memory |
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
A new method of structural graph matching is introduced and compared against an existing method and against the maximum common subgraph. The method is approximate with polynomial ...
ICNSC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper studies the problem of understanding noisy and structurally deformed two-dimensional images by means of abstractly defined neural works. First, in the framework of sy...
IEEEICCI
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper investigates possible connection strategies in sparsely connected associative memory models. This is interesting because real neural networks must have both efficient p...
AUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents a comparative study between a state-ofthe-art clause weighting local search method for satisfiability testing and a variant modified to obtain longe...
CC
2004
Springer
15 years 3 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...