Computer Sciences

AI method to upscale low-resolution images to high-resolution

Scientists at the Max Planck Institute for Intelligent Systems in Tübingen have used artificial intelligence to create a high-definition version of a low resolution image. While not pixel-perfect, the system produces a better ...

Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...

Computer Sciences

Researchers build first working memcomputer prototype

(Tech Xplore)—A combined team of researchers from the University of California and Politecnico di Torino in Italy has built, for the first time, a working memory-crunching computer (memcomputer) prototype. It is capable, ...

page 2 from 40