Sökning: "data size"

Visar resultat 21 - 25 av 2243 avhandlingar innehållade orden data size.

  1. 21. Analyzing Groupware Adoption : A Framework and Three Case Studies inLotus Notes Deployment

    Författare :Ulf Essler; Claudio Ciborra; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer and systems science; Data- och systemvetenskap; data- och systemvetenskap; Computer and Systems Sciences;

    Sammanfattning : The (business) value of information technology (IT) usage is debatable. The "computer paradox" is still in force. There is no demonstrable relationship between computer spending and organization profit. The purpose of this thesis is to analyze the critical first step in generating value through IT, i. LÄS MER

  2. 22. Lower Bounds and Trade-offs in Proof Complexity

    Författare :Susanna F. de Rezende; Jakob Nordström; Amit Chakrabarti; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Proof complexity; trade-offs; lower bounds; size; length; space; Computer Science; Datalogi;

    Sammanfattning : Propositional proof complexity is a field in theoretical computer science that analyses the resources needed to prove statements. In this thesis, we are concerned about the length of proofs and trade-offs between different resources, such as length and space. LÄS MER

  3. 23. Time- and size-efficient supercompilation

    Författare :Peter A. Jonsson; Taha Walid; Luleå tekniska universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Sammanfattning : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. LÄS MER

  4. 24. Distributed and federated learning of support vector machines and applications

    Författare :Shirin Tavara; Alexander Schliep; Alexander Karlsson; Lili Jiang; Högskolan i Skövde; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Skövde Artificial Intelligence Lab SAIL ; Skövde Artificial Intelligence Lab SAIL ;

    Sammanfattning : Machine Learning (ML) has achieved remarkable success in solving classification, regression, and related problems over the past decade. In particular the exponential growth of digital data, makes using ML inevitable and necessary to exploit the wealth of information hidden inside the data. LÄS MER

  5. 25. Modeling Width in Spatial Optimization in Raster Space

    Författare :Lindsi Seegmiller; Takeshi Shirabe; Lars Harrie; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; raster-based geographic information system; spatial optimization; region selection; width; optimal routing; raster data modeling; distortion; corridor; rasterbaserat geografiskt informationssystem; rumslig optimering; regionval; bredd; optimal routing; rasterdatamodellering; distorsion; korridor; Geoinformatik; Geoinformatics;

    Sammanfattning : Given a grid of cells, each of which is assigned a numerical value quantifying its utility (or cost) for a certain use, a popular type of problem in geographic information science is raster-based spatial optimization. Such problems commonly seek to find a set of cells that maximizes (or minimizes) that utility (or cost) while adhering to a given set of constraints. LÄS MER