Sökning: "problem representations"

Visar resultat 21 - 25 av 213 avhandlingar innehållade orden problem representations.

  1. 21. Low and Medium Level Vision Using Channel Representations

    Författare :Per-Erik Forssén; Gösta Granlund; Jim Little; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : This thesis introduces and explores a new type of representation for low and medium level vision operations called channel representation. The channel representation is a more general way to represent information than e.g. as numerical values, since it allows incorporation of uncertainty, and simultaneous representation of several hypotheses. LÄS MER

  3. 22. Source Code Representations of Deep Learning for Program Repair

    Författare :Zimin Chen; Martin Monperrus; Benoit Baudry; Zhendong Su; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Code Representation; Deep Learning; Program Repair; Datalogi; Computer Science;

    Sammanfattning : Deep learning, leveraging artificial neural networks, has demonstrated significant capabilities in understanding intricate patterns within data. In recent years, its prowess has been extended to the vast domain of source code, where it aids in diverse software engineering tasks such as program repair, code summarization, and vulnerability detection. LÄS MER

  4. 23. Transfer Learning using low-dimensional Representations in Reinforcement Learning

    Författare :Isac Arnekvist; Danica Kragic; Johannes Andreas Stork; Christos Dimitrakakis; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datalogi;

    Sammanfattning : Successful learning of behaviors in Reinforcement Learning (RL) are often learned tabula rasa, requiring many observations and interactions in the environment. Performing this outside of a simulator, in the real world, often becomes infeasible due to the large amount of interactions needed. LÄS MER

  5. 24. Mapping and integration of schema representations of component specefications

    Författare :Guy Davies; Love Ekenberg; Hamid Fujita; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; specification; first order logic; verification; service integration; conceptual modeling; conflict; shema dynamics; Datavetenskap; Computer science; Datavetenskap;

    Sammanfattning : Specification for process oriented applications tends to use languages that suffer from infinite, intractable or unpredictably irregular state spaces that thwart exhaustive searches by verification heuristics. However, conceptual schemas based on FOL, offer techniques for both integrating and verifying specifications in finite spaces. LÄS MER

  7. 25. Turning processes : the change of representations in consultee-centered case consultation

    Författare :Ingrid Hylander; Kjell Granström; Linköpings universitet; []
    Nyckelord :Professionai consultation. Tuming points. Educational psychology. Grounded theory. Focus groups; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : This thesis explores sudden changes in consultee-centered case consultation. Grounded theory has been used as research method and the description and interpretation of the method is an integrated part of the thesis. LÄS MER