Search for dissertations about: "data bases"

Showing result 21 - 25 of 123 swedish dissertations containing the words data bases.

  2. 21. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Author : Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. READ MORE

  4. 22. On Non-Prioritized Multiple Belief Revision

    Author : Li Zhang; Sven Ove Hansson; John Cantwell; Tor Sandqvist; André Fuhrmann; KTH; []
    Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Non-prioritized multiple revision; Making up one s mind; Choice revision; Descriptor revision; AGM; Believability relation; Multiple believability relation; Belief base; Partial expansion; Multiple contraction; Filosofi; Philosophy; Mathematics; Matematik; Computer Science; Datalogi;

    Abstract : This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. READ MORE

  5. 23. A Multi-Agent Potential Field Based Approach for Real-Time Strategy Game Bots

    Author : Johan Hagelbäck; Stefan J. Johansson; Julian Togelius; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : Computer games in general and Real-Time Strategy (RTS) games in particular provide a rich challenge for both human- and computer controlled players, often denoted as bots. The player or bot controls a large number of units that have to navigate in partially unknown dynamic worlds to pursue a goal. READ MORE

  6. 24. Improving routing in the global Internet

    Author : Tomas Klockar; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Routing is an important part of the Internet and even though routing in the Internet has been investigated since Internet's creation, there are still open issues. Routing protocols have been evolved since the birth of Internet. Currently the Border Gateway Protocol(BGP) is the de-facto standard inter domain routing protocol on the Internet. READ MORE

  7. 25. Unifying Service Oriented Technologies for the Specification and Detection of Their Antipatterns

    Author : Francis Palma; Canada University of Montreal; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Technology; Programvaruteknik;

    Abstract : Service-based Systems (SBSs) are developed on top of diverse emerging Service-Oriented Architecture (SOA) technologies and architectural choices, including SOAP Web services, SCA (Service Component Architecture), and REST. Yet, like any other complex systems, SBSs are subject to change. READ MORE