title: Interactive document summarisation.

authors: Jones, Steve

subjects: dynamic document summarisation

abstract: This paper describes the Interactive Document Summariser (IDS), a dynamic document summarisation system, which can help users of digital libraries to access on-line documents more effectively. IDS provides dynamic control over summary characteristics, such as length and topic focus, so that changes made by the user are instantly reflected in an on-screen summary. A range of 'summary-in-context' views support seamless transitions between summaries and their source documents. IDS creates summaries by extracting keyphrases from a document with the Kea system, scoring sentences according to the keyphrases that they contain, and then extracting the highest scoring sentences. We report an evaluation of IDS summaries, in which human assessors identified suitable summary sentences in source documents, against which IDS summaries were judged. We found that IDS summaries were better than baseline summaries, and identify the characteristics of Kea keyphrases that lead to the best summaries.

text: Interactive document summarisation. This paper describes the Interactive Document Summariser (IDS), a dynamic document summarisation system, which can help users of digital libraries to access on-line documents more effectively. IDS provides dynamic control over summary characteristics, such as length and topic focus, so that changes made by the user are instantly reflected in an on-screen summary. A range of 'summary-in-context' views support seamless transitions between summaries and their source documents. IDS creates summaries by extracting keyphrases from a document with the Kea system, scoring sentences according to the keyphrases that they contain, and then extracting the highest scoring sentences. We report an evaluation of IDS summaries, in which human assessors identified suitable summary sentences in source documents, against which IDS summaries were judged. We found that IDS summaries were better than baseline summaries, and identify the characteristics of Kea keyphrases that lead to the best summaries.

year: 2001-02-01

title: Towards an integrated refinement environment for formal program development

authors: Reeves, Steve

subjects: computer science

abstract: One of the main hurdles to the general adoption of formal program development techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for software development which embodies the aim of formal program development. Multiple levels of refinement of each specification are supported, with associated proof obligations, each of which can be viewed at various levels of detail throughout the development process. All of these formal views are kept consistent with each other and with more traditional design and implementation views. This allows software developers to specify, design, refine, prove, implement and document their software within a single integrated environment.

text: Towards an integrated refinement environment for formal program development One of the main hurdles to the general adoption of formal program development techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for software development which embodies the aim of formal program development. Multiple levels of refinement of each specification are supported, with associated proof obligations, each of which can be viewed at various levels of detail throughout the development process. All of these formal views are kept consistent with each other and with more traditional design and implementation views. This allows software developers to specify, design, refine, prove, implement and document their software within a single integrated environment.

year: 1995-08

title: Ko wai tō ingoa? The transformative potential of Māori names

authors: Seed-Pihama, Joeliee Elizabeth

subjects: Māori names

abstract: Ingoa tangata (personal names) are an expression of te reo Māori, Māori identity, and tino rangatiratanga (self-determination). Nevertheless, our names are still mispronounced, marginalised and demeaned by individuals and institutions, such as schools, the health system, politics and media. This thesis argues that the gift of a Māori name and the assertion of that name over one’s lifetime is simultaneously a political act of resistance and an act of normalisation – an act of just being Māori. In particular, the thesis reveals how whānau naming practices endure and are important for whānau identity and belonging.

A Kaupapa Māori theoretical approach is used to highlight the mana of our ingoa tangata within te ao Māori (the Māori world). I analyse the experiences of six generations of one whānau and the ways in which they have resisted, reclaimed and regenerated our ingoa tangata and associated practices. Kaupapa Māori theory provides a much-needed theoretical framework that privileges te reo Māori and mātauranga Māori throughout this research. This theory also supports Māori researchers to critique and disrupt Western power dynamics within research as well as maintaining the political imperative of decolonisation and resurgence agendas within the research of Indigenous communities.

This thesis foregrounds Pūrākau as a research method to tell the kōrero ingoa (naming stories) of six generations of one whānau, totalling twenty-six different stories. I explore the possibilities of pūrākau as a method and ako (to teach/ learn) as a powerful component in the building and sharing of stories, as writing tools for the (re)presentation of that material and in expressing the researcher’s positionality. Pūrākau as method also enables the utilisation of our cosmogonies as important sources of mātauranga Māori and therefore as crucial to an analysis of our naming motivations and notions of belonging. Furthermore, I critically analyse the disruptions and interruptions to ingoa tangata caused by institutions of colonialism such as religion, law and education. This research argues for the transformative potential of our ingoa tangata and their associated kōrero ingoa in terms of enhancing identity, embedding whakapapa kōrero and keeping Māori values alive within whānau, and beyond.

text: Ko wai tō ingoa? The transformative potential of Māori names Ingoa tangata (personal names) are an expression of te reo Māori, Māori identity, and tino rangatiratanga (self-determination). Nevertheless, our names are still mispronounced, marginalised and demeaned by individuals and institutions, such as schools, the health system, politics and media. This thesis argues that the gift of a Māori name and the assertion of that name over one’s lifetime is simultaneously a political act of resistance and an act of normalisation – an act of just being Māori. In particular, the thesis reveals how whānau naming practices endure and are important for whānau identity and belonging.

A Kaupapa Māori theoretical approach is used to highlight the mana of our ingoa tangata within te ao Māori (the Māori world). I analyse the experiences of six generations of one whānau and the ways in which they have resisted, reclaimed and regenerated our ingoa tangata and associated practices. Kaupapa Māori theory provides a much-needed theoretical framework that privileges te reo Māori and mātauranga Māori throughout this research. This theory also supports Māori researchers to critique and disrupt Western power dynamics within research as well as maintaining the political imperative of decolonisation and resurgence agendas within the research of Indigenous communities.

This thesis foregrounds Pūrākau as a research method to tell the kōrero ingoa (naming stories) of six generations of one whānau, totalling twenty-six different stories. I explore the possibilities of pūrākau as a method and ako (to teach/ learn) as a powerful component in the building and sharing of stories, as writing tools for the (re)presentation of that material and in expressing the researcher’s positionality. Pūrākau as method also enables the utilisation of our cosmogonies as important sources of mātauranga Māori and therefore as crucial to an analysis of our naming motivations and notions of belonging. Furthermore, I critically analyse the disruptions and interruptions to ingoa tangata caused by institutions of colonialism such as religion, law and education. This research argues for the transformative potential of our ingoa tangata and their associated kōrero ingoa in terms of enhancing identity, embedding whakapapa kōrero and keeping Māori values alive within whānau, and beyond.

year: 2017