Search
Now showing items 1-24 of 24
(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 ...
(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, ...
(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 ...
(Master thesis / Hovedoppgave, 2005)
The purpose of this thesis is to present an autoepistemic approach to
preference reasoning. The method controls the generation of extensions
by first linking doxastic representations in a hierarchy,
and then by ensuring ...
(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 ...
(Master thesis / Hovedoppgave, 2004)
Nøkkelord: Maskinoversettelse, automatisk oversettelse, interlingua, representasjon av mening, formell semantikk, UNL, UNLP, UNDL.
Universal Networking Language (UNL) er et elektronisk interlingua (mellomspråk) med et ...
(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 ...
(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 ...
(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 ...
(Master thesis / Hovedoppgave, 2004)
(1) Musa løp under bordet.
'The mouse ran under the table.'
(2) Under bordet er et fint sted å gjemme seg.
'Under the table is a good place to hide.'
Locative prepositional phrases, as seen in (1) and (2) ...
(Master thesis / Hovedoppgave, 2003)
Eg har hatt tilgang til bokmålsmaterialet frå Norsk Ordbank.
Det har leidd meg følgjande:
Eg granskar nøye bøyingsregimet i Bokmålsordboka.
Eg knyt bokmålsleksema til bøyingsgrupper avleidde frå Tabellmaterialet.
Eg ...
(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 ...
(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 ...
(Master thesis / Hovedoppgave, 2003)
(1) a. Jenta skrev brevet
girl-DEF wrote letter-DEF
‘The girl wrote the letter’
b. Brevet skrev jenta
letter-DEF wrote girl-DEF
‘The letter, the girl wrote’
The minimal pair in (1) above ...
(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 ...
(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 ...
(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, ...
(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? ...
(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 ...
(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) ...
(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. ...
(Master thesis / Hovedoppgave, 2002)
1.1 The Romans built this bridge.
What does it take to make 1.1 true? Surely we do not require that every single Roman participated in the building of the bridge. In other words, we do not view 1.1. as equivalent to 1.2. ...
(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 ...
(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 ...