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 ...

page 2 from 40