Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2018

    Musicians’ Initial Encounters with a Smart Guitar

    Rossitto, C., Rostami, A., Tholander, J., McMillan, D., Barkhuus, L., Fischione, C. & Turchet, L., 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 13-24

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

    Åben adgang
    Fil

  • On Purpose and by Necessity: Compliance under the GDPR

    Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Bind 10957).

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

    Åben adgang
    Fil

  • Open to Change: A Theory for Iterative Test-Driven Modelling

    Slaats, T., Debois, S. & Hildebrandt, T., 2018, Proceedings of the 16th International Conference on Business Process Management. Springer, s. 31-47 17 s. (Lecture Notes in Computer Science, Bind 11080).

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

    Fil

  • Participatory Design and Sustainability: a literature review of PDC Proceedings

    Poderi, G. & Dittrich, Y., 2018, Proceedings of the Participatory Design Conference: Short Papers, Situated Actions, Workshops and Tutorial - Volume 2. Association for Computing Machinery, 2. (Proceedings of the Participatory Design Conference).

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

    Åben adgang
    Fil

  • Predicting Authorship and Author Traits from Keystroke Dynamics

    Plank, B., 2018, Proceedings of the 2nd Workshop on Computational Modeling of People's Opinions, Personality and Emotions in Social Media (PEOPLES 2018), NAACL workshop. Association for Computational Linguistics, s. 98-104

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

    Åben adgang
    Fil

  • Problem-Oriented Requirements in Practice: A case study

    Lauesen, S., 2018, Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018 Utrecht, The Netherlands, March 19–22, 2018 Proceedings. Springer, s. 3-19 15 s. (Lecture Notes in Computer Science, Bind 10753).

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

    Åben adgang
    Fil

  • Programming language specification and implementation

    Sestoft, P., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling.: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer, s. 162-183 22 s. (Lecture Notes in Computer Science, Bind 11244).

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

    Åben adgang
    Fil

  • Researching Cooperation and Communication in Continuous Software Engineering

    Dittrich, Y., Nørbjerg, J., Tell, P. & Bendix, L., 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, s. 87-90 4 s.

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

    Åben adgang
    Fil

  • RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

    Seco, J. C., Debois, S., Hildebrandt, T. T. & Slaats, T., 2018, 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, s. 75-84 10 s.

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

    Åben adgang
    Fil

  • Scalability of the NV-tree: Three Experiments

    Amsaleg, L., Jónsson, B. T. & Lejsek, H., 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. 59-72 (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

  • 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