Search for dissertations about: "markov computer"

Showing result 6 - 10 of 86 swedish dissertations containing the words markov computer.

2. 6. Perspectives on Probabilistic Graphical Models

   Author : Dong Liu; Ragnar Thobaben; Harri Lähdesmäki; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Bayesian methods; graphical models; inference; learning; statistics; Electrical Engineering; Elektro- och systemteknik;

   Abstract : Probabilistic graphical models provide a natural framework for the representation of complex systems and offer straightforward abstraction for the interactions within the systems. Reasoning with help of probabilistic graphical models allows us to answer inference queries with uncertainty following the framework of probability theory. READ MORE

4. 7. Probabilistic Models for Species Tree Inference and Orthology Analysis

   Author : Ikram Ullah; Jens Lagergren; Arndt von Haeseler; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; phylogenetics; phylogenomics; gene tree; species tree; expectation maximization; mixture model; dynamic programming; markov chain monte carlo; PrIME; JPrIME; Datalogi; Computer Science;

   Abstract : A phylogenetic tree is used to model gene evolution and species evolution using molecular sequence data. For artifactual and biological reasons, a gene tree may differ from a species tree, a phenomenon known as gene tree-species tree incongruence. Assuming the presence of one or more evolutionary events, e.g. READ MORE

5. 8. Games and Probabilistic Infinite-State Systems

   Author : Sven Sandberg; Parosh Abdulla; Luca de Alfaro; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; determinacy; strategy improvement; infinite games; parity games; mean payoff games; stochastic games; Büchi games; reachability games; limiting average; limiting behavior; Markov chains; infinite-state systems; lossy channel systems; vector addition systems; noisy Turing machines; Computer science; Datavetenskap;

   Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE

6. 9. A new kernel method for object recognition:spin glass-Markov random fields

   Author : Barbara Caputo; Stefan Arnborg; Kalle Åström; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Datalogi; Computer science; Datalogi;

   Abstract : Recognizing objects through vision is an important part of our lives: we recognize people when we talk to them, we recognize our cup on the breakfast table, our car in a parking lot, and so on. While this task is performed with great accuracy and apparently little effort by humans, it is still unclear how this performance is achieved. READ MORE

7. 10. Timing and Schedulability Analysis of Real-Time Systems using Hidden Markov Models

   Author : Anna Friebe; Thomas Nolte; Alessandro Papadopoulos; Filip Markovic; Liliana Cucu-Grosjean; Mälardalens universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

   Abstract : In real-time systems functional requirements are coupled to timing requirements, a specified event needs to occur at the appropriate time.  In order to ensure that timing requirements are fulfilled, there are two main approaches, static and measurement-based. READ MORE