Sciweavers

18090 search results - page 273 / 3618
» Computing by Only Observing
Sort
View
CIE
2005
Springer
16 years 2 days ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke
ICLP
2009
Springer
16 years 1 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
STOC
1994
ACM
134views Algorithms» more  STOC 1994»
15 years 10 months ago
A coding theorem for distributed computation
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
Sridhar Rajagopalan, Leonard J. Schulman
ITCC
2005
IEEE
16 years 3 days ago
Analyze Grid from the Perspective of a Computing System
This paper presents a service-based grid computing model which emphasizes that a grid is a special computing system. By comparing this model with the traditional computing system ...
Guoshun Hao, Shilong Ma, Haoming Guo, Xiaolong Wu,...
IJCNN
2008
IEEE
16 years 28 days ago
Band-pass Reservoir Computing
— Many applications of Reservoir Computing (and other signal processing techniques) have to deal with information processing of signals with multiple time-scales. Classical Reser...
Francis Wyffels, Benjamin Schrauwen, David Verstra...