Guide to Current Research in Victorian Universities Department of State and Regional Development
Information, Computer and Communication Technologies 1999 Contents Search Previous Next

The University of Melbourne

http://www.unimelb.edu.au/research
The University of Melbourne Contacts Page
Contact Details

Faculty of Arts
Department of Philosophy
[ Australian Science at Work Entry ]

Reason! - Software for informal reasoning
Chief Researcher: van Gelder Dr T
Duration: For completion 2000
Descriptors: REASONING; AUGMENTATION; COGNITIVE SKILL ACQUISITION; MULTIMEDIA; COMPUTER-ASSISTED LEARNING
Fields of Research: 050108 Cognitive Science
059999 Information, Computers and Communication Technologies n.e.c.

 

Faculty of Engineering
Department of Computer Science and Software Engineering
http://www.cs.mu.oz.au/
[ Australian Science at Work Entry ]

Managing very large data sets for decision support
Chief Researcher: Kotagiri Prof R
Duration: 1998-2000
Descriptors: LOGIC; DATA MINING; DECISION SUPPORT; LARGE DATABASES; QUERY OPTIMIZATION; RULES IN DATABASES
Fields of Research: 050102 Information Systems Management
050399 Computer Software n.e.c.


Animating specifications to improve the formal specification process
Chief Researcher: Dart Dr P
Duration: 1998-2000
Descriptors: SOFTWARE ENGINEERING; SOFTWARE REQUIREMENTS; FORMAL SPECIFICATION; VALIDATION; ANIMATION; LOGIC PROGRAMMING
Field of Research: 050302 Software Engineering


Knowledge-based construction of software agents: Selective information gathering from the World-Wide Web
Chief Researcher: Sterling Prof L
Duration: 1998
Descriptors: AGENTS; HEURISTIC SEARCH; ARTIFICIAL INTELLIGENCE; KNOWLEDGE REPRESENTATION
Field of Research: 050302 Software Engineering


Optimization of Pure logic programs by programs transformation and parallization
Chief Researcher: Sondergaard Dr H
Duration: 1996-1998
Descriptors: LOGIC PROGRAMMING; COMPUTER SOFTWARE; COMPILER OPTIMIZATION; MATHEMATICS OF COMPUTING
Field of Research: 050303 Computer Languages


Programming environments for logic programming languages
Chief Researcher: Naish Dr L
Duration: 1996-1998
Descriptors: LOGIC PROGRAMMING; COMPUTER SOFTWARE; COMPILER OPTIMIZATION; MATHEMATICS OF COMPUTING
Field of Research: 050303 Computer Languages


An efficient, robust and extensible constraint programming language
Chief Researcher: Stuckey Dr P
Duration: 1997-1999
Descriptors: CONSTRAINT PROGRAMMING; PROGRAMMING LANGUAGES; PROGRAM ANALYSIS
Field of Research: 050303 Computer Languages


High performance information filtering
Chief Researcher: Moffat Assoc Prof A
Duration: 1997-1999
Descriptors: INFORMATION FILTERING; INFORMATION RETRIEVAL; DOCUMENT DATABASE; SELEC'ITVE DISSEMNATION OF INFORMATION; INDEXING TECHNIQUES
Fields of Research: 050199 Information Systems and Technologies n.e.c.
050399 Computer Software n.e.c.


Effective specification-based strategies
Chief Researcher: Chen Dr T Y
Duration: 1998
Descriptors: SOFTWARE ENGINEERING; TESTING
Field of Research: 050302 Software Engineering


An intelligent image information management system
Chief Researcher: Liu Assoc Prof Z-Q
Duration: 1998-2000
Descriptors: INTELLIGENT SYSTEMS; IMAGE-INFORMATION MANAGEMENT--RETRIEVAL; --INTERPRETATION; IMAGE AND SYMBOLIC DATABASES--STRUCTURAL AND FUNCTIONAL SIMILARITIES
Fields of Research: 050101 Computer SystemsOrganisation
050103 Artificial Intelligence and Expert Systems
050199 Information Systems and Technologies n.e.c.


Dynamic configuration of dynamic programmed objects: advancing techniques and methodologies for the prearrangement and rearrangement of dynamic objects in v-yberspace
Chief Researcher: Sterling Prof L
Sponsor: Ericsson
Duration: 1998-1999
Descriptors: SOFTWARE ENGINEERING; OBJECTS
Field of Research: 050302 Software Engineering


