ticlopidine 发表于 2025-3-28 17:34:17

Symbol Grounding in Connectionist and Adaptive Agent Models, characterized by the hypothesis that symbols are directly grounded into the agents’ own categorical representations, whilst at the same time having syntactic relationships with other symbols. The mechanism of grounding transfer is also introduced. This is the process by which the grounding of basic

兴奋过度 发表于 2025-3-28 21:49:23

http://reply.papertrans.cn/67/6650/664926/664926_42.png

口诀 发表于 2025-3-29 01:48:01

A Logical Approach to Abstract Algebra,ot only elementary but also mathematically simpler. We present an example where the simplification was significant enough to suggest an improved version of a classical theorem. For this we use a general method to transform some logically complex first-order formulae in a geometrical form which may b

commute 发表于 2025-3-29 06:04:50

Schnorr Dimension,) of randomness. In contrast to computable randomness and Schnorr randomness, the dimension concepts defined via computable martingales and Schnorr tests coincide. Furthermore, we give a machine characterization of Schnorr dimension, based on prefix free machines whose domain has computable measure.

泛滥 发表于 2025-3-29 09:51:11

http://reply.papertrans.cn/67/6650/664926/664926_45.png

CRP743 发表于 2025-3-29 11:53:05

Computability in Computational Geometry,putability for real numbers and real functions. In object directed computability, a geometric object is computable if it is the effective limit of a sequence of finitary objects of the same type as the original object, thus allowing a quantitative measure for the approximation. The domain-theoretic

GRUEL 发表于 2025-3-29 18:23:11

http://reply.papertrans.cn/67/6650/664926/664926_47.png

Integrate 发表于 2025-3-29 20:40:55

http://reply.papertrans.cn/67/6650/664926/664926_48.png

Canyon 发表于 2025-3-30 01:14:49

http://reply.papertrans.cn/67/6650/664926/664926_49.png

overwrought 发表于 2025-3-30 05:11:49

http://reply.papertrans.cn/67/6650/664926/664926_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: New Computational Paradigms; First Conference on S. Barry Cooper,Benedikt Löwe,Leen Torenvliet Conference proceedings 2005 Springer-Verlag