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

Computer Sciences

AI outperforms humans in speech recognition

Following a conversation and transcribing it precisely is one of the biggest challenges in artificial intelligence (AI) research. For the first time now, researchers of Karlsruhe Institute of Technology (KIT) have succeeded ...

page 2 from 40