Buscar
Mostrando ítems 1-10 de 3989
Distilling abstract machines
(Association for Computing Machinery, 2014-09)
It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution ...
What’s the name of the game? Formal Specification of Artificial Intelligence Games
(Electronic Notes in Theoretical Computer Science, 2018)
What's the name of the game? Formal specification of artificial intelligence games
(Electronic Notes in Theoretical Computer Science, 2019)
The electric golem: Updating The myth in ian McEwans Machines Like Me
(Universidad de Costa Rica, 2022)
Control of an electric traction system by means of cascade scheme regulation and machine vector control
(Escuela Politécnica Nacional, 2017)
Speeding-up reinforcement learning through abstraction and transfer learning
(Saint Paul, Minnesota, 2013-05-10)
We are interested in the following general question: is it pos-
sible to abstract knowledge that is generated while learning
the solution of a problem, so that this abstraction can ac-
celerate the learning process? ...