Wellington, New Zealand
Wellington, New Zealand

Time filter

Source Type

Anderson H.,Wellington Institute of Technology | Khoo S.-C.,National University of Singapore
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation | Year: 2010

The size-change principle devised by Lee, Jones and Ben-Amram, provides an effective method of determining program termination for recursive functions. It relies on a regular approximation to the call structure of the program, operates only over variables whose "size" is well-founded, and ignores the conditionals and return values in the program. The main contribution of our paper is twofold: firstly we improve size-change termination analysis by using better regular approximations to program flow, and secondly we extend the analysis beyond the original well-founded variables to include integer variables. In addition, we pay attention to program conditionals that are expressed by linear constraints and support the analysis of functions in which the return values are relevant to termination. Our analysis is entirely mechanical, exploits the decidability and expressive power of affine constraints and extends the set of programs that are size-change terminating. Copyright © 2010 ACM.

Khan W.,Wellington Institute of Technology | Klette R.,Auckland University of Technology
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2015

Stereo matching accuracy is determined by comparing results with ground truth. However, the kind of detail remains unspecified in regions where a stereo matcher is more accurate. By identifying feature points we are identifying regions where the data cost used can easily represent features. We suggest to use feature matchers for identifying sparse matches of high confidence, and to use those for guiding a belief-propagation mechanism. Extensive experiments, also including a semi-global stereo matcher, illustrate achieved performance. We also test on data just recently made available for a developing country, which comes with particular challenges not seen before. Since KITTI ground truth is sparse, for most of identified feature points ground truth is actually missing. By using our novel stereo matching method (called FlinBPM) we derive our own ground truth and compare it with results obtained by other matching approaches including our novel stereo matching method (called WlinBPM). Based on this we were able to identify circumstances in which a census transform fails to define an appropriate data cost measure. There is not a single all-time winner in the set of considered stereo matchers, but there are specific benefits when applying one of the discussed stereo matching strategies. This might point towards a need of adaptive solutions for vision-augmented vehicles. © Springer International Publishing Switzerland 2015.

Cochrane T.,Wellington Institute of Technology | Davis N.,University of Canterbury | Morrow D.,University of Canterbury
International Journal of Virtual and Personal Learning Environments | Year: 2013

A methodology for design based research (DBR) into effective development and use of Multi-User Virtual Environments (MUVE) in vocational education is proposed. It blends software development with DBR with two theories selected to inform the methodology. Legitimate peripheral participation LPP (Lave & Wenger, 1991) provides a filter when thinking about vocational education because moving towards being work ready increases the student's legitimate practices within the vocation. Technological Pedagogical Content Knowledge TPACK (Mishra & Koehler, 2006) provides framework to link content and pedagogy with the MUVE technology. Software development techniques necessary in the development of simulation based MUVEs are shown to have characteristics compatible with development research. A design based methodological process that introduces software development within phases is described. The authors reflect on the methodology after the first phase of research into a MUVE that simulates the hazardous situation of temporary traffic management. Copyright © 2012, IGI Global.

Eales A.,Wellington Institute of Technology | Foss R.,Rhodes University
Proceedings of the AES International Conference | Year: 2011

Different control protocols for networked audio devices typically emphasize particular aspects of a device, such as the representation of parameter data, or a representation of the functional structure of a device. A sophisticated device model must represent parameter data, device structure and the visual presentation of controls. Parameter data should be related to the device structure, while also being represented within a flexible, logical hierarchy. The development of a standard device model is proposed and discussed with reference to the OSC, IEC62379, ACN and XFN control protocols. This abstract model is independent of any specific control protocol, and provides support for interoperability between control protocols. The proposed model is also discussed within the context of an object-based approach to service enumeration and control using an associative, shared memory model. Copyright© (2011) by the Audio Engineering Society.

Eales A.,Wellington Institute of Technology | Foss R.,Rhodes University
AES: Journal of the Audio Engineering Society | Year: 2013

A sophisticated model of a complex, networked audio device is necessary to provide service discovery and service enumeration capabilities, while also supporting the construction of a control surface that interacts with the device. A complete and coherent device model must represent parameter data within the context of a device's structure and relate these elements to a control surface. This paper discusses the development of a device model that represents parameters within a flexible, logical hierarchy that relates parameter addresses to device structure. The model is also discussed within the context of a self-configuring discovery and control environment.

