1532 search results - page 96 / 307 » The Symbol Grounding Problem |
128
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
134
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
160
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A number of measures have been proposed for the direction of the coupling between two time series, and transfer entropy (TE) has been found in recent studies to perform consistentl...
111
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...