Search for dissertations about: "declarative"

Showing result 16 - 20 of 85 swedish dissertations containing the word declarative.

  2. 16. A declarative approach to debugging for lazy functional languages

    Author : Henrik Nilsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Debugging programs written in lazy functional languages is difficult, and there are currently no realistic, general purpose debugging tools available. The basic problem is that computations in general do not take place in the order one might expect. READ MORE

  4. 17. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Author : Peter Bunus; Peter Fritzson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; Computer science; Datavetenskap;

    Abstract : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. READ MORE

  5. 18. Flexible Authoring of Metadata for Learning : Assembling forms from a declarative data and view model

    Author : Fredrik Enoksson; Olle Bälter; Ambjörn Naeve; Pawlowski Jan; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Metadata; RDF; Semantic Web; metadata editors; metadata authoring; Computer science; Datavetenskap;

    Abstract : With the vast amount of information in various formats that is produced today it becomes necessary for consumers ofthis information to be able to judge if it is relevant for them. One way to enable that is to provide information abouteach piece of information, i.e. provide metadata. READ MORE

  6. 19. Predictive eyes precede retrieval : visual recognition as hypothesis testing

    Author : Linus Holm; Timo Mäntylä; Lars Nyberg; David Melcher; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; declarative memory; face perception; object recognition; scene recognition; eye movements; visual awareness; recollection; familiarity; Psychology; Psykologi;

    Abstract : Does visual recognition entail verifying an idea about what is perceived? This question was addressed in the three studies of this thesis. The main hypothesis underlying the investigation was that visual recognition is an active process involving hypothesis testing. READ MORE

  7. 20. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process

    Author : Anne Håkansson; Andreas Hamfelt; Harald Kjellin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Artficial Intelligence; Knowledge-Based Systems; Knowledge Acquisition; Graphic Representation; Visualisation; Unified Modelling Language; Modelling Rule-based Systems; Visual programming; Declarative Programming; Information Networks; User-Centered Design; Knowledge Interface; Datavetenskap; Computer science; Datavetenskap; datalogi; Computer Science;

    Abstract : The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. READ MORE