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

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

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

Distributed Information Processing in Biological and Computational Systems.

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

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

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

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

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

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