Sökning: "James Omoya"

Hittade 1 uppsats innehållade orden James Omoya.

  1. 1. Analyzinf the Quuality of Sensor Data with Simulations combined with Automated Theorem Proving

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Muhanad Nabeel; James Omoya; [2015-05-05]
    Nyckelord :Sensor Quality; Automated Testing; Automated Theoram Proving; Automated Parking; Vampire Theorem prover; Simulation; Self-Driving Vehicles; Lidar sensor; Laser scanner;

    Sammanfattning : Self-Driving vehicles are still in the development process and will soon be part of our everyday life. There are companies working with this technology today and have already demonstrated a prototype of those self-driving vehicles, one of those companies is Google. LÄS MER