Search for dissertations about: "technology and language testing"

Showing result 1 - 5 of 49 swedish dissertations containing the words technology and language testing.

2. 1. Testing for ASP—ASP for Testing

   Author : Johannes Oetsch; Hans Tompits; Österreich Technische Universität Wien Institut für Logic and Computation; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic Programming; Answer-Set Programming; Mutation Testing; Random Testing; Structural Testing; Unit Testing; Program Annotations; Combinatorial Interaction Testing; Event-Sequence Testing; Programming Support;

   Abstract : Answer-set programming (ASP) is a prominent approach for declarative problem solving with roots in non-monotonic reasoning, knowledge representation, and logic programming. As a problem solving paradigm, it means that properties of problem solutions are modelled using declarative rules so that an ASP solver can then be used to search for solutions which are referred to as answer sets. READ MORE

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

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

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

5. 3. The Virtual Language Teacher : Models and applications for language learning using embodied conversational agents

   Author : Preben Wik; Björn Granström; Olov Engwall; Valerie Hazan; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Language learning; embodied conversational agents; speech technology; computer assisted language learning; computer assisted pronunciation training; Information technology; Informationsteknik; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Abstract : This thesis presents a framework for computer assisted language learning using a virtual language teacher. It is an attempt at creating, not only a new type of language learning software, but also a server-based application that collects large amounts of speech material for future research purposes. READ MORE

6. 4. Distributed Moving Base Driving Simulators : Technology, Performance, and Requirements

   Author : Anders Andersson; Peter Fritzson; Jonas Jansson; Richard Romano; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : Development of new functionality and smart systems for different types of vehicles is accelerating with the advent of new emerging technologies such as connected and autonomous vehicles. To ensure that these new systems and functions work as intended, flexible and credible evaluation tools are necessary. READ MORE

7. 5. Learning Language (with) Grammars: From Teaching Latin to Learning Domain-Specific Grammars

   Author : Herbert Lange; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Latin; Latin syntax; Latin morphology; Grammar engineering; Grammar testing; Corpus-based evaluation; Computer-assisted language learning; Grammar learning; Constraint satisfaction; Constraint optimization;

   Abstract : This thesis describes work in three areas: grammar engineering, computer-assisted language learning and grammar learning. These three parts are connected by the concept of a grammar-based language learning application. Two types of grammars are of concern. The first we call resource grammars, extensive descriptions a natural languages. READ MORE