Essays about: "areas and uses of computer"

Showing result 16 - 20 of 31 essays containing the words areas and uses of computer.

  1. 16. Verifying Temporal Properties Using Deductive Verifiers

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jesper Amilon; Axel Lindeberg; [2019]
    Keywords : ;

    Abstract : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. READ MORE

  3. 17. Investigating the accuracy of Digital Elevation Models from UAV images in areas with low contrast : a sandy beach as a case study

    University essay from Lunds universitet/Institutionen för naturgeografi och ekosystemvetenskap

    Author : Hemin Tofiq; [2019]
    Keywords : UAV; GCP; coastal monitoring; digital elevation model; Accuracy; Earth and Environmental Sciences;

    Abstract : Elevation models are important in many applications in Geographical Information System (GIS), both when applying environmental analyses and in urban planning studies. The production of elevation models has been a difficult and expensive task using traditional surveying techniques. READ MORE

  4. 18. Path Planning with Weighted Wall Regions using OctoMap

    University essay from Luleå tekniska universitet/Rymdteknik

    Author : Bergström Jerker; [2018]
    Keywords : UAV; path planning; A*; wall weights;

    Abstract : In the work of the Control Engineering research group of the Department of Computer Science, Electrical and Space Engineering, Signals and systems at Luleå University of Technology a need had arisen for a path planning algorithm. The ongoing research with Unmanned Aerial Vehicles(UAVs) had so far been done with any complicated paths being created manually with waypoints set by the uses. READ MORE

  5. 19. Developing an Artificially Intelligent Tool for Grief Recovery

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Matilda Landström; Nahal Mustafa; [2018]
    Keywords : ;

    Abstract : Artificiell intelligens, AI, har länge ersatt människor i fysiskt tunga och monotona uppgifter och har på senare år tagit sig in allt mer i vår vardag i form av allt från robotdammsugare, assistenter som Apples Siri till riktad reklam i sociala medier. I detta masterexamensarbete undersöks huruvida AI skulle kunna implementeras i mer personliga delar av livet, så som i ensorgebearbetningsprocess och hur ett sådant verktyg skulle se ut. READ MORE

  6. 20. Detecting Sitting People : Image classification on a small device to detect sitting people in real-time video

    University essay from Mittuniversitetet/Avdelningen för informationssystem och -teknologi

    Author : Jonathan Olsson; [2017]
    Keywords : OpenCV; image-processing; AdaBoost; Viola-Jones; Raspberry Pi; Haar cascades; Haar features;

    Abstract : The area of computer vision has been making big improvements in the latest decades, equally so has the area of electronics and small computers improved. These areas together have made it more available to build small, standalone systems for object detection in live video. This project's main objective is to examine whether a small device, e.g. READ MORE