Search
Now showing items 1-10 of 10
(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, 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)
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)
(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)
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 ...