Sökning: "finite-state"

Visar resultat 1 - 5 av 56 avhandlingar innehållade ordet finite-state.

  1. 1. An Approach to Diagnosability Analysis for Interacting Finite State Systems

    Författare :Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

    Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER

  3. 2. Automatic Detection of Grammar Errors in Primary School Children's Texts. A Finite State Approach

    Författare :Sylvana Sofkova Hashemi; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; grammar errors; spelling errors; punctuation; children s writing; Swedish; language checking; light parsing; finite state technology;

    Sammanfattning : This thesis concerns the analysis of grammar errors in Swedish texts written by primary school children and the development of a finite state system for finding such errors. Grammar errors are more frequent for this group of writers than for adults and the distribution of the error types is different in children's texts. LÄS MER

  4. 3. Translation as Linear Transduction : Models and Algorithms for Efficient Learning in Statistical Machine Translation

    Författare :Markus Saers; Joakim Nivre; Anna Sågvall Hein; Dekai Wu; Kevin Knight; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; linear transduction; linear transduction grammar; inversion transduction; zipper finite-state automaton; zipper finite-state transducer; formal language theory; formal transduction theory; translation; automatic translation; machine translation; statistical machine translation; Computational linguistics; Datorlingvistik; Language technology; Språkteknologi; Computational Linguistics; Datorlingvistik;

    Sammanfattning : Automatic translation has seen tremendous progress in recent years, mainly thanks to statistical methods applied to large parallel corpora. Transductions represent a principled approach to modeling translation, but existing transduction classes are either not expressive enough to capture structural regularities between natural languages or too complex to support efficient statistical induction on a large scale. LÄS MER

  5. 4. English and other foreign linguistic elements in spoken Swedish : studies of productive processes and their modelling using finite-state tools

    Författare :Anders Lindström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : This thesis addresses the question of what native speakers of Swedish do when items originating in English and several other foreign languages occur in their native language. This issue is investigated at the phonological and morphological levels of contemporary Swedish. LÄS MER

  7. 5. Hierarchical Control and Restart of Flexible Manufacturing Systems

    Författare :Kristin Andersson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Restart; Flexible manufacturing; Finite state automata; Petri nets; Supervisory control theory; Process algebra; Discrete event systems; Hierarchical control; Supervisor synthesis;

    Sammanfattning : Product life-cycles are constantly shortening, and the amount of new product types increases, for example in the automotive industry. Growing demands on flexibility and ability to decrease time to market has made it increasingly important to find methods for fast and accurate development of control programs for flexible manufacturing cells. LÄS MER