Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
February 2012
From Communications of the ACM
Technical Perspective: Modeling High-Dimensional Data
Data in high dimension is difficult to visualize and understand. This has always been the case and is even more apparent now with the availability of large high-dimensional datasets and the need to make sense of them.
From Communications of the ACM
Software Synthesis Procedures
Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable…
From Communications of the ACM
Disentangling Gaussians
The Gaussian mixture model is one of the oldest and most widely used statistical models. Our work focuses on the case where the mixture consists of a small but unknown number of Gaussian "components" that may overlap
From Communications of the ACM
Technical Perspective: Compiling What to How
The following paper by Viktor Kuncak et al. integrates declarative programming into a general-purpose language, allowing one to escape the host language when a subproblem can be solved declaratively.