Eales A.,Wellington Institute of Technology | Eales A.,Rhodes University | Foss R.,Rhodes University
133rd Audio Engineering Society Convention 2012, AES 2012 | Year: 2012

The Open Sound Control (OSC) control protocol does not have service discovery capabilities. The approach to adding service discovery to OSC proposed in this paper uses the OSC address space to represent services within the context of a logical device model. This model allows services to be represented in a context-sensitive manner by relating parameters representing services to the logical organization of a device. Implementation of service discovery is done using standard OSC messages and requires that the OSC address space be designed to support these messages. This paper illustrates how these enhancements to OSC allow a device to advertise its services. Controller applications can then explore the device's address space to discover services, and retrieve the services required by the application.

Hajmoosaei A.,Wellington Institute of Technology | Skoric P.,Propellerhead
Proceedings - 2016 IEEE 10th International Conference on Semantic Computing, ICSC 2016 | Year: 2016

Multiple data sources are used in a museum information system to store the specifications of heritage entities (e.g. collections, archive, literature, knowledge and presentation materials and maintenance data sources). The access and retrieval of cultural heritage information from these data sources often fails because of the heterogeneity nature of museum data. Semantic heterogeneity, which refers to the misinterpretation of data at the schema level, is a main issue in the retrieval of cultural heritage information from museum data sources. Ontology is an effective solution for reconciliation of semantic heterogeneity conflicts. Ontology enhances the explicit semantic information of data source. The building of the ontology is a process which needs the expert domain knowledge and a development methodology. In this paper, we focused on resolving the semantic heterogeneity among museum data sources. We use top level ontology architecture and build a museum top level ontology for resolving the problem of semantic heterogeneity among museum data sources. Subsequently as a case study, we build a local ontology for the heritage information relating to New Zealand World War soldiers. © 2016 IEEE.

Eales A.,Wellington Institute of Technology | Foss R.,Rhodes University
137th Audio Engineering Society Convention 2014 | Year: 2014

A distributed, associative memory that advertises audio streams and represents audio connections between networked audio devices is described. Characteristic features of a shared, associative memory are discussed, and three parameter-based models that represent audio signals and audio connections are introduced. Connection management is then discussed with reference to a distributed, associative memory environment. This environment allows changes made to audio connections to be automatically propagated to all networked devices, while also eliminating potential race conditions between connection requests. Additionally, connection management applications can be shared between different networked devices and controllers.

Eales A.,Wellington Institute of Technology | Eales A.,Rhodes University | Foss R.,Rhodes University
135th Audio Engineering Society Convention 2013 | Year: 2013

The Simple Network Management Protocol (SNMP) is widely used to configure and monitor networked devices. The architecture of complex audio devices can be elegantly represented using SNMP tables. Carefully considered table indexing schemes support a logical device model that can be accessed using standard SNMP commands. This paper examines the use of SNMP tables to represent the architecture of audio devices. A representational scheme that uses table indexes to provide direct-access to context-sensitive SNMP data objects is presented. The monitoring of parameter values and the implementation of connection management using SNMP are also discussed.

Hamzi M.,University of Malaya | Hajmoosaei A.,Wellington Institute of Technology
IC3e 2014 - 2014 IEEE Conference on e-Learning, e-Management and e-Services | Year: 2014

Nowadays, online marketing plays an important role in academic institutions such as universities and colleges; because they are seeking to improve their revenue. However, many academic websites fail to capitalize on their potential by not adhering to the principles of usability according to visitors' culture and gender. Academic institution' websites aiming to attract more visitors require a strategy for designing attractive web interfaces base on their visitors' culture and gender. With a discussion of Hofstede's cultural dimensions, Edward Hall's cultural factor (context communication) and studies on gender preferences in website design (e.g. Mcinnis and Shearer, John Hallock, Simon and its), this article explores how academic institutions might make their website design more attractive. This article represents a web design approach aiming to enhance academic website interface usability and attractiveness through an attending majority of visitors' cultures and genders in academic institutions. © 2014 IEEE.

Loading Wellington Institute of Technology collaborators
Loading Wellington Institute of Technology collaborators