Sökning: "temporal reasoning"

Visar resultat 21 - 25 av 30 avhandlingar innehållade orden temporal reasoning.

  1. 21. Modelling and Implementation of a vision system for embedded systems

    Författare :Per Andersson; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Today more and more functionality is included in embedded systems, resulting in an increased system complexity. existing design methodologies and design tools are not adequate to deal with this increase in complexity. To overcome these limitations application specific design solutions are more common. LÄS MER

  3. 22. Learning history in an enquiry and source-based practice : What do students need to learn in relation to second-order concepts to be able to handle historical sources?

    Författare :Anders Nersäter; Ulla Runesson Kempe; Carl-Johan Svensson; David Rosenlund; Jönköping University; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; history teaching; historical thinking; historical sources; second-order concepts; evidence; historical empathy; causation; variation theory; critical aspects; learning study;

    Sammanfattning : In this thesis, results from three studies and a reanalysis have been combined to provide knowledge of what students need to learn in relation to the second-order concepts of evidence, historical empathy and causation, for them to be able to handle historical sources and construct accounts. Data has been collected in two intervention studies conducted in collaboration with a group of upper secondary teachers. LÄS MER

  4. 23. The neurocognitive basis of confabulatory introspection : Choice blindness and the brain

    Författare :Gabriel Vogel; Kognitionsvetenskap; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Confabulation; introspection; fMRI; sense of agency; decision; self-knowledge; metacognition; cognitive neuroscience;

    Sammanfattning : The goal of this thesis is to advance our understanding of introspection by studying when it fails, without us being aware of it. To do so, I have used the choice blindness paradigm. LÄS MER

  5. 24. An Approach to Diagnosability Analysis for Interacting Finite State Systems

    Författare :Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

    Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER

  7. 25. Applied Geovisual Analytics and Storytelling

    Författare :Patrik Lundblad; Mikael Jern; Lennart Cederberg; Andreas Kerren; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 'Geovisual Analytics' represents a cross-disciplinary research that looks for innovative methods to interactively visualize and solve large spatio-temporal related visualization problems for multivariate data through a visual discovery, reasoning and collaborative process. The name emphasizes the link with the well-known research discipline of Visual Analytics and could be viewed as sub-area with its specific focus on space and time posing specific research problems. LÄS MER