Browsing by Type "Conference Contribution"

Now showing items 21-40 of 1572

  • Adaptive techniques for specification matching in embedded systems: A comparative study

    Malik, Robi; Roop, Partha S. (Springer, Berlin, 2005)
    The specification matching problem in embedded systems is to determine whether an existing component may be adapted suitably to match the requirements of a new specification. Recently, a refinement called forced simulation ...
  • Adaptive XGBoost for evolving data streams

    Montiel, Jacob; Mitchell, Rory; Frank, Eibe; Pfahringer, Bernhard; Abdessalem, Talel; Bifet, Albert (IEEE, 2020)
    Boosting is an ensemble method that combines base models in a sequential manner to achieve high predictive accuracy. A popular learning algorithm based on this ensemble method is eXtreme Gradient Boosting (XGB). We present ...
  • Adding content reporting to DSpace

    Schweer, Andrea; Barr, Jenni; Congdon, Deirdre; Symes, Megan (2015)
    This poster presents a content reporting add-on to DSpace, developed for AgResearch Ltd by the IRR support team at the University of Waikato's Information Technology Services Division. We outline the motivation for developing ...
  • Additive Regression Applied to a Large-Scale Collaborative Filtering Problem

    Frank, Eibe; Hall, Mark A. (Springer, 2008)
    The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms that can be applied to this sort of problem. The ...
  • Adopting knowledge building pedagogy to support epistemic agency and collaborative contribution in science classes: A case study in New Zealand schools

    Taylor, Simon (2019)
    This presentation draws on how secondary science teachers from three schools have helped to develop a knowledge building community with their junior classes
  • Advanced Recommendation Models for Mobile Tourist Information

    Hinze, Annika; Junmanee, Saijai (Springer Berlin, 2006)
    Personalized recommendations in a mobile tourist information system suffer from a number of limitations. Most pronounced is the amount of initial user information needed to build a user model. In this paper, we adopt and ...
  • Advanced selfloop removal in compositional nonblocking verification of discrete event systems

    Malik, Robi (IEEE, 2015)
    This paper investigates possible improvements of abstraction to simplify finite-state machines during compositional nonblocking verification of large discrete event systems. Current methods to simplify finite-state machines ...
  • Advantages of 3D time-of-flight range imaging cameras in machine vision applications

    Dorrington, Adrian A.; Kelly, Cameron Brian Desmond; McClure, Shane H.; Payne, Andrew D.; Cree, Michael J. (Electronics Research, 2009)
    Machine vision using image processing of traditional intensity images is in wide spread use. In many situations environmental conditions or object colours or shades cannot be controlled, leading to difficulties in correctly ...
  • Advocates for teaching: Reconceptualising the practice of teaching development in a university

    Spiller, Dorothy; Bruce Ferguson, Pip; Pratapsingh, Preetha; Lochan, Shant; Harris, Trudy (2010)
    Teaching development units have been provided at most Australasian and British universities over the last thirty years. Typically, units have provided workshops, courses and individual consultations in a variety of formats. ...
  • After the Civilian: Compassion in a changing politico-military context

    McKeogh, Colm (2017)
    This paper looks at political, military and technological challenges to the rule against targeting civilians in war. Neither the concept nor the reality of the civilian offer the clarity once assumed. The paper argues that ...
  • Against epistocracy

    Munn, Nicholas (2018)
    There has been a recent resurgence in epistocratic arguments against our democratic institutions. Jason Brennan (2009, 2011, 2016) is a popular representative of the approach. Here, I criticise Brennan’s account and offer ...
  • Alerting corporate leaders to the need for ethical deliberation and sustainability

    Sharma, Umesh Prasad; Kelly, Martin (2015)
    In order to categorise business as “good” one must choose what characterises “Good Business”. Some argue that any profitable business is good business, but profitable business sometimes creates social and environmental ...
  • Alerting in a Digital Library environment - Do Channels meet the requirements?

    Faensen, Daniel; Hinze, Annika; Schweppe, Heinz (Springer, Berlin, 1998)
    An Alerting Service (AS) informs its clients about new information provided by several suppliers. Special interests of clients can be defined as profiles. In the context of digital libraries, suppliers are the providers ...
  • An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (The international Federation of Automatic Control, 2012)
    This paper proposes an algorithm to simplify automata in such a way that compositional synthesis results are preserved in every possible context. It relaxes some requirements of synthesis observation equivalence from ...
  • Algorithm selection on data streams

    van Rijn, Jan N.; Holmes, Geoffrey; Pfahringer, Bernhard; Vanschoren, Joaquin (Springer International Publishing, 2014)
    We explore the possibilities of meta-learning on data streams, in particular algorithm selection. In a first experiment we calculate the characteristics of a small sample of a data stream, and try to predict which classifier ...
  • Alignment of Short Fibres: An Overview

    Sunny, Tom; Pickering, Kim L.; Lim, Shen Hin (2017)
    Fibre orientation is a major factor influencing composite performance; research, largely on synthetic fibre composites, supports that the best mechanical performances are achieved in composites when fibres are aligned in ...
  • All for one and one for all: reconciling research and production values at the HathiTrust through user-scripting

    Bainbridge, David; Downie, J. Stephen (IEEE, 2017)
    This article details a practical technique that safely reconciles the production stability and integrity of the HathiTrust Digital Library (HTDL) with the riskier and potentially disruptive experimental functionalities ...
  • “All you can eat” ontology-building: Feeding Wikipedia to Cyc

    Sarjant, Samuel; Legg, Catherine; Robinson, Michael; Medelyan, Olena (IEEE Computer Society, 2009)
    In order to achieve genuine web intelligence, building some kind of large general machine-readable conceptual scheme (i.e. ontology) seems inescapable. Yet the past 20 years have shown that manual ontology-building is not ...
  • Alternating model trees

    Frank, Eibe; Mayo, Michael; Kramer, Stefan (ACM Press, 2015)
    Model tree induction is a popular method for tackling regression problems requiring interpretable models. Model trees are decision trees with multiple linear regression models at the leaf nodes. In this paper, we propose ...
  • Alternative food networks and opportunities for transformation towards a sustainable and resilient urban food system

    Vieira, Leticia Canal; Serrao-Neumann, Silvia; Howes, Michael (2020)
    Food systems are suffering from pressures related to population growth, increased urbanisation, climate change, and resource scarcity. These pressures are exacerbated by globalisation, with consumers concentrated in urban ...