Sort by
Refine Your Search
-
developed and implemented such methods for a plethora of non-classical logics [2]. But how can we guarantee that the implementation is faithful to the theory? Indeed, how can we be sure that we have not made
-
This project aims to develop robust algorithms capable of identifying and analyzing fingertips extracted from both static images and video footage. Machine learning techniques, particularly computer
-
experiments for months before the value of output y is measured for some given input x. This creates an exciting challenge for AI researchers to develop smart algorithms that can find the optimal value of input
-
queries, and automating data transformations. By combining advancements in natural language understanding, algorithm synthesis, and debugging, the proposed framework will enable developers to efficiently
-
We are excited to offer a fully funded PhD position at the Faculty of Engineering, Monash University (Australia). This project focuses on developing new algorithms to equip social robots with
-
collaborative research, further developing expertise within the field. Key Responsibilities Conduct research on complex quantum processes, particularly using the process tensor formalism, and leverage practical
-
This project aims to employ advanced machine learning techniques to analyse text, audio, images, and videos for signs of harmful behaviour. Natural language processing algorithms are utilized
-
This project focuses on developing algorithms capable of automatically identifying and categorizing mobile ringtones. This involves leveraging machine learning techniques to analyze audio signals
-
explore unconventional ideas, develop computer algorithms for data analysis, create new experimental approaches, and apply the technique in areas like biomedicine, materials science, and geology. My group
-
the development of Explainable AI Systems that can provide explanations of AI agent decisions to human users. Past work on plan explanations primarily focused on explaining the correctness and validity of plans. In