Sökning: "Declarative"

Visar resultat 21 - 25 av 93 avhandlingar innehållade ordet Declarative.

  1. 21. Predictive eyes precede retrieval : visual recognition as hypothesis testing

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

    Sammanfattning : 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. LÄS MER

  3. 22. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process

    Författare :Anne Håkansson; Andreas Hamfelt; Harald Kjellin; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  4. 23. Computational Issues in Calculi of Partial Inductive Definitions

    Författare :Per Kreuger; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Theory of computation; algorithms; logic; proof-theory; partial inductive defi-nitions; definitional reflection; disunification; closure; completion; negation; constructive negation; quantification; logic programming; meta programming; quantification; skolemization; self-reference; program semantics; declarative control; proof-search; theorem-proving.;

    Sammanfattning : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. LÄS MER

  5. 24. PDEModelica – A High-Level Language for Modeling with Partial Differential Equations

    Författare :Levon Saldamli; Peter Fritzson; Bernhard Bachmann; Francesco di Casella; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; mathematical modeling; PDEModelica; Modelica; object-oriented modeling; equation-based modeling; declarative modeling; high-level modeling languages; mathematical modeling languages; Computer science; Datavetenskap;

    Sammanfattning : This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. LÄS MER

  7. 25. A transformational approach to debugging lazy functional programs

    Författare :Jan Sparud; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; tracing; lazy functional languages; declarative languages; algorithmic debugging;

    Sammanfattning : .... LÄS MER