Sökning: "Welf Löwe"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Welf Löwe.

  1. 1. Decision Algebra : A General Approach to Learning and Using Classifiers

    Författare :Antonina Danylenko; Welf Löwe; Jonas Lundberg; Uwe Assmann; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; classification; decision model; classifier; Decision Algebra; decision function; Computer Science; Datavetenskap;

    Sammanfattning : Processing decision information is a vital part of Computer Science fields in which pattern recognition problems arise. Decision information can be generalized as alternative decisions (or classes), attributes and attribute values, which are the basis for classification. LÄS MER

  2. 2. Decisions : Algebra and Implementation

    Författare :Antonina Danylenko; Welf Löwe; Jonas Lundberg; Wolf Zimmermann; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Classification; decision algebra; decision function; decision information; learning; Computer Science; Datavetenskap;

    Sammanfattning : Processing decision information is a constitutive part in a number of applicationsin Computer Science fields. In general, decision information can be used to deduce the relationship between a certain context and a certain decision. Decision information is represented by a decision model that captures this information. LÄS MER

  3. 3. Parallelized Program Analysis

    Författare :Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Sammanfattning : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis. Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. LÄS MER

  4. 4. Towards a Framework for Static Analysis Based on Points-to Information

    Författare :Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Sammanfattning : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. LÄS MER

  5. 5. Benchmarking Points-to Analysis

    Författare :Tobias Gutzmann; Welf Löwe; Jonas Lundberg; Sibylle Schupp; Linnéuniversitetet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Points-to Analysis; Dataflow Analysis; Static Analysis; Dynamic Analysis; Gold Standard; Software Technology; Programvaruteknik;

    Sammanfattning : Points-to analysis is a static program analysis that, simply put, computes which objects created at certain points of a given program might show up at which other points of the same program. In particular, it computes possible targets of a call and possible objects referenced by a field. LÄS MER