Sciweavers

17298 search results - page 258 / 3460
» Abstract computing machines
Sort
View
173
Voted
ESOP
2011
Springer
14 years 7 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
MOC
1998
104views more  MOC 1998»
15 years 3 months ago
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
Konstantin Mischaikow, Marian Mrozek
CIE
2005
Springer
15 years 9 months ago
Complexity of Continuous Space Machine Operations
We investigate the computational complexity of an optical model of computation called the continuous space machine (CSM). We characterise worst case resource growth over time for e...
Damien Woods, J. Paul Gibson
144
Voted
FPL
1994
Springer
435views Hardware» more  FPL 1994»
15 years 8 months ago
Data-Procedural Languages for FPL-based Machines
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
Andreas Ast, Jürgen Becker, Reiner W. Hartens...
IJCNN
2007
IEEE
15 years 10 months ago
Compact hardware for real-time speech recognition using a Liquid State Machine
Abstract— Hardware implementations of Spiking Neural Networks are numerous because they are well suited for implementation in digital and analog hardware, and outperform classic ...
Benjamin Schrauwen, Michiel D'Haene, David Verstra...