Search for dissertations about: "language program evaluation"

Showing result 1 - 5 of 38 swedish dissertations containing the words language program evaluation.

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

   Author : Ola Knutsson; Kerstin Severinson Eklundh; Viggo Kann; Teresa Cerratto Pargman; Lars Ahrenberg; KTH; []
   Keywords : 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;

   Abstract : 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. READ MORE

4. 2. Clustering in Swedish : The Impact of some Properties of the Swedish Language on Document Clustering and an Evaluation Method

   Author : Magnus Rosell; Viggo Kann; Björn Levin; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Document Clustering; Language technology; Språkteknologi;

   Abstract : Text clustering divides a set of texts into groups, so that texts within each group are similar in content. It may be used to uncover the structure and content of unknown text sets as well as to give new perspectives on known ones. READ MORE

5. 3. Functional Program Correctness Through Types

   Author : Nils Anders Danielsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

   Abstract : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. READ MORE

6. 4. Language Technology for the Lazy : Avoiding Work by Using Statistics and Machine Learning

   Author : Jonas Sjöbergh; Viggo Kann; Kimmo Koshenniemi; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; computer science; Computer science; Datalogi;

   Abstract : Language technology is when a computer processes human languages in some way. Since human languages are irregular and hard to define in detail, this is often difficult. Despite this, good results can many times be achieved. Often a lot of manual work is used in creating these systems though. READ MORE

7. 5. Semantic Inspection of Software Artifacts From Theory to Practice

   Author : Tim Heyer; Ulf Nilsson; Anders Törne; Staffan Bonnier; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software development process; programming; program language; UML; Computer science; Datavetenskap;

   Abstract : Providing means for the development of correct software still remains a central challenge of computer science. In this thesis we present a novel approach to tool-based inspection focusing on the functional correctness of software artifacts. READ MORE