Browsing Språk, logikk og informasjon (SLI) by Title

Now showing items 1-20 of 26

  • ARNER, what kind of name is that? : an automatic rule-based named entity recognizer for Norwegian 
    Jonsdottir, Andra Bjork (Master thesis / Hovedoppgave, 2003)
    Understanding names and their reference is central to the analysis of unrestricted texts and poses a significant challenge for a number of Natural Language Processing (NLP) applications. Named Entity Recognition serves as ...
  • Automatic anaphora resolution for Norwegian (ARN) 
    Holen, Gordana Ilic (Master thesis / Hovedoppgave, 2006)
    In this thesis I have presented ARN – an Automatic Anaphora Resolution System for Norwegian. Anaphora are words that specify a real-world entity by referring through another textual item, antecedent. In natural languages, ...
  • Automatisk gjenkjenning av norske kollokasjoner 
    Horvati, Eszter (Master thesis / Masteroppgave, 2005)
    Oppgaven handler om leksikalske "byggeklosser" som består av flere enn ett ord, og som ikke kan splittes opp uten at de forandrer mening. Disse enhetene kalles flerordsenheter eller kollokasjoner. Selv om det fortsatt ...
  • Å trekke ut leksikalsk informasjon om tellbarheten til norske substantiver ved hjelp av korpusmetoder 
    Stubhaug, Einar (Master thesis / Masteroppgave, 2005)
    Oppgaven dreier seg om forskjellen mellom tellelige og utellelige substantiv. Noen substantiv, særlig de som refererer til substanser og materie, kan ikke telles. De opptrer ikke i enheter. Eksempler på utellelige substantiv ...
  • Building bridges : a cognitive science approach to a human Dolphin dialog protocol 
    Wik, Preben (Master thesis / Hovedoppgave, 2002)
    Cognitive science is the interdisciplinary study of cognition, mind and intelligence that has come out of the bridging between philosophy, psychology, artificial intelligence, neuroscience, linguistics, and anthropology. ...
  • Compiling scheme using abstract state machines 
    Priestley, Joel (Master thesis / Hovedoppgave, 2003)
    The project investigates the use of Abstract State Machine in the process of computer program compilation. Compilation is to produce machine-code from a source program written in a high-level language. A compiler is a ...
  • Exploring information use and information culture at health facility level in Cape Town, South Africa : a case study and discourse analysis 
    Østmo, Inger Elise (Master thesis / Hovedoppgave, 2007)
    Abstract This research is about health facility managers in Cape Town, South Africa – how they collect and use information for managing their health units and how an information culture is expressed in the facility ...
  • Formal modelling and analysis of the NORM multicast protocol using Real-Time Maude 
    Lien, Elisabeth (Master thesis / Hovedoppgave, 2004)
    Over the past decades, society has become increasingly dependent on computer technology, which makes it more and more important to ensure that computer systems function correctly. Most larger computer systems are distributed ...
  • Fra SGML til begrunnede påstander om verden : et system for analyse av geografiske resonnementer uttrykt i historiske tekster 
    Eide, Øyvind (Master thesis / Hovedoppgave, 2004)
    I denne oppgaven undersøkes nye måter å løse kildehenvisningsproblemene på i en digital tid. Jeg foreslår et system som kobler sammen kildetekst og analyser i et integrert dataprogram. I tillegg til selve analysene gir ...
  • Free variable sequent calculi 
    Antonsen, Roger (Master thesis / Hovedoppgave, 2003)
    This is a thesis about free variable sequent calculi for first-order languages without equality. A brief summary: Chapter 1 and 2 are mainly background material. Chapter 3 introduces a way of representing and reasoning ...
  • Funksjon og objekt : fra Frege til Haskell 
    Bergem, Line (Master thesis / Hovedoppgave, 2002)
    Det går flere linjer fra filosofi til informatikk. En av disse linjene har utgangspunkt i Freges arbeid med logikk og språkfilosofi. En annen linje har utgangspunkt i Husserls teori om mental representasjon av objekter. I ...
  • Getting back on the trail : combating information overload with Topic Maps 
    Guescini, Rolf B. (Master thesis / Hovedoppgave, 2006)
    Information overload is not a recent problem that was born with the birth of the World Wide Web. It has been recognized for a long time, and most notably by Vannevar Bush more than 60 years ago, and presented in his famous ...
  • Hvem er du? : autentisering og formelle metoder 
    Hoemsnes, Olav Andreas (Master thesis / Hovedoppgave, 2003)
    Dette arbeidet handler om autentiseringsprotokoller og ulike formelle metoder som benyttes i arbeidet med dem. I oppgaven benytter jeg de metodene ASM (Abstrakte tilstandsmaskiner), og AsmL (Abstrakt tilstandsmaskinspråk) ...
  • Logical spaces in multi-modal only knowing logics 
    Solhaug, Bjørnar (Master thesis / Hovedoppgave, 2004)
    Nonmonotonic logics are logics capable of formalizing defeasible inferences, i.e. inferences leading to conclusions that are withdrawn in case additional information, or additional premises, contradicts the defeasible ...
  • Maskinell lesning av skjønnlitterære tekster 
    Haugen, Marit Gressli (Master thesis / Hovedoppgave, 2003)
    Sammendrag: Oppgaven handler om maskinell lesning av skjønnlitterære tekster og tar for seg en rekke spørsmål knyttet til temaet. Hva vil det si å forstå en tekst og hva skal til for å oppnå maskinell forståelse av tekst? ...
  • Mekanisert snittsøk i elementær tallteori 
    Brændeland, Gyrd (Master thesis / Hovedoppgave, 2003)
    Jeg viser at man for enhver funksjon f i en delmengde av de Kalmárelementære funksjonene kan konstruere bevis for utsagn på formen N{f(m_1,…m_n)} med høyde lineær i m_1,...,m_n. Delmengden består av de elementære funksjonene, ...
  • Modeling word senses with fuzzy clustering 
    Velldal, Erik (Master thesis / Hovedoppgave, 2003)
    This thesis describes a clustering approach to automatically inferring soft semantic classes and characterizing senses of a set of Norwegian nouns. The words are represented by way of their distribution in text, identified ...
  • Morfosyntaktisk annotering av internettdokumenter 
    Holberg, Ragnhild (Master thesis / Hovedoppgave, 2003)
    En søkemotors forståelse begrenser seg til mønstergjenkjenning. De fleste søkemotorer jobber etter prinsipper som forutsetter at den nøyaktige søketermsekvensen forekommer i et dokument for at det skal bli ansett som ...
  • Non-crossing, leftwards directed contingency functions on strings 
    Bergli, Elise (Master thesis / Hovedoppgave, 2002)
    The results presented in this thesis are small additions to the field known as the theory of formal languages. The central theme is logical characterisations of language classes using contingency functions on strings, that ...
  • Rapid parser prototyping in Common Lisp 
    Nybø, Leif Christian (Master thesis / Hovedoppgave, 2005)
    The syntax and semantics of internet standards are most often specified in an Internet Request for Comments (RFC). The specification for the Hyper- text Transfer Protocol (HTTP) (RFC 2616) presents the grammar for its ...