16626 search results - page 351 / 3326 » Computing is a natural science |
154
click to vote
BMCV
2000
Springer
15 years 11 months ago
2000
Springer
While a great deal of experimental evidence supports the Reichardt correlator as a mechanism for biological motion detection, the correlator does not signal true image velocity. Th...
201
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
175
click to vote
JETAI
2008
15 years 6 months ago
2008
Are minds really dynamical or are they really symbolic? Because minds are bundles of computations, and because computation is always a matter of interpretation of one system by an...
195
click to vote
MSCS
2000
15 years 6 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
133
click to vote
COLING
1996
15 years 8 months ago
1996
This paper proposes a segmentation standard for Chinese natural language processing. The standard is proposed to achieve linguistic felicity, computational feasibility, and data u...