Sciweavers

3378 search results - page 144 / 676
» A universe of binding and computation
Sort
View
NC
2011
219views Neural Networks» more  NC 2011»
14 years 25 days ago
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
In this paper we consider three variants of accepting networks of evolutionary processors. It is known that two of them are equivalent to Turing machines. We propose here a direct ...
Paolo Bottoni, Anna Labella, Florin Manea, Victor ...
ALT
2005
Springer
15 years 7 months ago
Monotone Conditional Complexity Bounds on Future Prediction Errors
We bound the future loss when predicting any (computably) stochastic sequence online. Solomonoff finitely bounded the total deviation of his universal predictor M from the true ...
Alexey V. Chernov, Marcus Hutter
TLDI
2009
ACM
100views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Typed transformations of typed abstract syntax
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
Arthur I. Baars, S. Doaitse Swierstra, Marcos Vier...
ACII
2005
Springer
15 years 3 months ago
The Effect of Mood on Self-paced Study Time
The present study investigated the effect of mood on self-paced study time. Twenty-eight university students voluntarily participated in the experiment. Half of them listened to po...
Yong Niu, Xiaolan Fu
CANDC
2007
ACM
15 years 2 months ago
Propagating collaboration: an instructional methodology for artists and engineers
This paper reports on a transdisciplinary undergraduate university course designed to bring together fine art/visual communication design and computer science students for the cre...
Elif E. Ayiter, Selim Balcisoy, Murat Germen, Selc...