Sign In

Communications of the ACM

Video Highlights

Visualizing Sound

New techniques capture speech by looking for the vibrations it causes.

Using Technology to Help People

Companies are creating technological solutions for individuals, then generalizing them to broader populations that ne...

Hacking Nondeterminism with Induction and Coinduction

We introduce bisimulation up to congruence as a technique for proving language equivalence of nondeterministic finite...

Distributed Information Processing in Biological and Computational Systems.

Distributed Information Processing in Biological and Computational Systems

Exploring the similarities and differences between distributed computations in biological and computational systems.

Data Brokers Are Watching You

You would be surprised by how much they know about you, and what they are doing with your information.

Smart Transportation Networks Drive Gains

Transportation engineers and city planners are looking to information technology to redefine traffic management in ur...

Sensors for Seniors

In-home technologies are helping seniors stay aware, healthy, and in touch.

Intelligent Living

After years of false starts, the smart home is gaining momentum.

Computationally Modeling Human Emotion

Computer models of emotion inform theories of human intelligence and advance human-centric applications.