Class-Balanced Experts}, AUTHOR = {Sharma, Saurabh and Yu, Ning and Fritz, Mario and Schiele, Bernt}, LANGUAGE = {eng}, ISBN = {978-3-030-71277-8}, DOI = {10.1007/978-3-030-71278-5_7}, PUBLISHER = {Springer} [...] Any-Shot Learning}, AUTHOR = {Xian, Yongqin and Sharma, Saurabh and Schiele, Bernt and Akata, Zeynep}, LANGUAGE = {eng}, ISBN = {978-1-7281-3293-8}, DOI = {10.1109/CVPR.2019.01052}, PUBLISHER = {IEEE}, YEAR = [...] {Sharma, Saurabh and Varigonda, Pavan Teja and Bindal, Prashast and Sharma, Abhishek and Jain, Arjun}, LANGUAGE = {eng}, ISBN = {978-1-7281-4803-8}, DOI = {10.1109/ICCV.2019.00241}, PUBLISHER = {IEEE}, YEAR =
Traits}, AUTHOR = {Hoppe, Sabrina and Loetscher, Tobias and Morey, Stephanie and Bulling, Andreas}, LANGUAGE = {eng}, ISSN = {1662-5161}, DOI = {10.3389/fnhum.2018.00105}, PUBLISHER = {Frontiers Research [...] Detection Using Convolutional Neural Networks}, AUTHOR = {Hoppe, Sabrina and Bulling, Andreas}, LANGUAGE = {eng}, URL = {http://arxiv.org/abs/1609.02452}, EPRINT = {1609.02452}, EPRINTTYPE = {arXiv}, YEAR [...] Nikolina and Hoppe, Sabrina and Moniri, Mohammed Mehdi and Staudte, Maria and Bulling, Andreas}, LANGUAGE = {eng}, ISBN = {978-0-9911967-2-2}, PUBLISHER = {Cognitive Science Society}, YEAR = {2015}, DATE
Linear Arithmetic Solver SPASS-SATT is a complete solver for ground linear arithmetic. The input language of SPASS-SATT is a subset of the SMT-LIB standard v2.6 that supports only the commands (set-logic
s are by default turned on in SPASS-IQ. Input Format As input format, SPASS-IQ uses the SMT-LIB language v2 . However, we currently restrict ourselves to conjunctions of linear arithmetic inequalities
Information Extraction SOFIE is a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an ontology. SOFIE uses logical
appropriate formalization, i.e. an explicit and consistent representation of a rule-based system by a language of logic, is still the subject of research. However, formalization is a prerequisite for the assurance [...] research encompasses the analysis of existing rule-based systems, the development of a suitable formal language and the development of automatic methods for calculation of properties. Ching Hoo Tang RG. 1 Automation
their extreme complexity makes them difficult to understand, an issue seen for example in large language models like ChatGPT. In scientific applications, this lack of transparency can significantly hinder
Basic experience in research methods and scientific writing is a plus. Basic knowledge of the German language or willingness to learn German is an advantage. Please send your application, quoting the reference
and Hagemann, Willem and Rakow, Astrid and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris}, LANGUAGE = {eng}, ISSN = {1860-9821}, NUMBER = {ATR103}, INSTITUTION = {SFB/TR 14 AVACS}, YEAR = {2016}, [...] Hybrid Automata}, AUTHOR = {Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica}, LANGUAGE = {eng}, ISSN = {1860-9821}, NUMBER = {ATR111}, INSTITUTION = {SFB/TR 14 AVACS}, YEAR = {2015}, [...] Systems with Blocking and Congruence Closure}, AUTHOR = {Schmidt, Renate A. and Waldmann, Uwe}, LANGUAGE = {eng}, NUMBER = {uk-ac-man-scw:268816}, INSTITUTION = {University of Manchester}, ADDRESS = {
ikum2010, TITLE = {A Language Modeling Approach for Temporal Information Needs}, AUTHOR = {Berberich, Klaus and Bedathur, Srikanta and Alonso, Omar and Weikum, Gerhard}, LANGUAGE = {eng}, URL = {http://domino [...] of many languages are hierarchically organized in terms of their meanings and their semantic relations to other words. This resource is bootstrapped from WordNet, a well-known English-language resource [...] of many languages are hierarchically organized in terms of their meanings and their semantic relations to other words. This resource is bootstrapped from WordNet, a well-known English-language resource
