Sökning: "automatic model"

Visar resultat 1 - 5 av 501 avhandlingar innehållade orden automatic model.

  1. 1. Model Based Coding : Initialization, Parameter Extraction and Evaluation

    Författare :Zhengrong Yao; Haibo Li; Ralf Schäfer; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signalbehandling; Model-based coding; Motion estimation; Vision based tracking; Initialization; Analysis-by-Synthesis; Texture mapping; Active tracking.; Signalbehandling; Signal processing; Signalbehandling; Signal Processing; signalbehandling;

    Sammanfattning : This thesis covers topics relevant to model-based coding. Model-based coding is a promising very low bit rate video coding technique. The idea behind this technique is to parameterize a talking head and to extract and transmit the parameters describing facial movements. At the receiver, the parameters are used to reconstruct the talking head. LÄS MER

  3. 2. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  4. 3. Model on Demand : Algorithms, Analysis and Applications

    Författare :Anders Stenman; Fredrik Gustafsson; Lennart Ljung; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : System identification deals with the problem of estimating models of dynamical systems from observed data. In this thesis, we focus on the identification of nonlinear models, and, in particular, on the situation that occurs when a very large amount of data is available. LÄS MER

  5. 4. Geometric analysis of stochastic model errors in system identification

    Författare :Jonas Mårtensson; Håkan Hjalmarsson; Michel Gevers; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automatic Control; Automatic control; Reglerteknik;

    Sammanfattning : Models of dynamical systems are important in many disciplines of science, ranging from physics and traditional mechanical and electrical engineering to life sciences, computer science and economics. Engineers, for example, use models for development, analysis and control of complex technical systems. LÄS MER

  7. 5. Optimal Control and Model Reduction of Nonlinear DAE Models

    Författare :Johan Sjöberg; Torkel Glad; Xiaoming Hu; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; DAE Models; Optimal Control; Model Reduction; Automatic control; Reglerteknik;

    Sammanfattning : In this thesis, different topics for models that consist of both differential and algebraic equations are studied. The interest in such models, denoted DAE models, have increased substantially during the last years. LÄS MER