Landlords could no longer rely on rent-pricing software to quietly track each other's moves and push rents higher using confidential data, under a settlement between RealPage Inc. and federal ...

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 ...

Algorithms, examples and tests for denoising, deblurring, zooming, dequantization and compressive imaging with total variation (TV) and second-order total generalized variation (TGV) regularization.

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.