Sort by
Refine Your Search
-
and machine learning. We focus on inductive logic programming (ILP), a form of inductive program synthesis which learns logical rules from data. The focus of this position is to develop ILP/program
-
machine learning. We focus on inductive logic programming (ILP), which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers, to learn rules
-
Finnish Sign Language. The responsibilities of the appointee include developing approaches that use automatic speech recognition, computer vision models and other computational methods to annotate the data
-
vision models and other computational methods to annotate the data, and verifying the quality of these annotations using human-in-the-loop approaches. In addition to conducting research, the post-doctoral