ABSTRACT: The study adapts several machine-learning and deep-learning architectures to recognize 63 traditional instruments in weakly labelled, polyphonic audio synthesized from the proprietary Sound ...

ABSTRACT: The paper continues the research on algorithms for generating nondeterministic finite automata possessing the following property (the so-called walibad property): among their covering ...

Abstract: In mathematics, the unification problem is that of computing the parameters of two models (formulas, automata, programs, etc.) in such a way that these models have the same behavior. We ...

Damas-Hindley-Milner (DHM) type inference is a powerful technique that automatically deduces the types of variables and expressions in a program, freeing programmers from explicit type declarations.

Add a description, image, and links to the unification-algorithm topic page so that developers can more easily learn about it.

Holy Cross Energy brings NREL algorithms out of the lab and into homes, setting a national example for grid control. Nearly every major U.S. city has set renewable energy goals that will require ...