New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with l ....New Developments for Bayesian statistical models and computational methods. Bayesian methods of statistical analysis provide a flexible theory for addressing inference in the presence of uncertainty. Consequently Bayesian methods have enabled scientific discovery in areas characterised as complex systems where new developments in modelling and computational methods have been crucial. Significant barriers to further success involve challenges in formulating and validating models, dealing with large data sets, and developing efficient computational methods. The principal aim of this project is to develop new Bayesian modelling and computational methodology which address these challenges with broad application.Read moreRead less
Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nati ....Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nation will benefit from a fundamental increase in efficiency of research and, therefore, in efficient use of research dollars.Read moreRead less
Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The exp ....Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The expected outcomes are a deployable ownership-based alias analysis in the Rust compiler and an industrial-strength open-source framework. These outcomes are expected to provide significant benefits in improving software quality and security in Rust, an emerging language that offers both performance and safety.Read moreRead less
Computing with nearly-consistent data. This project will help programmers correctly use data that originates at various times and places, and spreads unevenly through a system. Computation will combine data that comes from different situations, and is not exactly consistent. Capability to develop high quality software on platforms with this feature will enhance the value of the Australian IT industry. As well, the industries which use the software benefit from correctly working with their data. ....Computing with nearly-consistent data. This project will help programmers correctly use data that originates at various times and places, and spreads unevenly through a system. Computation will combine data that comes from different situations, and is not exactly consistent. Capability to develop high quality software on platforms with this feature will enhance the value of the Australian IT industry. As well, the industries which use the software benefit from correctly working with their data. Sensor networks have data like this, and they play a vital role in environmental monitoring. Cloud computing platforms also have this type of data, and these allow smaller enterprises to grow smoothly, without needing large up-front investments in computing infrastructure.Read moreRead less
Autocalibration without decimation. The insertion of computer generated characters into real footage, the removal of objects from video, and the recovery of 3-dimensional architectural or topographic models from photographs are amongst a growing number of processes used in industry which require highly accurate camera calibration. Autocalibration is thus a prerequisite for these and many other emerging image-based technologies. By developing expertise in this area, and particularly by enabling ....Autocalibration without decimation. The insertion of computer generated characters into real footage, the removal of objects from video, and the recovery of 3-dimensional architectural or topographic models from photographs are amongst a growing number of processes used in industry which require highly accurate camera calibration. Autocalibration is thus a prerequisite for these and many other emerging image-based technologies. By developing expertise in this area, and particularly by enabling more flexible and efficient means of autocalibration, we expect to provide Australian industry with a valuable improvement in the state of the art and a competitive edge in a number of important application areas.Read moreRead less
Combined shape and appearance descriptors for visual object recognition. The quantity of video generated each year is expanding rapidly. This increasing volume of visual information means that it is more likely that any particular event will be recorded, but that the footage will be harder to find. This applies to a collection of home videos as much as to television and movie footage. The object-recognition method to be developed has the potential to alleviate this situation, in which vast amou ....Combined shape and appearance descriptors for visual object recognition. The quantity of video generated each year is expanding rapidly. This increasing volume of visual information means that it is more likely that any particular event will be recorded, but that the footage will be harder to find. This applies to a collection of home videos as much as to television and movie footage. The object-recognition method to be developed has the potential to alleviate this situation, in which vast amounts of video data are available but have little value. Such an outcome would be a boon for Australian industry and offer a valuable export opportunity.Read moreRead less
Multi-objective parameter estimation techniques for computer vision. This project will benefit Australia's scientific knowledge and technology base in the area of computer vision. By contributing improved methods for parameter estimation applicable to a wide variety of technical problems, the project will aid the generation of improved software products in a wide variety of domains. Examples include: augmented reality systems, with which virtual reality artifacts may be immersed within real vid ....Multi-objective parameter estimation techniques for computer vision. This project will benefit Australia's scientific knowledge and technology base in the area of computer vision. By contributing improved methods for parameter estimation applicable to a wide variety of technical problems, the project will aid the generation of improved software products in a wide variety of domains. Examples include: augmented reality systems, with which virtual reality artifacts may be immersed within real video; 3D from 2D systems, with which 3D object structure may be computed from image streams; and visual robotic systems, with which the pose of viewed objects may be determined.Read moreRead less
Automated acquisition of surveillance-camera network topology. The development of an automated system for acquisition of camera network topology is a crucial prerequisite to obtaining intelligent surveillance systems operating at the network level. Such systems will contribute improved methods for safeguarding Australia from terrorism and crime by facilitating the tracking of suspicious individuals and vehicles, and detecting anomalous behaviours in busy environments. The leading-edge techniques ....Automated acquisition of surveillance-camera network topology. The development of an automated system for acquisition of camera network topology is a crucial prerequisite to obtaining intelligent surveillance systems operating at the network level. Such systems will contribute improved methods for safeguarding Australia from terrorism and crime by facilitating the tracking of suspicious individuals and vehicles, and detecting anomalous behaviours in busy environments. The leading-edge techniques involved will also constitute smart information use of significant commercial value to Australian industry. Read moreRead less
Techniques to use stereo vision for improving person identification systems based on face recognition. The broad aim of this project is to use three-dimensional information available by processing images from stereo cameras in order to bridge the gap between constrained face recognition systems and viable systems that work well under varying illumination, changes in pose and variations in spectacles, facial hair and attire. Such a system will be useful in passenger verification at airports and a ....Techniques to use stereo vision for improving person identification systems based on face recognition. The broad aim of this project is to use three-dimensional information available by processing images from stereo cameras in order to bridge the gap between constrained face recognition systems and viable systems that work well under varying illumination, changes in pose and variations in spectacles, facial hair and attire. Such a system will be useful in passenger verification at airports and as a component of personal identification systems to counter terrorism. The key to successful face location and recognition is an effective combination of all data - range, luminance and colour - and techniques for this will be the discovered outcomes.Read moreRead less
Enhanced parameter estimation for multi-component fitting in computer vision. This project will benefit Australia's scientific knowledge and technology base in the area of computer vision. By contributing improved methods for parameter estimation applicable to a wide variety of technical problems, the project will aid the generation of improved software products in a wide variety of domains. Examples include: augmented reality systems, with which virtual reality artifacts may be immersed within ....Enhanced parameter estimation for multi-component fitting in computer vision. This project will benefit Australia's scientific knowledge and technology base in the area of computer vision. By contributing improved methods for parameter estimation applicable to a wide variety of technical problems, the project will aid the generation of improved software products in a wide variety of domains. Examples include: augmented reality systems, with which virtual reality artifacts may be immersed within real video; behaviour analysis in surveillance, in which complex, articulated 3D object motions may be characterised.Read moreRead less