Essays about: "thesis on computer science abstract"

Found 3 essays containing the words thesis on computer science abstract.

  1. 1. Computing component specifications from global system requirements

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Carl Björkman; [2017]
    Keywords : control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

    Abstract : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. READ MORE

  2. 2. ON BITSTREAM FEATURES BASED PERCEPTUAL QUALITY ESTIMATION OF HEVC CODED VIDEOS

    University essay from Blekinge Tekniska Högskola/Institutionen för tillämpad signalbehandling; Blekinge Tekniska Högskola/Institutionen för tillämpad signalbehandling

    Author : Joanna Panasiuk; Lukasz Kowalczuk; [2015]
    Keywords : Artificial Neural Network; Video Coding Standard; Video Quality Assessment; Video Quality Prediction.; Master of Science Programme in Electrical Engineering with emphasis on Signal Processing Masterprogram i Elektroteknik med inriktning mot signalbehandling;

    Abstract : ABSTRACT Context: High Efficiency Video Coding (HEVC) is a new video coding standard which combines high video quality with higher compression ratios. In order to fully use the potential of this standard, there should be created an appropriate coding tool (coder), which determines proper coding parameters to ensure the highest possible video quality while maintaining a specified bitrate. READ MORE

  3. 3. Speech Translation into Pakistan Sign Language

    University essay from Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation; Blekinge Tekniska Högskola/Sektionen för datavetenskap och kommunikation

    Author : Ahmed Abdul Haseeb; Asim Ilyas; [2012]
    Keywords : Sign language; Pakistan sign language; Speech to sign language converter; speech and Pakistan sign language; Sign language interpreting machine; user centric; prototype validation;

    Abstract : ABSTRACT Context: Communication is a primary human need and language is the medium for this. Most people have the ability to listen and speak and they use different languages like Swedish, Urdu and English etc. to communicate. Hearing impaired people use signs to communicate. READ MORE