Biblio

Export 39 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
2019
Pinto, J. M. G., J. Wawrzinek, S. Kori, and W. - T. Balke, "Can Language Inference Support Metadata Generation?", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Wawrzinek, J., J. M. G. Pinto, and W. - T. Balke, "Linking Semantic Fingerprints of Literature – from Simple Neural Embeddings Towards Contextualized Pharmaceutical Networks", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract  Download: paper_20.pdf (408.4 KB)
Pinto, J. M. G., J. Wawrzinek, and W. - T. Balke, "What Drives Research Efforts? Find Scientific Claims That Count!", The ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL), Urbana-Champaign, Illinois USA, IEEE, 06/2019. Abstract  Download: jcdl_2019_final_version.pdf (929.69 KB)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
2018
Wawrzinek, J., J. M. G. Pinto, P. Markiewka, and W. - T. Balke, "Do Scaling Algorithms Preserve Word2Vec Semantics? A Case Study for Medical Entities", 13th International Conference on Data Integration in Life Science (DILS2018), Hannover, Germany, 11/2018. Abstract  Download: Camera-Ready of DILS2018 Paper 7.pdf (862.63 KB)
Pinto, J. M. G., N. Kiehne, and W. - T. Balke, "Towards Semantic Quality Enhancement of User Generated Content", The 20th International Conference on Asia-Pacific Digital Libraries (ICADL), Hamilton, New Zealand, 11/2018. Abstract  Download: Camera-Ready of ICADL2018 Paper 40.pdf (505.26 KB)
Pinto, J. M. G., and W. - T. Balke, "Scientific Claims Characterization for Claim-Based Analysis in Digital Libraries", 22nd International Conference on Theory and Practice of Digital Libraries, Porto, Portugal, 06/2018. Abstract  Download: camera-ready_29.pdf (636.31 KB)
2017
Pinto, J. M. G., and W. - T. Balke, "Can Plausibility Help Support High Quality Content in Digital Libraries?", 21st International Conference on Theory and Practice of Digital Libraries (TPDL), Thessaloniki, Greece , 06/2017. Abstract  Download: tpdl_pinto_plausibilty.pdf (668.04 KB)
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 KB)
Pinto, J. M. G., and W. - T. Balke, "Result Set Diversification in Digital Libraries through the Use of Paper’s Claims", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017), Bangkok, Thailand, 2017. Abstract  Download: diversification.pdf (403.19 KB)
2015
Pinto, J. M. G., and W. - T. Balke, "Demystifying the Semantics of Relevant Objects in Scholarly Collections: A Probabilistic Approach", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Knoxville, TN, USA, 06/2015. Abstract  Download: jcdl_2015_jmgp_wtb.pdf (1.36 MB)
2014
Homoceanu, S., F. Geilert, C. Pek, and W. - T. Balke, "Any Suggestions? Active Schema Support for Structuring Web Information", 19th International Conference on Database Systems for Advanced Applications (DASFAA), Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_conference_105.pdf (1.1 MB)
2012
Balke, W. - T., H. Handels, I. J. Kalet, M. Kimura, C. A. Kulikowski, L. A. Moura, A. Pommert, and S. Schulz, "Discussion of "Spatial-Symbolic Query Engine in Anatomy"", Methods of Information in Medicine (METHODS), vol. 51, no. 6: Schattauer, 2012.  Download: METHODS 2012.pdf (301.83 KB)
2010
2008
Neumann, K., A. Kupfer, and F. Panse, "Generierung von Gebäude-Präsentationsobjekten für NAS-Bestandsdatenauszüge", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 41, pp. 83-92, 2008. Abstract  Download: NKP08.pdf (306.54 KB)
2007
Lofi, C., D. Olmedilla, O. Papapetrou, W. Siberski, J. L. D. Coi, A. Kösling, and E. Herder, "A Model for Competence Gap Analysis", 3rd International Conference on Web Information Systems and Technologies (WEBIST), Barcelona, Spain, 03/2007. Abstract  Download: Fulltext-PDF (103.53 KB)
Papapetrou, O., W. Siberski, W. - T. Balke, and W. Nejdl, "DHTs over Peer Clusters for Distributed Information Retrieval", 21st IEEE International Conference on Advanced Information Networking and Applications (AINA), Niagara Falls, Canada, 2007. Abstract  Download: aina07.pdf (348.04 KB)
2006
Neumann, K., J. Petri, and C. Wolf, "Erzeugung kartenähnlicher Graphiken: XML-basierte Verdrängung und Platzierung von Punktsignaturen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 36, pp. 89-98, 2006. Abstract  Download: NPW06.pdf (370.65 KB)
2003
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Checking Object System Designs Incrementally", Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003. Abstract  Download: 2003JUCS.pdf (167.55 KB)
2002
2001
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
2000
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
1999
Pinger, R., "Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking", 11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999: Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena, pp. 82-86, 1999. Abstract
1998
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 KB)
Pinger, R., "Verifikation von Informationssystemen durch Model Checking", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998. Abstract
1994
1993
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract