Why Virtual Reality Will Transform a Workplace Near You
A clutch of companies are changing how work gets done---by using virtual reality and augmented reality technologies.
Artificial Intelligence and Machine Learning
Advertisement
Turing’s Pre-War Analog Computers: The Fatherhood of the Modern Computer Revisited
Turing's machines of 1936 were a purely mathematical notion, not an exploration of possible blueprints for physical calculators.
Technical Perspective: Unexpected Connections
The inherent scalability of an interface is the focus of "The Scalable Commutativity Rule" by Austin T. Clements, et al.
Adding Humanity to Smart Machines
A chat with former World Chess Champion Garry Kasparov about his new book, machine intelligence, and human creativity.
Artificial Intelligence Poised to Ride a New Wave
Flush with recent successes, and pushed by even newer technology, AI systems could get much smarter.
Ironfleet: Proving Safety and Liveness of Practical Distributed Systems
We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our methodology and lessons learned, we aim to raise the standard for distributed systems from "tested" to "correct."
Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties
"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.
Considering guiding principles for artificial intelligence with regard to privacy and security.
Optimization Search Finds a Heart of Glass
Analog computing could provide greater efficiency, improved digital algorithms.
Deep Learning Takes on Translation
Improvements in hardware, the availability of massive amounts of data, and algorithmic upgrades are among the factors supporting better machine translation.
Technical Perspective: What Led Computer Vision to Deep Learning?
We are in the middle of the third wave of interest in artificial neural networks as the leading paradigm for machine learning. "ImageNet Classification with Deep Convolutional Neural Networks" is the paper most responsible for this third wave.
ImageNet Classification with Deep Convolutional Neural Networks
In the 1980s backpropagation did not live up to the very high expectations of its advocates. Twenty years later, we know what went wrong: for deep neural networks to shine, they need far more labeled data and hugely more computation.
Unexpected Power of Low-Depth Arithmetic Circuits
Several earlier results have shown that it is possible to rearrange basic computational elements in surprising ways to give more efficient algorithms. The main result of this article is along a similar vein.
Technical Perspective: Low-Depth Arithmetic Circuits
The past few years have seen a revolution in our understanding of arithmetic circuits. "Unexpected Power of Low-Depth Arithmetic Circuits" by Gupta et al. on the "chasm at depth 3" is one of the culminations of this new understanding.
Researchers are working to imbue computing devices with sophisticated object recognition and tactile capabilities that could take computer sensing to an entirely new level.
In Memoriam Alain Colmerauer: 1941-2017
French computer scientist Alain Colmerauer passed away on May 15.
Will Machine Learning Prevent S From Achieving the Goals of Teaching Computing to Everyone?
At TURC, ACM leaders consider the future of AI, and I ask about the implications for computing education
The drive to make electronic devices more situationally, contextually aware of their environments.
Exploiting Vector Instructions with Generalized Stream Fusion
Programmers should not have to sacrifice code clarity or good software engineering practices to obtain performance. This work shows how to attain this goal for high-level Haskell in the domain of sequence-processing functions.
Technical Perspective: Functional Compilers
"Exploiting Vector Instructions with Generalized Stream Fusion" points out that stream fusion by itself is not well suited for generating bulk instructions such as vector or SIMD instructions.
DeepDive: Declarative Knowledge Base Construction
We describe DeepDive, a system that combines database and machine learning ideas to help to develop knowledge base construction systems.
Toward a Ban on Lethal Autonomous Weapons: Surmounting the Obstacles
A 10-point plan toward fashioning a proposal to ban some — if not all — lethal autonomous weapons.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More