Awards | International Conference on Automated Deduction (CADE)
Nikolaj Bjorner and Leonardo de Moura receive Herbrand Award 2019
Nikolaj Bjorner and Leonardo de Moura received the Herbrand Award 2019 (opens in new tab) for their exceptional and numerous contributions with Z3 (opens in new tab) to SMT solving, including theory, implementation, and application to a wide range of academic and industrial needs.
Autonomous systems, aerial robotics and Game of Drones with Gurdeep Pall and Dr. Ashish Kapoor
There’s a lot of excitement around self-driving cars, delivery drones, and other intelligent, autonomous systems, but before they can be deployed at scale, they need to be both reliable and safe. That’s why Gurdeep Pall, CVP of Business AI at…
In the news | Microsoft Sweden News
Microsoft launches Soundscape in Swedish
Microsoft launches the Microsoft Soundscape service in Swedish, an application that uses 3D audio to create a more natural way for people with visual impairment to experience the environment.
In the news | Microsoft Sweden News
SkyView becomes first tourist attraction in the world with new 3D audio technology from Microsoft
The custom-made SkyView service is based on technology from Microsoft's Soundscape service based on 3D audio technology that follows the user's positioning and tells you what's nearby.
Optimistic Actor Critic avoids the pitfalls of greedy exploration in reinforcement learning
| Kamil Ciosek
One of the core directions of Project Malmo is to develop AI capable of rich interactions. Whether that means learning new skills to apply to challenging problems, understanding complex environments, or knowing when to enlist the help of humans, reinforcement…
In the news | InformationAge
How can organisations use data effectively, according to corporate VP at Microsoft Azure
The largest enterprises have amassed an incredible amount of data from a variety of sources. But, the problem is identifying that data, accessing it and using that most precious asset effectively.
In the news | InfoQ
Microsoft Releases DialogGPT AI Conversation Model
Microsoft Research's Natural Language Processing Group released the dialogue generative pre-trained transformer (DialoGPT), a pre-trained deep-learning natural language processing (NLP) model for automatic conversation response generation. The model was trained on over 147M dialogues and achieves state-of-the-art results on several benchmarks.
In the news | Nature
AI takes on popular Minecraft game in machine-learning contest
To see the divide between the best artificial intelligence and the mental capabilities of a seven-year-old child, look no further than the popular video game Minecraft. A young human can learn how to find a rare diamond in the game…