Sökning: "lazy"

Visar resultat 1 - 5 av 48 avhandlingar innehållade ordet lazy.

  1. 1. Quantifiers and Theories : A Lazy Approach

    Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER

  3. 2. The Lazy Intuitive Statistician : Influence of Data Representation and Retrieval Processes on Intuitive Statistical Judgment

    Författare :Marcus Lindskog; Anders Winman; Peter Juslin; Hedvig Söderlund; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Intuitive statistics; numerical cognition; Psychology; Psykologi;

    Sammanfattning : Intuitive statistical judgments are an integral part of people’s everyday life and a long line of research has investigated the extent to which man lives up to the norms of statistical theory when performing such judgments. A recent account of intuitive statistical judgments, summarized in the metaphor of the naïve intuitive statistician (K. LÄS MER

  4. 3. Is the Intuitive Statistician Eager or Lazy? : Exploring the Cognitive Processes of Intuitive Statistical Judgments

    Författare :Marcus Lindskog; Anders Winman; Peter Juslin; Klaus Fiedler; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Lazy intuitive statistician; Eager intuitive statistician; Intuitive statistics; Sampling model; Numerical cognition; Psychology; Psykologi;

    Sammanfattning : Numerical information is ubiquitous and people are continuously engaged in evaluating it by means of intuitive statistical judgments. Much research has evaluated if people’s judgments live up to the norms of statistical theory but directed far less attention to the cognitive processes that underlie the judgments. LÄS MER

  5. 4. Code Optimisation Techniques for Lazy Functional Languages

    Författare :Urban Boquist; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; graph reduction; garbage collection; lazy functional languages; program transformation; interprocedural register allocation; graph colouring; intermediate code; code optimisation; compiler back-end;

    Sammanfattning : This thesis describes a complete compiler back-end for lazy functional languages, which uses various interprocedural optimisations to produce highly optimised code. The most important contributions of this work are the following. LÄS MER

  7. 5. Language Technology for the Lazy : Avoiding Work by Using Statistics and Machine Learning

    Författare :Jonas Sjöbergh; Viggo Kann; Kimmo Koshenniemi; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; computer science; Computer science; Datalogi;

    Sammanfattning : Language technology is when a computer processes human languages in some way. Since human languages are irregular and hard to define in detail, this is often difficult. Despite this, good results can many times be achieved. Often a lot of manual work is used in creating these systems though. LÄS MER