Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordi ....Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordinating these lower-level "skills". Such languages allow development of sophisticated robot controllers. We aim to develop a cognitive robotics language capable of controlling robots in real-time and in a multi-agent setting requiring coordination among agents.Read moreRead less
Indexing Large Video Databases to Support Efficient Query Processing. This project aims to develop breakthrough database technology that leverages the advances in video data capturing, computer vision based object recognition, multimedia tagging, large scale database systems and parallel processing, to provide the capability of managing massive video data with enriched semantic information and enabling database-like flexible and efficient video information search. It is expected to establish a n ....Indexing Large Video Databases to Support Efficient Query Processing. This project aims to develop breakthrough database technology that leverages the advances in video data capturing, computer vision based object recognition, multimedia tagging, large scale database systems and parallel processing, to provide the capability of managing massive video data with enriched semantic information and enabling database-like flexible and efficient video information search. It is expected to establish a new data management and processing foundation for big video data analytics.Read moreRead less