Sciweavers

17298 search results - page 267 / 3460
» Abstract computing machines
Sort
View
PTS
1993
91views Hardware» more  PTS 1993»
15 years 5 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann
NECO
2006
118views more  NECO 2006»
15 years 4 months ago
Consistency of Pseudolikelihood Estimation of Fully Visible Boltzmann Machines
Boltzmann machine is a classic model of neural computation, and a number of methods have been proposed for its estimation. Most methods are plagued by either very slow convergence...
Aapo Hyvärinen
ACL
2012
13 years 6 months ago
Private Access to Phrase Tables for Statistical Machine Translation
Some Statistical Machine Translation systems never see the light because the owner of the appropriate training data cannot release them, and the potential user of the system canno...
Nicola Cancedda
ENTCS
2011
131views more  ENTCS 2011»
14 years 11 months ago
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computationâ...
Ed Blakey

Book
796views
17 years 3 months ago
Introduction to Machine Learning
This is an introductory book about machine learning. Notice that this is a draft book. It may contain typos, mistakes, etc. The book covers the following topics: Boolean Functio...
Nils J. Nilsson