Sökning: "Theoretic model"

Visar resultat 1 - 5 av 103 avhandlingar innehållade orden Theoretic model.

  1. 1. Regular Model Checking

    Författare :Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

    Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER

  3. 2. Regular model checking

    Författare :Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER

  4. 3. Sensor Fusion for Automotive Applications

    Författare :Christian Lundquist; Fredrik Gustafsson; Thomas B. Schön; Uwe Hanebeck; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Kalman filter; PHD filter; extended targets; tracking; sensor fusion; road model; single track model; bicycle model;

    Sammanfattning : Mapping stationary objects and tracking moving targets are essential for many autonomous functions in vehicles. In order to compute the map and track estimates, sensor measurements from radar, laser and camera are used together with the standard proprioceptive sensors present in a car. LÄS MER

  5. 4. On Bayesian graphical model determination

    Författare :Jukka Corander; Carlo Berzuini; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Bayesian inference; Entropy; Exponential models; Graphical models; Logarithmic utility; Statistics; Statistik; statistik; Statistics;

    Sammanfattning : A graphical model specifies a graph representation of the independence structure of a multivariate distribution, where nodes represent variables and edges association between variables.This thesis introduces methodology for determination of graphical models for multivariate distributions within the exponential family. LÄS MER

  7. 5. Bayesian Inference in Structural Second-Price Auctions

    Författare :Bertil Wegmann; Mattias Villani; Samita Sareen; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Asymmetry; Bid function approximation; Common values; Gamma model; Gaussian model; Markov Chain Monte Carlo; Private values; Variable selection; Internet auctions; Statistics; Statistik; Statistics; statistik;

    Sammanfattning : The aim of this thesis is to develop efficient and practically useful Bayesian methods for statistical inference in structural second-price auctions. The models are applied to a carefully collected coin auction dataset with bids and auction-specific characteristics from one thousand Internet auctions on eBay. LÄS MER