Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without
-
for inference, yet differs from standard Bayesian approaches through its information-theoretic foundation. The MML87 approximation achieves computational tractability while remaining virtually identical to Strict
-
algorithms and techniques and design, implement, test, and maintain software/tools embodying those methods. You will prepare and submit grant proposals to external funding bodies. This position will also
-
the different crystals might have different orientations. As metals are typically used for load-bearing applications, it is imperative to understand the mechanical performance of such materials. Initially, metals
-
account for more sophisticated linguistic notions such as “always”, “possibly”, “believed” or “knows”. Philosophers therefore invented many different non-classical logics which extend CPL with further
-
This PhD project is part of a larger project that aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain
-
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 different actors' beliefs and intentions. We will study the properties of such explanations, present algorithms for automatically computing them as well as extensions to existing frameworks and evaluate
-
models (eg auto-encoders and generative adversarial networks) and reinforcement/imitation learning algorithms for Markov Decision Processes. The application areas are different problems in text processing