1301 Results

1. 2018
2. Published

   Complexity of propositional logics in team semantic

   Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan 2018, In: ACM Transactions on Computational Logic. 19, 1, p. 2:1-2:14 14 p., 2.

   Research output: Contribution to journal › Article › Research › peer review

3. Published

   1st Workshop on Innovative Software Engineering Education: ISEE 2018 Preface

   Krusche, S., Kuhrmann, M. & Schneider, K., 2018, Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018). p. 3 1 p. (CEUR Workshop Proceedings; vol. 2066).

   Research output: Chapter in book/report/conference proceeding › Foreword/postscript › Research › peer review

4. Published

   A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications

   Greenyer, J., Chazette, L., Gritzner, D. & Wete, E., 2018, Workshops at Modellierung 2018: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018. p. 111-120 10 p. (CEUR Workshop Proceedings; no. 2060).

   Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

5. Published

   Auditory Modulation of Multisensory Representations

   Effenberg, A. O., Hwang, T., Ghai, S. & Schmitz, G., 2018, 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11265 LNCS)

   Research output: Book/Report › Monograph › Research › peer review

6. Published

   Can children teach AI? Towards expressive human-AI dialogs

   Demidova, E., 2018, ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks: Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018). (CEUR Workshop Proceedings; vol. 2180).

   Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

7. Published

   Comparing the Effects of Disturbances in Self-adaptive Systems - A Generalised Approach for the Quantification of Robustness: A generalised approach for the quantification of robustness

   Tomforde, S., Kantert, J., Müller-Schloer, C., Bödelt, S. & Sick, B., 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Nguyen, N. T., Kowalczyk, R., van den Herik, J., Rocha, A. P. & Filipe, J. (eds.). Springer Verlag, p. 193-220 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10780 LNCS).

   Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review

8. Constructive convex programming

   Berger, J. & Svindland, G., 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. p. 53-82 30 p.

   Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review

9. Published

   Dealing with Bias via Data Augmentation in Supervised Learning Scenarios

   Iosifidis, V. & Ntoutsi, E., 2018, Bias in Information, Algorithms, and Systems: Proceedings of the International Workshop on Bias in Information, Algorithms, and Systems co-located with 13th International Conference on Transforming Digital Worlds (iConference 2018). p. 24-29 6 p. (CEUR Workshop Proceedings; vol. 2103).

   Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

10. Published

    Deep Learning for Archaeological Object Detection in Airborne Laser Scanning Data

    Kazimi, B., Thiemann, F., Malek, K., Sester, M. & Khoshelham, K., 2018, Computing Techniques For Spatio-Temporal Data in Archaeology And Cultural Heritage: Proceedings of the 2nd Workshop On Computing Techniques For Spatio-Temporal Data in Archaeology And Cultural Heritage co-located with 10th International Conference on Geographical Information Science (GIScience 2018). p. 21-35 15 p. (CEUR Workshop Proceedings; vol. 2230).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

11. Published

    Default Logic and Bounded Treewidth

    Fichte, J. K., Hecher, M. & Schindler, I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Verlag, p. 130-142 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10792 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

12. DemoEffTE: A demonstrator of dependency-aware evaluation of test cases over ontology

    Halilaj, L., Grangel-González, I., Vidal, M. E., Lohmann, S. & Auer, S., 2018, Proceedings of the Posters and Demos Track of the 13th International Conference on Semantic Systems: SEMANTiCS2017 co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017) Amsterdam, The Netherlands, September 11-14, 2017. 5 p. (CEUR Workshop Proceedings; vol. 2044).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

13. Published

    Effects of Algorithmic Decision-Making and Interpretability on Human Behavior: Experiments using Crowdsourcing

    Anand, A., Bizer, K., Erlei, A., Gadiraju, U., Heinze, C., Meub, L., Nejdl, W. & Steinrötter, B., 2018, HCOMP 2018 Works in Progress and Demonstration Papers: Proceedings of the HCOMP 2018 Works in Progress and Demonstration Papers Track of the Sixth AAAI Conference on Human Computation and Crowdsourcing (HCOMP 2018). (CEUR Workshop Proceedings; vol. 2173).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

14. Published

    Efficient distributed execution of multi-component scenario-based models

    Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G. & Marron, A., 2018, Model-Driven Engineering and Software Development. Selic, B., Pires, L. F. & Hammoudi, S. (eds.). Springer Verlag, p. 449-483 35 p. (Communications in Computer and Information Science; vol. 880).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

15. Published

    Ensembled Convolutional Neural Network Models for Retrieving Flood Relevant Tweets

    Feng, Y., Shebotnov, S., Brenner, C. & Sester, M., 2018, MediaEval 2018 Multimedia Benchmark Workshop: Working Notes Proceedings of the MediaEval 2018 Workshop. (CEUR Workshop Proceedings; vol. 2283).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

16. Published

    Enumeration complexity of poor man’s propositional dependence logic

    Meier, A. & Reinbold, C., 2018, Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). 1. ed. Springer Verlag, p. 303-321 19 p. (Lecture Notes in Computer Science (LNCS); vol. 10833)(Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

17. Published

    EventKG+TL: Creating Cross-Lingual Timelines from an Event-Centric Knowledge Graph

    Gottschalk, S. & Demidova, E., 2018, The Semantic Web: ESWC 2018 Satellite Events: ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers. Gangemi, A., Gentile, A. L., Paulheim, H., Maleshkova, M., Rudolph, S., Pan, J. Z., Alam, M. & Nuzzolese, A. G. (eds.). Springer Verlag, p. 164-169 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11155 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

18. Published

    Evolutionary structure minimization of deep neural networks for motion sensor data

    Lückehe, D., Veith, S. & von Voigt, G., 2018, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, 2018, Proceedings. Turhan, A.-Y. & Trollmann, F. (eds.). Springer Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11117 LNAI).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

19. Published

    Finding person relations in image data of news collections in the internet archive

    Müller-Budack, E., Pustu-Iren, K., Diering, S. & Ewerth, R., 2018, Digital Libraries for Open Knowledge - 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Proceedings. Mendez, E., Ribeiro, C., David, G., Lopes, J. C. & Crestani, F. (eds.). Springer Verlag, p. 229-240 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11057 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

20. Published

    Heuristics-based Query Reordering for Federated Queries in SPARQL 1.1 and SPARQL-LD

    Yannakis, T., Fafalios, P. & Tzitzikas, Y., 2018, GeoLD-QuWeDa 2018 ESWC 2018 Workshops: GeoLD 2018 and QuWeDa 2018: Proceedings of the 3rd International Workshop on Geospatial Linked Data and the 2nd Workshop on Querying the Web of Data co-located with 15th Extended Semantic Web Conference (ESWC 2018). p. 74-88 15 p. (CEUR Workshop Proceedings; vol. 2110).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

21. Published

    Intelligent Clients for Replicated Triple Pattern Fragments

    Minier, T., Skaf-Molli, H., Molli, P. & Vidal, M. E., 2018, The Semantic Web: 15th International Conference, ESWC 2018, Proceedings. Gangemi, A., Troncy, R., Navigli, R., Hollink, L., Vidal, M.-E., Hitzler, P., Tordai, A. & Alam, M. (eds.). Springer Verlag, p. 400-414 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10843 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review