Performance of maximum-likelihood (ML) decoding on the binary erasure channel for finite length LDPC codes from two random ensembles is studied. The theoretical average spectrum of the Gallager ensemble is computed by using a recurrent procedure and compared to the empirically found average spectrum for the same ensemble as well as to the empirical average spectrum of the Richardson-Urbanke ens...

a pot experiment in randomized complete blocks design (rcbd) with six treatments in four replications was conducted to study the effect of water stress on morphological characteristics and essential oil content of improved basil (ocimum basilicum c.v. keshkeni luvelou). the irrigation treatments for induction of water stress were: a: (125 ml/ 12 h), b: (250 ml/ 24 h), c: (250 ml/ 48 h), d: (500...

This paper presents several industrial applications of ML in the context of their effort to solve the "KAML problem", i.e., the problem of merging knowledge acquisition and machine learning techniques. Case-based reasoning is a possible alternative to the problem of acquiring highly compiled expert knowledge, but it raises also many new problems that must be solved before really efficient imple...

– Briefly we’ll show in Theorem 1.2 (sketched last time) that the representation question is essential — sometimes, by choosing the wrong function class, you can get a bad error, even though there are simple predictors that get 0 error. – Continuous fit I: box approximations; namely, we’ll show that a variety of functions can approximate continuous functions by showing they approximate piecewis...

In this paper we present a new method for machine learning-based optimization of linguist-written Constraint Grammars. The effect of rule ordering/sorting, grammarsectioning and systematic rule changes is discussed and quantitatively evaluated. The F-score improvement was 0.41 percentage points for a mature (Danish) tagging grammar, and 1.36 percentage points for a half-size grammar, translatin...

Is there a type system for core-ML that, using exactly the same syntax of types of the Damas-Milner system, types exactly the same terms of this system, and has principal typings? In this article we answer this question affirmatively. A definition of principal typing is given, capturing the simple idea of representing the set of all typings that can be obtained in derivations for a given term i...

We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor toolkit which was implemented in C. Our experience shows that using the high-level abstraction features of ML gives substantial advantages. Some of these features, such as aut...

Coherence. In this problem we are considering a curious setup where past and future learning are not distinct; instead, vectors x ∈ Rd just keep coming, along with correct labels y ∈ {−1,+1}, and we can learn forever if we wish. Coherence will be provided in the following interesting way. There will be a fixed vector u ∈ Rd and scalar γ > 0 (“fixed” means: fixed across all time) so that every p...

Concurrent Programming in ML presents the language Concurrent ML (CML), which supports the union of two important programming models: concurrent programming and functional programming. CML is an extension of the functional language Standard ML (SML) and is included as part of the Standard ML of New Jersey (SML/NJ) distribution. CML supports the programming of process communication and synchroni...