Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2018

    Scalable and Robust Set Similarity Join

    Christiani, T. L., Pagh, R. & Sivertsen, J. V. T., 2018, Proceedings of IEEE 34th International Conference on Data Engineering (ICDE). IEEE, (Proceedings of the International Conference on Data Engineering).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Set Similarity Search for Skewed Data

    McCauley, S., Mikkelsen, J. W. & Pagh, R., 2018, Proceedings of Principles of Database Systems (PODS). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • SnapLink: Fast and Accurate Vision-Based Appliance Control in Large Commercial Buildings

    Chen, K., Fürst, J., Kolb, J., Kim, H.-S., Jin, X., Culler, D. E. & Katz, R. H., 2018, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. Association for Computing Machinery, s. 129:1-129:27 27 s. 129. (Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Stance Prediction for Russian: Data and Analysis

    Lozhnikov, N., Derczynski, L. & Mazzara, M., 2018, Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018. Springer, s. 176-186 (Advances in Intelligent Systems and Computing, Bind 925).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Static Partitioning of Spreadsheets for Parallel Execution

    Bock, A., 19 dec. 2018, Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (red.). Springer, s. 221-237 17 s. (Lecture Notes in Computer Science, Bind 11372).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Strict Ideal Completions of the Lambda Calculus

    Bahr, P., jul. 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 8:1-8:16 16 s. 8

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Strong Baselines for Neural Semi-Supervised Learning under Domain Shift

    Ruder, S. & Plank, B., 2018, Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Bind 108. 17 s. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 108).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Dark Side of Making - Reflecting on Promises, Practices and Problems of the Last 25 Years

    Cermak, D., Beloff, L., Priest, J., Langelaar, W. & Gray, S., 22 jun. 2018, Proceedings of the 24th International Symposium on Electronic Art (ISEA). Durban South Africa: Durban University of technology (DUT), s. 414-417 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The glass ceiling in NLP

    Schluter, N., 31 okt. 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, s. 2793-2798 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Standard Capacity Model: Towards a polyhedron representation of container vessel capacity

    Jensen, R. M. & Ajspur, M. L., 2018, Computational Logistics: 9th International conference, ICCL 2018. Cerulli, R., Raiconi, A. & Voss, S. (red.). Springer, s. 175-190 (Lecture Notes in Computer Science, Bind 11184).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Word Analogy Testing Caveat

    Schluter, N., 1 jun. 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : Volume 2 (Short Papers). Association for Computational Linguistics, s. 242–246 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Towards an Entropy-based Analysis of Log Variability

    Back, C. O., Debois, S. & Slaats, T., 17 jan. 2018, International Conference on Business Process Management: BPM 2017: Business Process Management Workshops. Springer, s. 53-70 (Lecture Notes in Business Information Processing, Bind 308).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Towards a Plant Bio-Machine

    Nichele, S., Risi, S., Tufte, G. & Beloff, L., 8 feb. 2018, IEEE Alife conference (SSCI) proceedings. IEEE, s. 1-8 8 s. 17544442

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Transactional Support for Visual Instance Search

    Lejsek, H., Ásmundsson, F. H., Jónsson, B. T. & Amsaleg, L., okt. 2018, Proceedings of the International Conference on Similarity Search and Applications (SISAP). Marchand-Maillet, S., Silva, Y. N. & Chávez, E. (red.). Lima, Peru: Springer, s. 73-86 (Lecture Notes in Computer Science, Bind 11223).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Valid, scalable, authentic, on-site, digital, individual assessment of programming skills

    Husfeldt, T., 2018, LTHs 10:e Pedagogiska Inspirationskonferens, 6 december 2018. Lunds Universitet, s. 21 23 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning

    Åben adgang
    Fil

  • Verification of high-level transformations with inductive refinement types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, s. 147-160 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Virtual by Design: How a Work Environment Can Support Agile Distributed Software Development

    Lous, P., Tell, P., Michelsen, C. B., Dittrich, Y., Kuhrmann, M. & Ebdrup, A., 2018, Proceedings of the 13th Conference on Global Software Engineering (ICGSE '18). New Yorck, NY, USA: Association for Computing Machinery, s. 102-111 10 s. (ICGSE '18).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • When data permutations are pathological: the case of neural natural language inference

    Schluter, N. & Varab, D., 31 okt. 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, s. 4935–4939 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • When Simple n-gram Models Outperform Syntactic Approaches: Discriminating between Dutch and Flemish

    Kroon, M., Medvedeva, M. & Plank, B., 2018, Proceedings of the Fifth Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial). Association for Computational Linguistics, s. 244-253

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Word By Word: A Mobile Game To Encourage Collaborative Storytelling Within The Museum

    Ingimundardottir, E., Stanciauskaite, G., Sachse, K. K., Wray, T. & Løvlie, A. S., 19 apr. 2018, MW18: Museums and the Web 2018. Silver Spring, MD: Museums and the Web

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
  • 2017

    Adopting Continuous Delivery and Deployment: Impacts on Team Structures, Collaboration and Responsibilities

    Shahin, M., Zahedi, M., Babar, M. A. & Zhu, L., 2017, Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering: EASE'17. Association for Computing Machinery, s. 384-393 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • A Framework for Similarity Search with Space-Time Tradeoffs using Locality Sensitive Filtering

    Christiani, T. L., 2017, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, s. 31-46

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms

    Aumüller, M., Bernhardsson, E. & Faithfull, A., 2017, International Conference on Similarity Search and Applications: SISAP 2017: Similarity Search and Applications. Springer, s. 34-49 (Lecture Notes in Computer Science, Bind 10609).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • A Risk-Limiting Audit In Denmark: A Pilot

    Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, s. 192-202 (Lecture Notes in Computer Science, Bind 10141).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, s. 417-434 (Lecture Notes in Computer Science, Bind 10599).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Automatic Margin Computation for Risk-Limiting Audits

    Beckert, B., Kirsten, M., Klebanov, V. & Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, s. 18-35 (Lecture Notes in Computer Science, Bind 10141).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Beyond Continuous Delivery: An Empirical Investigation of Continuous Deployment Challenges

    Shahin, M., Ali Babar, M., Zahedi, M. & Zhu, L., 2017, 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). IEEE, s. 111-120 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 sep. 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 84. s. 8:1-8:20

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Comparative Study of Inference Methods for Bayesian Nonnegative Matrix Factorisation

    Brouwer, T., Frellsen, J. & Liò, P., 2017, The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database 2017. Springer, s. 513-529 (Lecture Notes in Computer Science, Bind 10534).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Context and Natural Language in Formal Concept Analysis

    Wray, T. & Eklund, P., jun. 2017, Modeling and Using Context. CONTEXT 2017: International and Interdisciplinary Conference on Modeling and Using Context. Springer, s. 343–355 12 s. (Lecture Notes in Computer Science, Bind 10257).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Contextualizing user centered design with agile methods in Ethiopia

    Teka, D., Dittrich, Y. & Kifle, M., 1 sep. 2017, IEEE Africon 2017 Proceedings. IEEE, s. 911-916 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Continual Online Evolutionary Planning for In-Game Build Order Adaptation in StarCraft

    Justesen, N. O. & Risi, S., 16 jul. 2017, GECCO ’17 Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery, s. 187-194

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Cross-lingual tagger evaluation without test data

    Agic, Z., Plank, B. & Søgaard, A., 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, s. 248-253

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Declarative Process Mining for DCR Graphs

    Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, s. 759-764 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Developing e-banking services for rural India: making use of socio-technical prototypes

    Dittrich, Y., Vaidyanathan, L., Gonsalves, T. A. & Jhunjhunwala, A., 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) . IEEE, s. 204-206 3 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Distance Sensitive Bloom Filters Without False Negatives

    Goswami, M., Pagh, R., Silvestri, F. & Sivertsen, J., 2017, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19. Society for Industrial and Applied Mathematics, s. 257-269 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, s. 34-54 (Lecture Notes in Computer Science, Bind 10145).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Eos a Universal Verifiable and Coercion Resistant Voting Protocol

    Patachi, S. & Schürmann, C., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, s. 210-227 17 s. (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • EvoBot: Towards a Robot-Chemostat for Culturing and Maintaining Microbial Fuel Cells (MFCs)

    Theodosiou, P., Faina, A., Nejatimoharrami, F., Støy, K., Greenman, J., Melhuish, C. & Ieropoulos, I., 25 jul. 2017, Proceedings of the 6th International Conference Living Machines 2017: Lecture Notes in Computer Science. Springer, Bind 10384. s. 453-464 (Lecture Notes in Computer Science, Bind 10384).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Evolution and Morphogenesis of Simulated Modular Robots: A Comparison Between a Direct and Generative Encoding

    Veenstra, F., Faina, A., Risi, S. & Støy, K., 25 jan. 2017, Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I. Springer, 16 s. (Lecture Notes in Computer Science, Bind 10199).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Evolving software products, the design of a water-related modeling software ecosystem.

    Manikas, K., jun. 2017, International Conference of Software Business: ICSOB 2017. Springer, s. 192-198 (Lecture Notes in Business Information Processing, Bind 304).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets

    Giustolisi, R., 2017, 22nd Nordic Conference on Secure IT Systems (NordSec). Springer, s. 159-174 (Lecture Notes in Computer Science, Bind 10674).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • From Playground to Salon: Challenges in Designing a System for Online Public Debate

    Løvlie, A. S., 20 sep. 2017, AcademicMindtrek '17 Proceedings of the 21st International Academic Mindtrek Conference. Association for Computing Machinery, s. 164-173

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • HELENA Stage 2—Danish Overview

    Tell, P., Pfeiffer, R.-H. & Pagh Schultz, U., 2017, International Conference on Product-Focused Software Process Improvement - PROFES 2017: HELENA – 2nd Workshop on Hybrid Software and System Development Approaches. Springer, s. 420 427 s. (Lecture Notes in Computer Science, Bind 10611).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How (not) to train a dependency parser: The curious case of jackknifing part-of-speech taggers

    Agic, Z. & Schluter, N., 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, s. 679-684 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How Could Snowden Attack an Election?

    Wikström, D., Barrat, J., Heiberg, S., Krimmer, R. & Schürmann, C., 24 okt. 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, s. 280-291 11 s. (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Hybrid Software and System Development in Practice: Waterfall, Scrum, and Beyond

    Kuhrmann, M., Diebold, P., Münch, J., Tell, P., Garousi, V., Felderer, M., Trektere, K., McCaffery, F., Linssen, O., Hanser, E. & Prause, C., 2017, Proceedings of the 2017 International Conference on Software and System Process: ICSSP 2017. Association for Computing Machinery, s. 30-39 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • IDEA: A Unifying Theory for Evaluation Systems

    Bella, G. & Giustolisi, R., 2017, 9th International Symposium on Engineering Secure Software and Systems (ESSoS). Springer, (Lecture Notes in Computer Science, Bind 10379).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Integrating discount usability in scrum development process in Ethiopia

    Teka, D., Dittrich, Y. & Kifle, M., 1 okt. 2017, 2017 International Conference on Computing Networking and Informatics (ICCNI). IEEE, s. 1-8 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil