Results 71 to 80 of about 20,355 (135)

A Categorical Model of General Consciousness. [PDF]

Biomimetics (Basel)
Zhang Y.
europepmc   +1 more source

The computational origin of representation. [PDF]

Minds Mach (Dordr), 2021
Piantadosi ST.
europepmc   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

On Polynomial Recursive Sequences. [PDF]

Theory Comput Syst
Cadilhac M, Mazowiecki F, Paperman C, Pilipczuk M, Sénizergues G.   +4 more
europepmc   +1 more source

Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations. [PDF]

SIAM J Discret Math, 2020
Mansour T, Rastegar R, Roitershtein A.
europepmc   +1 more source

The Future of Computational Linguistics: On Beyond Alchemy. [PDF]

Front Artif Intell, 2021
Church K, Liberman M.
europepmc   +1 more source

A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. [PDF]

Sensors (Basel)
Song J, Karagiannis D, Lee M.
europepmc   +1 more source