DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Artificial Intelligence and Machine Learning
Advertisement
Machine language translation is advancing rapidly, but can it reach the level of human understanding?
I keep hearing excuses for not working on difficult problems: "Eventually AI will solve this so there's no point working on it now." Sorry, wrong answer.
Sampling-Based Robot Motion Planning
To address the computational challenges that arise when planning for robotic systems, traditional CS algorithms, tools, and paradigms must be revisited.
Protein Design by Provable Algorithms
Protein design algorithms can leverage provable guarantees of accuracy to provide new insights and unique optimized molecules.
Making AI Systems Fairer Will Require Time, Guidelines
Director Christoph Lütge on the new Institute for Ethics in Artificial Intelligence at the Technical University of Munich.
Technical Perspective: From Virtual Worlds to Digital Fabrication
The authors of "OpenFab" propose to revisit the processing pipeline that turns a 3D model into machine instructions in light of the solutions developed in computer graphics.
Formidable optical challenges are yielding to intensive research, development.
DAML: The Contract Language of Distributed Ledgers
A discussion between Shaul Kfir and Camille Fournier.
OpenFab: A Programmable Pipeline for Multimaterial Fabrication
We present OpenFab, a programmable pipeline for synthesis of multimaterial 3D printed objects that is inspired by RenderMan and modern GPU pipelines.
A Breakthrough in Explainable AI
Researchers create an artificial intelligence agent that explains its reasoning.
The Algorithm That Changed Quantum Machine Learning
A college student discovered a classical computing algorithm that experts overlooked. It promises to change both classical and quantum machine learning.
Industry-Scale Knowledge Graphs: Lessons and Challenges
Five diverse technology companies show how it's done.
The Edge of Computational Photography
Smartphones and consumer cameras increasingly give professional photographers a run for their money.
Unifying Logical and Statistical AI with Markov Logic
Markov logic can be used as a general framework for joining logical and statistical AI.
How Computation is Changing Journalism
Nicholas Diakopoulos has helped to make journalism is increasingly computational.
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