Sökning: "language checking"

Visar resultat 1 - 5 av 61 avhandlingar innehållade orden language checking.

1. 1. Developing and Evaluating Language Tools for Writers and Learners of Swedish

   Författare :Ola Knutsson; Kerstin Severinson Eklundh; Viggo Kann; Teresa Cerratto Pargman; Lars Ahrenberg; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; interactive learning systems; error; feedback; human-computer interaction; grammar checking; grammaticality judgments; parsing; second language learning; Swedish; evaluation; user studies; language technology; computer assisted language learning; writing; language tools; interaktiva lärsystem; fel; återkoppling; grammatikkontroll; språkverktyg; människa-datorinteraktion; skrivande; andraspråksinlärning; grammatikalitetsbedömning; parsning; Language technology; Språkteknologi;

   Sammanfattning : Skrivande och skrivet språk är idag en viktig del av många människors liv, i datorns ordbehandlare, i e-postprogram och i chattkanaler på Internet. Skrivet språk har blivit mer eller mindre en förutsättning för människors dagliga kommunikation. Denna utveckling av samhället leder till ökade behov av att på olika sätt hantera text. LÄS MER

3. 2. Contracts and Computation — Formal modelling and analysis for normative natural language

   Författare :John J. Camilleri; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; normative texts; contract analysis; controlled natural language; model checking;

   Sammanfattning : Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like these dictate the permissions, obligations, and prohibitions of two or more parties entering into an agreement, including the penalties which must be paid when someone breaks the rules. LÄS MER

4. 3. 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

5. 4. Analysing normative contracts : On the semantic gap between natural and formal languages

   Författare :John J. Camilleri; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

   Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER

7. 5. Analysing normative contracts

   Författare :John J. Camilleri; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; timed automata; model checking; contract analysis; formal methods; controlled natural language;

   Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER