Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
3D Diffusion Models for Generating and Understanding 3D Scenes. Diffusion models, such as DALL-E2 and Imagen, have achieved remarkable success in generating photorealistic images and hold promise to solve long-standing computer vision problems. However, 3D scene generation remains unexplored. This research project aims to bridge the gap by developing 3D diffusion models capable of generating complete 3D scenes. This will advance our theoretical understanding of diffusion in complex 3D environmen ....3D Diffusion Models for Generating and Understanding 3D Scenes. Diffusion models, such as DALL-E2 and Imagen, have achieved remarkable success in generating photorealistic images and hold promise to solve long-standing computer vision problems. However, 3D scene generation remains unexplored. This research project aims to bridge the gap by developing 3D diffusion models capable of generating complete 3D scenes. This will advance our theoretical understanding of diffusion in complex 3D environments and open up new possibilities for applications in fields such as virtual reality, architecture, and city planning. The proposed 3D diffusion models will also enhance the accuracy of computer vision tasks related to 3D scene understanding, such as object detection, tracking, and semantic segmentation.Read moreRead less
Optimal Robust Fitting under the Framework of LP-Type Problems. The project aims to develop algorithms to support the development of robust and accurate computer vision systems. Real-world visual data (images, videos) is inherently noisy and outlier prone. To build computer vision systems that work reliably in the real world, it is necessary to ensure that the underlying algorithms are robust and efficient. The project aims to devise novel algorithms that can compute the best possible result giv ....Optimal Robust Fitting under the Framework of LP-Type Problems. The project aims to develop algorithms to support the development of robust and accurate computer vision systems. Real-world visual data (images, videos) is inherently noisy and outlier prone. To build computer vision systems that work reliably in the real world, it is necessary to ensure that the underlying algorithms are robust and efficient. The project aims to devise novel algorithms that can compute the best possible result given the input data in a short amount of time. The expected outcomes would support the construction of reliable and accurate computer vision-based systems, such as large-scale 3-D reconstruction from photo collections, self-driving cars and domestic robots.Read moreRead less
Active multispectral computer vision for defence and security. This project will develop new techniques to extract intelligent information from multispectral images in the visible and near infra-red spectrum. It will enable computers to automatically recognise objects, faces and human actions with unprecedented accuracy.
Person identification from multiple non-invasive iris and face biometrics in video. This project will undertake research to develop a prototype system for personal identification that can be used by law enforcement and security agencies to enrol people at points of entry at public places. The system will non-invasively acquire face and iris biometrics and match them against a database of known persons. The proposed system can be used in sensitive buildings for access control, eliminating the nee ....Person identification from multiple non-invasive iris and face biometrics in video. This project will undertake research to develop a prototype system for personal identification that can be used by law enforcement and security agencies to enrol people at points of entry at public places. The system will non-invasively acquire face and iris biometrics and match them against a database of known persons. The proposed system can be used in sensitive buildings for access control, eliminating the need to carry access cards or remember passwords. This research contributes to the national research priority of Safeguarding Australia. We will develop new techniques in computer vision and train new researchers in this area.Read moreRead less
Development of a three dimensional audio-visual next generation speech recognition system. To overcome the disadvantages of current Audio-Visual Speech Recognition Systems, we propose a set of robust algorithms in three dimensional computer vision and speech processing. The proposed system will have far-reaching implications in various areas, for example, human-machine interaction for speech recognition in automated dialog systems and voice-to-text conversions.
Integration of Spatiotemporal Video Data for Realtime Smart Proactive Surveillance. This project will have a great impact on the national security by helping the law enforcement agencies to stop crime before it happens. It will automatically detect and tag criminal activities in surveillance videos. It will detect, authenticate, track and profile individuals in sensitive installations. At airports, it will match faces to electronic images embedded in passports. The system will use existing surve ....Integration of Spatiotemporal Video Data for Realtime Smart Proactive Surveillance. This project will have a great impact on the national security by helping the law enforcement agencies to stop crime before it happens. It will automatically detect and tag criminal activities in surveillance videos. It will detect, authenticate, track and profile individuals in sensitive installations. At airports, it will match faces to electronic images embedded in passports. The system will use existing surveillance infrastructures for locating lost people and will also ensure privacy protection of public. On the commercial side, this project can recognize old customers for better and customized services. It can count the number of people present in each floor of a building for rescue operations and for designing future buildings.Read moreRead less
Intelligent Virtual Human Companions. This research aims to develop intelligent virtual human companions that can seemingly integrate our immediate physical environment and understand their surroundings including people’s emotions, behaviours, actions and interactions. Such a technology will be enabled by leveraging recent advances in mixed/augmented reality technologies, and by developing innovative artificial intelligence and computer vision and graphics algorithms for dynamic real-world envir ....Intelligent Virtual Human Companions. This research aims to develop intelligent virtual human companions that can seemingly integrate our immediate physical environment and understand their surroundings including people’s emotions, behaviours, actions and interactions. Such a technology will be enabled by leveraging recent advances in mixed/augmented reality technologies, and by developing innovative artificial intelligence and computer vision and graphics algorithms for dynamic real-world environments. Unlike robots, the proposed technology will be low cost, readily deployable and customisable, and will not have any physical limitations or maintenance requirements. It will thus have a wide range of applications from elderly care, healthcare care to educational training.Read moreRead less
Creating evidence-based public open space standards for apartment residents. This project aims to examine how to create public open space for apartment residents. It will (1) identify how apartment dwellers use public open space, including which spaces are used and why; and (2) test whether public open space use compensates for reduced apartment/building space. With less private space, apartment residents are assumed to rely on public spaces for physical, social and recreational activities. Yet ....Creating evidence-based public open space standards for apartment residents. This project aims to examine how to create public open space for apartment residents. It will (1) identify how apartment dwellers use public open space, including which spaces are used and why; and (2) test whether public open space use compensates for reduced apartment/building space. With less private space, apartment residents are assumed to rely on public spaces for physical, social and recreational activities. Yet little is known about which spaces they use and why, and what they would prefer. Expected outcomes include tailored, equitable evidence-based recommendations for public open space planning and apartment design guidelines. Benefits include the delivery of sustainable high-density precincts that cater to community needs.Read moreRead less