Titlebook: New Computational Paradigms; First Conference on S. Barry Cooper,Benedikt Löwe,Leen Torenvliet Conference proceedings 2005 Springer-Verlag

alleviate

Symbol Grounding in Connectionist and Adaptive Agent Models, words, acquired via direct sensorimotor experience, is transferred to higher-order words via linguistic descriptions. Various simulations are briefly reviewed to demonstrate the use of the Cognitive Symbol Grounding approach.

defile

Schnorr Dimension, Finally, we show that there exist computably enumerable sets which are Schnorr irregular: while every c.e. set has Schnorr Hausdorff dimension 0 there are c.e. sets of Schnorr packing dimension 1, a property impossible in the case of effective (constructive) dimension, due to Barzdin’s Theorem.

窃喜

,: A Language for Sequential Real Number Computation,hat there is not much one can get by sequential computation in the interval domain model. In [4,5] we reinforced this result by exposing the limited power of (some extensions of) the sequential fragment of Real-PCF.

较早

人类

Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees,ovay reducibility. It also occurs naturally in proofs in classical computability theory as well as in the recent work of Soare, Nabutovsky and Weinberger on applications of computability to differential geometry. Yu and Ding showed that the relevant degree structure restricted to the c.e. reals has

MAUVE

无能性

A Thread Algebra with Multi-level Strategic Interleaving,lausible interleaving strategies on thread vectors. The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic

使饥饿

保守

How to Compare the Power of Computational Models, operating over arbitrary domains. We propose a conceptual framework for comparison, by linking computational models to hypothetical physical devices. Accordingly, we deduce a mathematical notion of relative computational power, allowing the comparison of arbitrary models over arbitrary domains. In

Heresy

Quantum Computing,gic, number theory, combinatorics, algebra, and computational biology lack a fast or feasible algorithmic solution. The best known algorithms for these problems are horrendously slow. One of the central open problems in computer science is the question of whether this slowness is inherent in these p