Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of ....Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of existing operating systems that will allow appliances to join and leave networks, and interact with other appliances. Also to be developed are a modeling framework, language and methodology for specifying appliance behaviour, and allow learning from experience.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Where the Really Hard Problems Are: Beyond the Decision Case. This is a project in empirical artificial intelligence. We study factors affecting the average difficulty of computing optimal or near-optimal solutions to instances of problems whose worst cases are typically intractable. Most existing research on the distribution of hard instances concerns decision questions, where the issue is whether solutions exist or not. We seek comparable results for optimization, where the goal is the best so ....Where the Really Hard Problems Are: Beyond the Decision Case. This is a project in empirical artificial intelligence. We study factors affecting the average difficulty of computing optimal or near-optimal solutions to instances of problems whose worst cases are typically intractable. Most existing research on the distribution of hard instances concerns decision questions, where the issue is whether solutions exist or not. We seek comparable results for optimization, where the goal is the best solution, and for approximation, where the goal is a good solution. Expected outcomes include new heuristics for search algorithms, new methods for predicting search costs, and explanations of the average case behaviour of algorithms.Read moreRead less
"It's all about me" - Anthropomorphised Trading in Believable Electronic Markets. There is a need for trustful business environments that will open up the e-markets to a greater population of traders. This project looks at the development of believable e-markets that address this need. Proposed 3D electronic institution technology is expected to facilitate the establishment of robust business structures as the believability of the business activities and interactions in such e-markets will ensur ...."It's all about me" - Anthropomorphised Trading in Believable Electronic Markets. There is a need for trustful business environments that will open up the e-markets to a greater population of traders. This project looks at the development of believable e-markets that address this need. Proposed 3D electronic institution technology is expected to facilitate the establishment of robust business structures as the believability of the business activities and interactions in such e-markets will ensure the principles of trust and reputation in the electronic markets of tomorrow.Read moreRead less
Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such ....Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such as the Bureau of Meteorology and the Department of Defence, which use agent technology. These companies would benefit from this work as it would tackle a long-standing key problem in the area of intelligent systems.Read moreRead less
Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart pre ....Discovering Activity Patterns Driven by High Impacts in Heterogeneous and Imbalanced Data. The identification of high impact activities is important for detecting and preventing their occurrences and reducing resulting risks and losses to our society. This project will deliver cutting-edge techniques for effectively extracting activity patterns driven by high business impacts. It can safeguard Australia and build and transform Australian industries by delivering frontier techniques and smart prevention and intervention capabilities to enhance key industries such as finance compliance, national security and crime reduction. The resulting activity mining system, researchers trained and high quality publications will further enhance Australia's global leading role in tackling critical data mining challenges and applications.Read moreRead less
Complex Decision Making in Intelligent Agent Systems. This project will bring benefit in that it will increase the ability of autonomous computer systems to make complex decisions in dynamic environments. As the use of intelligent autonomous technology is increasing, from smart air-traffic control systems to personal digital assistants to internet software agents, there is also increased demand for more sophisticated reasoning. This is showing in a range of applications such as autonomous vehicl ....Complex Decision Making in Intelligent Agent Systems. This project will bring benefit in that it will increase the ability of autonomous computer systems to make complex decisions in dynamic environments. As the use of intelligent autonomous technology is increasing, from smart air-traffic control systems to personal digital assistants to internet software agents, there is also increased demand for more sophisticated reasoning. This is showing in a range of applications such as autonomous vehicles and equipment, scheduling and resourcing, and business processing. This project will contribute to provide such capabilities to existing technology. It will also assist the Australian Partner Organisation to stay at the forefront internationally in this fast moving area.Read moreRead less
A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also h ....A Framework for Adaptive Extensible Personae for Interactive Toys. This project will be of benefit in that it will facilitate the development of quality toys, based on sound psychological foundations. These toys will have a long life since they can be extended over time, growing with the child. There is also potential to be used for children with psychological difficulties, and applications in health and aged-care. This project will provide opportunities for Australian business, and will also help to keep Australia at the forefront in the area of intelligent agent technology. It is an example of a project that helps create a culture of innovation in Australian industry.Read moreRead less
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less