Research Output

Filter
Book
2000

A Taxonomy and Survey of Grid Resource Management Systems

Krauter, K., Buyya, R. & Maheswaran, M., 2000, Clayton Vic Australia: Monash University. 30 p.

Research output: Book/ReportBookOther

A Temporal Reinforcement Learning Architecture for Problems with Hidden-state

Mitchell, M. W., 2000, Clayton Vic Australia: Monash University. 27 p.

Research output: Book/ReportBookOther

Automatic Component Adaptation by Concurrent State Machine Retrofitting

Schmidt, H. W. & Reussner, R. H., 2000, Clayton Vic Australia: Monash University. 24 p.

Research output: Book/ReportBookOther

A WWW Japanese Dictionary

Breen, J. W., 2000, Clayton Vic Australia: Monash University. 6 p.

Research output: Book/ReportBookOther

Colonial Editions in Australia, 1843-1972

Johanson, G., 2000, Wellington NZ: ELIBANK Press. 315 p.

Research output: Book/ReportBookResearchpeer-review

Correct Interaction Between Programs and Proofs

Poernomo, I. & Crossley, J. N., 2000, Clayton Vic Australia: Monash University. 14 p.

Research output: Book/ReportBookOther

Cost Models for Distributed Data Mining

Krishnaswamy, S., Loke, S. W. & Zaslavsky, A., 2000, Clayton Vic Australia: Monash University. 14 p.

Research output: Book/ReportBookOther

Design Patterns and Contracts

Jezequel, J-M., Train, M. & Mingins, C., 2000, Massachusetts USA: Addison-Wesley Professional. 348 p.

Research output: Book/ReportBookResearchpeer-review

Determination of the Number of Clusters in Colour Image Segmentation

Turi, R. H. & Ray, S., 2000, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther

Establishing Benchmark Measures for a Business Management System: A Case Study

Seen, M., Mingins, C. & Beaumont, N. B., 2000, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Extraction of Structured Programs from Specification Proofs

Crossley, J. N., Poernomo, I. & Wirsing, M., 2000, Clayton Vic Australia: Monash University. 19 p.

Research output: Book/ReportBookOther

4 Citations (Scopus)

Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

Jeavons, J. S., Poernomo, I., Crossley, J. N. & Basit, B., 2000, Clayton Vic Australia: Monash University. 15 p.

Research output: Book/ReportBookOther

Hierarchical Concept Learning using TRACA

Mitchell, M. W., 2000, Clayton Vic Australia: Monash University. 10 p.

Research output: Book/ReportBookOther

LifeWeb: An Evolvable Web

Nguyen, T-L., 2000, Clayton Vic Australia: Monash University. 21 p.

Research output: Book/ReportBookOther

LifeWeb: A Solution to the Broken-link Problem

Nguyen, T-L., 2000, Clayton Vic Australia: Monash University. 11 p.

Research output: Book/ReportBookOther

Lingua::Romana::Perligata -- Perl for the XXI-imus Century

Conway, D. M., 2000, Clayton Vic Australia: Monash University. 18 p.

Research output: Book/ReportBookOther

Modelling Is More Versatile than Shuffling

Allison, L., Powell, D. R. & Dix, T. I., 2000, Clayton Vic Australia: Monash University. 9 p.

Research output: Book/ReportBookOther

Object Oriented Perl

Conway, D. M., 2000, CT USA: Manning Publications Co. 468 p.

Research output: Book/ReportBookResearchpeer-review

On Elementary Computability-theoretic Properties of Algorithmic Randomness

Arslanov, A., 2000, Clayton Vic Australia: Monash University. 13 p.

Research output: Book/ReportBookOther

On the Phenomenon of Autocomputability

Arslanov, A., 2000, Clayton Vic Australia: Monash University. 16 p.

Research output: Book/ReportBookOther

2 Citations (Scopus)

Phase-shift Beamforming

Bhattacharjee, N., Paplinski, A. P. & Hampson, G., 2000, Clayton Vic Australia: Monash University. 32 p.

Research output: Book/ReportBookOther

Programs from Specification Proofs

Crossley, J. N. & Wirsing, M., 2000, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther

4 Citations (Scopus)

Protocols Between Programs and Proofs

Poernomo, I. & Crossley, J. N., 2000, Clayton Vic Australia: Monash University. 8 p.

Research output: Book/ReportBookOther

Restricted Focus Viewer (RFV) Version 2.0 User's Manual

Jansen, A. R., 2000, Clayton Vic Australia: Monash University. 20 p.

Research output: Book/ReportBookOther

Similarity Query Processing in Image Databases

Ramakrishna, M. V. & Nepal, S., 2000, Clayton Vic Australia: Monash University. 22 p.

Research output: Book/ReportBookOther

The Declining Significance of Significance

Korb, K. B. & Thomason, N. R., 2000, Clayton Vic Australia: Monash University. 3 p.

Research output: Book/ReportBookOther

View Interpolation using Morphed Cylindrical Projections

Welsh, S. C. & Conway, D. M., 2000, Clayton Vic Australia: Monash University. 6 p.

Research output: Book/ReportBookOther

1999

A Conceptual Data Modeling Language for Spatiotemporal Data

Price, R., Srinivasan, B. & Kotagiri, R., 1999, Clayton Vic Australia: Monash University. 12 p.

Research output: Book/ReportBookOther

An Overview of HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

35 Citations (Scopus)

A Real-Time Morphing Engine

Welsh, S. C. & Nalwan, A., 1999, Clayton Vic Australia: Monash University. 10 p.

Research output: Book/ReportBookOther

Automatic Generation of Intelligent Diagram Editors

Chok, S. S. & Marriott, K., 1999, Clayton Vic Australia: Monash University. 25 p.

Research output: Book/ReportBookOther

Bayesian Networks with Non-Interacting Causes

Neil, J. R., Wallace, C. S. & Korb, K. B., 1999, Clayton Vic Australia: Monash University. 21 p.

Research output: Book/ReportBookOther

Constraint-Based Diagram Beautification

Chok, S. S., Marriott, K. & Paton, T., 1999, Clayton Vic Australia: Monash University. 8 p.

Research output: Book/ReportBookOther

12 Citations (Scopus)

Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

Bueno, F., Garcia De La Banda, M. J. & Hermenegildo, M., 1999, Clayton Vic Australia: Monash University. 53 p.

Research output: Book/ReportBookOther

24 Citations (Scopus)

Fragmentability of Graphs

Farr, G. E. & Edwards, K., 1999, Clayton Vic Australia: Monash University. 10 p.

Research output: Book/ReportBookOther

From UML to Design by Contract

Mingins, C. & Liu, Y., 1999, Clayton Vic Australia: Monash University. 9 p.

Research output: Book/ReportBookOther

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Introduction to Neural Networks and Data Mining for Business Applications

Smith, K. A., 1999, Emerald Vic Australia: Eruditions Publishing. 155 p.

Research output: Book/ReportBookOther

Kernel Functions in Convolution Surfaces: A Comparative Analysis

Sherstyuk, A. V., 1999, Clayton Vic Australia: Monash University. 9 p.

Research output: Book/ReportBookOther

49 Citations (Scopus)

Managing ATM Connections at IP-ATM Gateways Using Control Operating Policy

Mifsud, T. & Hassan, M., 1999, Clayton Vic Australia: Monash University. 36 p.

Research output: Book/ReportBookOther

Methods of XPointer Extraction for Query Representation in Context Based Search Engines

Milner, T. D., Mingins, C. & Lowder, J., 1999, Clayton Vic Australia: Monash University. 8 p.

Research output: Book/ReportBookOther

Processing a Class of Ophthalmological Images Using an Anisotropic Diffusion Equation

Paplinski, A. P. & Boyce, J. F., 1999, Clayton Vic Australia: Monash University. 13 p.

Research output: Book/ReportBookOther

Recent Trends in Spatiotemporal Data Modelling

Price, R., Kotagiri, R. & Srinivasan, B., 1999, Clayton Vic Australia: Monash University. 12 p.

Research output: Book/ReportBookOther

SCOOBS- A Context Based Search Engine

Milner, T. D. & Lowder, J., 1999, Clayton Vic Australia: Monash University. 17 p.

Research output: Book/ReportBookOther

Shape Design Using Convolution Surfaces

Sherstyuk, A. V., 1999, Clayton Vic Australia: Monash University. 12 p.

Research output: Book/ReportBookOther

Spatiotemporal Extensions to Unified Modeling Language

Price, R., Kotagiri, R. & Srinivasan, B., 1999, Clayton Vic Australia: Monash University. 10 p.

Research output: Book/ReportBookOther

The Architecture of the SCOOBS Context Based Search Engine

Milner, T. D., 1999, Clayton Vic Australia: Monash University. 19 p.

Research output: Book/ReportBookOther

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems

Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., Garcia De La Banda, M. J., Lopez, P. & Puebla, G., 1999, Clayton Vic Australia: Monash University. 18 p.

Research output: Book/ReportBookOther

The Common Object Request Broker Architecture: A Description

Watkins, D., 1999, Clayton Vic Australia: Monash University. 31 p.

Research output: Book/ReportBookOther

The Evolution of Causal Models: A Comparison of Bayesian Metrics and Structure Priors

Neil, J. R. & Korb, K. B., 1999, Clayton Vic Australia: Monash University. 21 p.

Research output: Book/ReportBookOther

1 Citation (Scopus)