Agent-based software engineering resource
Chief Researcher: Sterling Prof L
Sponsor: Department of Industry, Science and Resources
Duration: 1998
Descriptors: SOFTWARE ENGINEERING; AGENTS
Field of Research: 050302 Software Engineering


Shell for information agents
Chief Researcher: Sterling Prof L
Sponsor: Adacel
Duration: 1998
Descriptors: AGENTS; EXPERT SYSTEMS; WWW
Field of Research: 050103 Artificial Intelligence and Expert Systems


Battle model software development
Chief Researcher: Tidhar G
Sponsor: DSTO
Duration: 1998
Descriptors: SOFTWARE ENGINEERING; AGENTS
Field of Research: 050302 Software Engineering


Face recognition technologies
Chief Researcher: Liu Assoc Prof Z-Q
Sponsor: DSTO
Duration: 1997-1998
Descriptors: COMPUTER VISION; MACHINE LEARNING; PATTERN RECOGNITION; OBJECT RECOGNITION
Field of Research: 050106 Image Processing


Intelligent navigational systems for autonomous and tele-robots
Chief Researcher: Liu Assoc Prof Z-Q
Sponsor: Department of Industry, Science and Resources
Duration: 1998
Descriptor: AUTONOMOUS ROBOTICS
Field of Research: 060201 Robotics and Mechatronics


Multimedia support for teaching of algorithms
Chief Researcher: Stern Dr L
Sponsor: University Multimedia and Educational
Technologies Committee
Duration: 1998
Descriptors: MULTIMEDIA; VISUALIZATION; ALGORITHMS
Field of Research: 050301 Programming Techniques


Ruggedised and high performance logic programming for the real world
Chief Researcher: Dr Somogyi Z
Sponsor: Commission of the European Communities
Duration: 1998
Descriptors: PROGRAMMING LANGUAGES; SOFTWARE
Field of Research: 050303 Computer Languages


Image segmentation for sultana processing
Chief Researcher: Liu Assoc Prof Z-Q
Sponsor: Dried Fruits Research and Development Council
Duration: -1997
Descriptors: IMAGE PROCESSING; NEURALNETWORKS
Field of Research: 050106 Image Processing


A computer vision system for quantitative bone image analysis
Chief Researcher: Liu Assoc Prof Z-Q
Duration: -1997
Descriptors: COMPUTER VISION; BONE ANALYSIS; IMAGE SEGMENTATION
Field of Research: 050106 Image Processing


Detecting errors in formal specifications by constraint solving
Chief Researcher: Dart Dr P
Duration: -1997
Descriptors: SOFTWARE ENGINEERING, FORMAL METHODS
Field of Research: 050302 Software Engineering


Formal software development based on refinement targeting the mercury programming language
Chief Researcher: Kazmierezak Dr E
Duration: -1997
Descriptors: SOFTWARE ENGINEERING; REQUIREMENTS VALIDATION; FORMAL METHODS
Field of Research: 050302 Software Engineering


Linking usability with software development
Chief Researcher: Johnston Dr L
Duration: -1997
Descriptors: SOFTWARE ENGINEERING; HUMAN COMPUTER INTERACTION
Field of Research: 050302 Software Engineering


Exploiting heuristic knowledge for software searching agents
Chief Researcher: Sterling Prof L
Duration: 1997-1998
Descriptors: AGENTS; EXPERT SYSTEMS, WWW
Field of Research: 050103 Artificial Intelligence and Expert Systems


Partition-based test case selection strategies
Chief Researcher: Chen Dr T Y
Duration: -1997
Descriptor: SOFTWARE ENGINEERING
Field of Research: 050302 Software Engineering


Machine intelligent project: efficient reasoning with large knowledge bases
Chief Researcher: Kotagiri Prof R
Duration: 1995-1997
Descriptors: DATABASES; LOGIC PROGRAMMING; PROLOG; DATA MANAGEMENT; DATABASE METHODS; DISTRIBUTED SYSTEMS
Field of Research: 050102 Information Systems Management


Intelligent 3D object recognition system for robotic vision
Chief Researcher: Liu Assoc Prof Z-Q
Duration: 1995-1997
Descriptors: ROBOTICS; PATTERN RECOGNITION
Field of Research: 050108 Cognitive Science


Constraint programming languages: Design and implementation
Chief Researcher: Stuckey Dr P
Duration: 1995-1997
Descriptors: LANGUAGES; LOGIC PROGRAMMING; SEMANTICS
Field of Research: 050303 Computer Languages


Incremental database query evaluation in dynamic environments
Chief Researcher: Dr Dong G
Duration: 1995-1997
Descriptors: DATABASE; VIEW
MAINTENANCE; UPDATE MAINTENANCE
Field of Research: 050102 Information Systems Management


Design and analysis of efficient coding methods for large alphabets
Chief Researcher: Moffat Assoc Prof A
Duration: 1995-1997
Descriptors: DATA COMPRESSION; ALGORITHMS; DATA STRUCTURES
Field of Research: 050301 Programming Techniques


Improved sultana classification through objective measurement of berry colour and size
Chief Researcher: Liu Assoc Prof Z-Q
Sponsor: Dried Fruit Institute
Duration: -1997
Descriptors: IMAGE PROCESSING; NEURALNETWORKS
Field of Research: 050106 Image Processing


Timber grading
Chief Researcher: Liu Assoc Prof Z-Q
Sponsor: CSIRO-Collaborative Research Project
Duration: -1997
Descriptors: PATTERN RECOGNITION; IMAGE SEGMENTATION
Field of Research: 050106 Image Processing


Software architectural design for collaborative software development
Chief Researcher: Abbas R (PhD)
Sponsor: Eriesson
Current Status: Ongoing
Descriptor: SOFTWARE ENGINEERING
Field of Research: 050302 Software Engineering


Vision-guided autonomous mobile robots using a knowledge-based approach
Chief Researcher: Barnes N (PhD)
Current Status: Ongoing
Descriptors: VISION; ROBOTICS
Field of Research: 050103 Artificial Intelligence and Expert Systems


Indexing techniques for personal information management
Chief Researcher: Bell T (PhD)
Current Status: Ongoing
Descriptor: INFORMATION RETRIEVAL
Field of Research: 050199 Information Systems and Technologies n.e.c.


Markov random fields for unstrained handwritten word recognition
Chief Researcher: Cai J (PhD)
Current Status: Ongoing
Descriptor: ARTIFICIAL INTELLIGENCE
Field of Research: 050106 Image Processing


A method for user interface specification
Chief Researcher: Chesson P (PhD)
Current Status: Ongoing
Descriptor: SOFTWARE ENGINERING
Field of Research: 050302 Software Engineering


Formal analysis of inheritance mechanisms
Chief Researcher: Crnogorac L (PhD)
Current Status: Ongoing
Descriptors: AGENTS; SOFTWARE
Field of Research: 050303 Computer Languages


Modelling requirements for software systems
Chief Researcher: Haywood E (PhD)
Sponsor: VUT
Current Status: Ongoing
Descriptors: SOFTWARE ENGINEERING; REQUIREMENTS MODELLING
Field of Research: 050302 Software Engineering


Real time reasoning
Chief Researcher: Kinny D (PhD)
Sponsor: Australian Artificial Intelligence Institute
Current Status: Ongoing
Descriptors: MULTI-AGENTS SYSTEMS; METHODOLOGIES
Field of Research: 050103 Artificial Intelligence and Expert Systems


Adding logic programming behaviour to the World Wide Web
Chief Researcher: Seng Wai Loke (PhD)
Duration: 1998
Descriptors: PROGRAMMING LANGUAGES; WWW
Field of Research: 050103 Artificial Intelligence and Expert Systems


Testing methodologies for agent-oriented systems
Chief Researcher: Chi Keen Low (PhD)
Current Status: Ongoing
Descriptors: SOFTWARE ENGINEERING; TESTING; AGENTS
Field of Research: 050302 Software Engineering


Semantics of actions, agents, and environments
Chief Researcher: Morley D (PhD)
Sponsor: Australian Artificial Intelligence Institute
Current Status: Ongoing
Descriptors: MULTI-AGENTS SYSTEMS; REASONING ABOUT EVENTS
Field of Research: 050103 Artificial Intelligence and Expert Systems


The optimisation of deductive databases
Chief Researcher: Pang C (PhD)
Current Status: Ongoing
Descriptor: DATABASE
Field of Research: 050102 Information Systems Management


Dynamic perceptual organisation for computer vision
Chief Researcher: Prewer D (PhD)
Current Status: Ongoing
Descriptor: VISION
Field of Research: 050106 Image Processing


Precise and efficient static analysis of logic programs
Chief Researcher: Schachte P (PhD)
Current Status: Ongoing
Descriptor: PROGRAMMING LANGUAGES
Field of Research: 050303 Computer Languages


Constraint search trees
Chief Researcher: Sitzmann I
Current Status: Ongoing
Descriptor: PROGRAMMING LANGUAGES
Field of Research: 050303 Computer Languages


Corporate data interchange and downsizing entering the 21st century
Chief Researcher: Steel K (PhD)
Current Status: Ongoing
Descriptor: E-COMMERCE
Field of Research: 050102 Information Systems Management


Intrusion detection systems
Chief Researcher: Tan K (PhD)
Current Status: Ongoing
Descriptor: SECURITY
Field of Research: 050199 Information Systems and Technologies n.e.c.


Team-oriented programming. Theory and practice
Chief Researcher: Tidhar G (PhD)
Sponsor: Australian Artificial Intelligence Institute
Current Status: Ongoing
Descriptors: MULTI-AGENTS SYSTEMS; ORGANISATIONAL STRUCTURES--TEAMWORK
Field of Research: 050103 Artificial Intelligence and Expert Systems


Efficient prefix coding
Chief Researcher: Turpin A
Current Status: Ongoing
Descriptor: INFORMATION RETRIEVAL
Field of Research: 059901 Mathematics of Computing


Data mining
Chief Researcher: Xiuzhen Zhang
Current Status: Ongoing
Descriptor: DATABASES
Field of Research: 050102 Information Systems Management


Fuzzy logic in signal processing
Chief Researcher: Yajun Zhang (PhD)
Current Status: Ongoing
Descriptor: ARTIFICIAL INTELLIGENCE
Field of Research: 050103 Artificial Intelligence and Expert Systems


The intelligent monitoring of perturbations in ill-defined gas/liquid/solid reactions
Chief Researcher: Coster A (PhD)
Sponsor: GK Williams CRC
Duration: For completion 2001
Field of research: 050103 Artificial Intelligence and Expert Systems


The effect of flotation conditions on froth appearance
Chief Researcher: Bezuidenhout M (PhD)
Sponsor: MRS
Duration: For completion February 1999
Fields of research: 050103 Artificial Intelligence and Expert Systems
050106 Image Processing

 

Faculty of Science
Department of Information Systems
[ Australian Science at Work Entry ]

Applications of multimedia information systems to teaching and learning
Chief Researcher: Pearce J
Current Status: 1998-.
Descriptors: MULTIMEDIA; INTERNET; WEB; TEACHING AND LEARNING; PEDAGOGY
Field of Research: 050199 Information Systems and Technologies n.e.c.


Understanding the outcomes of video-based and MBL-based analyses in learning physics
Chief Researcher: Pearce J
Current Status: For completion 1999
Descriptors: PIIYSICS EDUCATION; VIDEO-ANALYSIS; MICROCOMPUTER-BASED LABORATORY
Field of Research: 050199 Information Systems and Technologies n.e.c.


Development of on-line learning materials in undergraduate physics
Chief Researcher: Livett M
Sponsor: TALMET
Current Status: For completion 1999
Descriptors: PHYSICS LEARNING; MULTIMEDIA; INTERACTIVITY; WEB
Field of Research: 050199 Information Systems and Technologies n.e.c.


Modelling and analysing real-world physics
Chief Researcher: Pearce J
Sponsor: CUTSD
Current Status: For completion 1999
Descriptors: PHYSICS; NUMERICAL MODELLING; REAL-WORLD; WEB
Field of Research: 050199 Information Systems and Technologies n.e.c.


Usability of the web
Chief Researcher: Nott Assoc Prof M
Current Status: Ongoing
Descriptors: ON-LINE STRATEGIES., OPTIMALWEB INTERFACES; BUSINESS., INDUSTRY
Field of research: 050199 Information Systems and Technologies n.e.c.


Barriers to implementation of electronic commerce in SMEs in Australia
Researchers: Corbitt Dr B, Behrendorff G (Monash), Fisher J (Monash) and Clarke R (ANU)
Sponsor: Department of Industry, Science & Resources
Current Status: Completed
Field of Research: 050199 Information Systems and Technologies n.e.c.


The economic and social impact of smart cards
Researchers: Corbitt Dr B, Fisher J (Monash), Mills J (Monash) and Crowley M
Current Status: Completed
Field of Research: 050199 Information Systems and Technologies n.e.c.

 


Published by the Australian Science and Technology Heritage Centre on AustehcWeb, March 2000
WWW edition
[ Top of Page | Contact Details | Search | Previous | Next | List of Guides ]