Search

Neumann, Jens Schmidt and Christine Rizkallah Transferring an algorithm (i.e. a solution procedure, which is usually given as a natural language description) to computer code is difficult and error prone. Even [...] Through certifying algorithms we can use this powerful technique to prove that our algorithm's answers are always correct if the checker agrees with them. Developing certifying algorithms is a major goal [...] testing a graph for 3-connectivity and for 3-edge-connectivity. These problems are important for various applications in the areas of graph drawing and graph embeddings and for validating 3D-polytopes. Although

they are molecular engines that synthesize and decompose molecular building blocks such as nucleic and amino acids; convert energy; and facilitate regulation and communication inside cells. They can do so [...] occasions, proteins assemble into complexes to perform their task. These complexes can comprise hundred of proteins. Prediction and analysis of properties of protein complexes is one of the major tasks in [...] Events Protein structure and interactions Protein structure and interactions: Bioinformatics-supported fight against viral diseases Olga Kalinina combines genomic-, modeling-, and biophysics-based methods

very complex calculations and are, therefore, not real-time. In addition, these methods require several video cameras. Motion measurement from a single camera perspective is an extremely complex and highly [...] in an animation program. This is a very time intensive and complex process. The geometry of the person must be constructed in precise detail, and each nuance of movement must be finely specified. It is [...] type of Performance Capture Algorithms. For the first time, it is possible to reconstruct the detailed movement, dynamic geometry, and dynamic texture of a person in complex clothing, such as, a dress or

for the analysis and automated extraction of knowledge from natural language text, and for pattern mining and logical reasoning on the resulting knowledge bases. Department 5: Databases and Information Systems [...] ed challenges to information management. The development of the Web 2.0 and social networks, the ubiquity of mobile devices and sensor networks, as well as advances in gathering scientific data contribute [...] of many users and user groups is analyzed in order to create recommendations for each individual user. The key challenges that recommender systems need to solve are (1) the modeling and prediction of user

high-quality fact extraction from complex textual inputs. Overview Ambiguity, complexity, and diversity in natural language textual expressions are major hindrances to automated knowledge extraction. As a result [...] statistics derived from Web Corpora (Wikipedia and ClueWeb) with semantic resources (WordNet and ConceptNet) to construct a large dictionary of entity and relational phrases. It employs specifically designed [...] where the issues of diversity and complexity in expressing relations are far more pronounced. For scientific works, please cite this paper Combining Information Extraction and Human Computing for Crowdsourced

derive seeds from WordNet and by pattern matching from Web text collections. The Label Propagation algorithm provides us with domain sets and range sets for 19 different relations, and with confidence-ranked [...] assertions, nouns and adjectives, are disambiguated by mapping them onto their proper WordNet senses. Large-scale experiments demonstrate the high accuracy (more than 80 percent) and coverage (more than [...] Research Departments Databases and Information Systems Research Commonsense Knowledge WebChild WebChild: Commonsense Knowledge from the Web Overview WebChild is a large collection of commonsense knowledge

navigation Institute D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] Departments D1 Algorithms & Complexity D2 Computer Vision and Machine Learning D3 Internet Architecture D4 Computer Graphics D5 Databases and Information Systems D6 Visual Computing and Artificial Intelligence [...] RG2 Network and Cloud Systems RG3 Multimodal Language Processing Publications Algorithms & Complexity Computer Vision and Machine Learning Internet Architecture Computer Graphics Databases and Information

runs again through the documents and finds all sentences in which a positive pattern matches (possibly approximately), but a counterexample stands in the place of X and Y. The corresponding pattern is collected [...] techniques. LEILA runs through the documents again and finds all sentences, in which a generalized positive pattern matches. It proposes the words in place of X and Y as a new pair. For example, if it finds the [...] approach is very simple and widely used. Different from previous systems, LEILA uses a deep linguistic analysis of the documents by the Link Grammar Parser. Thus, its patterns are deeper and more robust than

Augusto and Velloso, Eduardo and Bulling, Andreas and Masai, Katsutoshi and Sugiura, Yuta and Ogata, Masa and Kunze, Kai and Inami, Masahiko and Sugimoto, Maki and Rathnayake, Anura and Dias, Tilak}, LANGUAGE [...] AUTHOR = {Loetscher, Tobias and Chen, Celia and Wignall, Sophie and Bulling, Andreas and Hoppe, Sabrina and Churches, Owen and Thomas, Nicole A. and Nicholls, Michael E. R. and Lee, Andrew}, LANGUAGE = {eng} [...] Spatial Neglect}, AUTHOR = {Loetscher, Tobias and Chen, Celia and Hoppe, Sabrina and Bulling, Andreas and Wignall, Sophie and Owen, Churches and Thomas, Nicole and Lee, Andrew}, LANGUAGE = {eng}, DOI = {10

common strengths and weaknesses of existing methods, and provide insights and metrics for selecting and tuning proposal methods. See the Difference: Direct Pre-Image Reconstruction and Pose Estimation by [...] repeatability, and impact on DPM, R-CNN, and Fast R-CNN detector performance. We introduce a novel metric, the average recall (AR), which rewards both high recall and good localisation and correlates su [...] Research Departments Computer Vision and Machine Learning Research Object Recognition and Scene Understanding Object Recognition and Scene Understanding Learning Non-Maximum Suppression Object detectors