Advanced search
Showing result 21 - 25 of 2220 essays matching the above criteria.
-
21. Code Synthesis for Heterogeneous Platforms
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. READ MORE
-
22. Adding Basic Support for Function Pointers in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses. These clauses describe the program states that can be reached when the program is executed. A solver can then be used to check if the program is safe. READ MORE
-
23. Objective measurement of video quality
University essay from Uppsala universitet/Avdelningen Vi3Abstract : Automatic video quality assessment has many potential use cases in today’s video-filledsociety, for example, when trying to find highlights in a video. This thesis studies the possibilityof extracting the best segments from a video automatically based on five selected metrics:sharpness, colorfulness, contrast, stability, and aesthetics. READ MORE
-
24. aiLangu - Real-time Transcription and Translation to Reduce Language Barriers : An Engineering Project to Develop an Application for Enhancing Human Verbal Communication
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The research area this report relates to is real-time automatic transcription and translation. The purpose of the work done for the report is to reduce the perceived language barriers online and to make a user-friendly application to make use of the latest deep learning technology to transcribe and translate in real-time. READ MORE
-
25. Identification and Classification of TTS Intelligibility Errors Using ASR : A Method for Automatic Evaluation of Speech Intelligibility
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : In recent years, applications using synthesized speech have become more numerous and publicly available. As the area grows, so does the need for delivering high-quality, intelligible speech, and subsequently the need for effective methods of assessing the intelligibility of synthesized speech. READ MORE