Computer Science

Filter
Article in proceedings

Search results

  • 2017

    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 p. (Lecture Notes in Computer Science, Vol. 10199).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

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

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

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

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

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

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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, p. 420 427 p. (Lecture Notes in Computer Science, Vol. 10611).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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, p. 679-684 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • How Could Snowden Attack an Election?

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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, p. 30-39 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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, Vol. 10379).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Integrating discount usability in scrum development process in Ethiopia

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Interactive Evolution of Complex Behaviours Through Skill Encapsulation

    González de Prado Salas, P. & Risi, S., 2017, Applications of Evolutionary Computation. EvoApplications 2017: European Conference on the Applications of Evolutionary Computation. Squillero, G. & Sim, K. (eds.). Springer, p. 853-869 (Lecture Notes in Computer Science, Vol. 10199).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Interactive Performance as a Means of Civic Dialogue

    Rossitto, C., Normark, M. & Barkhuus, L., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Internet Ecologies of New Mothers: Trust, Variety and Strategies for Managing Diverse Information Sources

    Barkhuus, L., Bales, E. & Cowan, L., 2017, Proceedings of the 50th Hawaii International Conference on System Sciences. University of Hawai'i at Manoa, p. 2283-2292

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Is Scrum fit for global software engineering?

    Lous, P., Kuhrmann, M. & Tell, P., 2017, Global Software Engineering (ICGSE), 2017 IEEE 12th International Conference on. IEEE

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Leveraging Morphological Computation for Expressive Movement Generation in a Soft Robotic Artwork

    Jørgensen, J., 28 Jun 2017, Proceedings of the 4th International Conference on Movement Computing (MOCO '17). Niehaus, K. (ed.). New York, NY, USA: Association for Computing Machinery, p. 20:1-20:4 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • LightNVM: The Linux Open-Channel SSD Subsystem

    Bjørling, M., Gonzalez, J. & Bonnet, P., 2017, 15th USENIX Conference on File and Storage Technologies, FAST 2017, Santa Clara, CA, USA, February 27 - March 2, 2017. USENIX - The Advanced Computing Systems Association, p. 359-374 16 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Lincx: A Linear Logical Framework with First-class Contexts

    Linn Georges, A., Murawska, A., Otis, S. & Pientka, B., 2017, 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Springer, p. 530-555 (Lecture Notes in Computer Science, Vol. 10201).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Lower Bounds in the Asymmetric External Memory Model

    Jacob, R. & Sitchinava, N., Jul 2017, SPAA '17 Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures . Association for Computing Machinery, p. 247-254

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Modelling Cooperative Work at a Medical Department

    Christensen, L. R. & Hildebrandt, T., 2017, C&T '17 Proceedings of the 8th International Conference on Communities and Technologies. Association for Computing Machinery, p. 46-55 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Music Genre Classification Revisited: An In-Depth Examination Guided by Music Experts

    Pálmason, H., Jónsson, B. T., Schedl, M. & Knees, P., Sept 2017, Proceedings of the 13th International Symposium on Computer Music Multidisciplinary Research (CMMR). Porto, Portugal: The Laboratory PRISM, p. 45-56

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • On Competitiveness of Nearest-Neighbor-Based Music Classification: A Methodological Critique

    Pálmason, H., Jónsson, B. T., Amsaleg, L., Schedl, M. & Knees, P., Oct 2017, Proceedings of the International Conference on Similarity Search and Applications (SISAP). Beecks, C., Borutta, F., Kröger, P. & Seidl, T. (eds.). Munich, Germany: Springer, p. 275-283 (Lecture Notes in Computer Science, Vol. 10609).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Parameter-free Locality Sensitive Hashing for Spherical Range Reporting

    Ahle, T. D., Pagh, R. & Aumüller, M., 2017, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 18 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Parsing Universal Dependencies without training

    Martínez Alonso, H., 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, p. 230-240

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Partiality and Container Monads

    Uustalu, T. & Veltri, N., 2017, Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Chang, B.-Y. E. (ed.). Cham: Springer, p. 406-425 20 p. (Lecture Notes in Computer Science, Vol. 10695).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Party Endorsement Systems and Internet Voting.

    Schürmann, C. & Stauning, S., 24 Oct 2017, E-Vote-ID 2017: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Tallinn: TUT Press, p. 207-208 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • "People Are Either Too Fake or Too Real": Opportunities and Challenges in Tie-Based Anonymity

    Ma, X., Andabili, N., Barkhuus, L. & Naaman, M., 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1781-1793

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Primal-improv: Towards co-evolutionary musical improvisation

    Scirea, M., Eklund, P., Togelius, J. & Risi, S., 1 Sept 2017, 2017 9th Computer Science and Electronic Engineering (CEEC). IEEE, p. 172-177 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Privacy-Preserving Verifiability: A Case for an Electronic Exam Protocol

    Giustolisi, R., Iovino, V. & Lenzini, G., 2017, 14th International Conference on Security and Cryptography (SECRYPT). SCITEPRESS Digital Library, p. 139-150

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Prolegomena for a Transdisciplinary Investigation Into the Materialities of Soft Systems

    Jørgensen, J., 11 Jun 2017, ISEA 2017 Manizales BIO-CREATION AND PEACE: Proceedings of the 23rd International Symposium on Electronic Arts.. Arango, J. J., Burbano, A., Londoñdo, F. C. & Mejía, G. M. (eds.). Caldas, Columbia: Department of Visual Design, Universidad de Caldas, and ISEA International., p. 153-160 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Proof of Stake Blockchain: Performance and Scalability for Groupware Communications

    Spasovski, J. & Eklund, P., 2017, Proceedings of the 9th International Conference on Management of Digital EcoSystems: MEDES '17. Association for Computing Machinery, p. 251-258

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Quad Ropes: Immutable, Declarative Arrays with Parallelizable Operations

    Biermann, F. & Sestoft, P., 18 Jun 2017, Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming: ARRAY 2017. Association for Computing Machinery, p. 1-8 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Range-efficient consistent sampling and locality-sensitive hashing for polygons

    Gudmundsson, J. & Pagh, R., 2017, Proceedings of 28th International Symposium on Algorithms and Computation (ISAAC 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 15 p. (Leibniz International Proceedings in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • ReRide: A Platform to Explore Interaction with Personal Data Before, During, and After Motorcycle Commuting

    Bagalkot, N., Sokoler, T., Shaikh, R., Singh, G., Edelbo Lillie, A., Dixit, P. & Rai, A., 18 Sept 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017. Springer, p. 420-423 4 p. (Lecture Notes in Computer Science, Vol. 10516).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs

    Biermann, F., Dou, W. & Sestoft, P., 22 Dec 2017, International Symposium on Practical Aspects of Declarative Languages: PADL 2018: Practical Aspects of Declarative Languages . Springer, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 10702).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Security Support in Continuous Deployment Pipeline

    Ullah, F., Raft, A. J., Shahin, M., Zahedi, M. & Babar, M. A., 2017, Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS Digital Library, p. 57-68 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Set Similarity Search Beyond Minhash

    Christiani, T. L. & Pagh, R., 2017, Proceedings of 47th ACM Symposium on Theory of Computing (STOC). Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access

  • Spherical convolutions and their application in molecular modelling

    Boomsma, W. & Frellsen, J., 2017, Advances in Neural Information Processing Systems 30: NIPS 2017. Curran Associates, Inc., p. 3436-3446

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The EMeRGE modular robot, an open platform for quick testing of evolved robot morphologies

    Moreno Garcia, R., Liu, C., Faina, A., Hernandez, H. & Gomez, J., 15 Jul 2017, GECCO '17 Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, p. 71-72 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The impact of module morphologies on modular robots

    Liu, C., Liu, J., Moreno Garcia, R., Veenstra, F. & Faina, A., 2017, Proceedings of 18th International Conference on Advanced Robotics (ICAR) . IEEE, 7 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The limits of automatic summarisation according to ROUGE

    Schluter, N., 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Vol. 2. p. 41–45 5 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Multivariate Generalised von Mises Distribution: Inference and Applications

    Navarro, A. K. W., Frellsen, J. & Turner, R., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 2394-2400

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Robobo Project: Bringing Educational Robotics Closer to Real-World Applications

    Bellas, F., Naya, M., Varela, G., Llamas, L., Prieto, A., Becerra, J. C., Bautista, M., Faina, A. & Duro, R., 2017, Proceedings of Robotics In Education. Springer, p. 226-237 (Advances in Intelligent Systems and Computing Series).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

    Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, p. 110-126 (Lecture Notes in Computer Science, Vol. 10615).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • uFLIP-OC: Understanding Flash I/O Patterns on Open-Channel Solid State Drives

    Picoli, I. L., Villegas Pasco, C. Y., Jónsson, B. T., Bouganim, L. & Bonnet, P., Sept 2017, APSys '17 Proceedings of the 8th Asia-Pacific Workshop on Systems. Mumbai, India: Association for Computing Machinery, p. 20:1-20:7 7 p. 20

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Uncanny Realm: The Extension of The Natural

    Beloff, L., 10 Jun 2017, ISEA2017 Manizales BIO-CREATION AND PEACE: Proceedings of the 23rd International Symposium on Electronic Arts. Bogotá D.C: Department of Visual Design, Universidad de Caldas, and ISEA International., p. 780-783 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Usability Evaluation in Ethiopian Software Organizations

    Teka, D., Dittrich, Y., Kifle, M., Ardito, C. & Lanzilotti, R., 2017, Proceedings of the Second International Conference on Information and Communication Technology for Africa Development, ICT4AD’17. p. 103-119 17 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Variability-Specific Abstraction Refinement for Family-Based Model Checking

    Dimovski, A. & Wasowski, A., 23 Mar 2017, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017: Fundamental Approaches to Software Engineering, FASE 2017. Huisman, M. & Rubin, J. (eds.). Berlin, Heidelberg: Springer, p. 406-423 17 p. (Lecture Notes in Computer Science, Vol. 10202).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Variability through the Eyes of the Programmer

    Melo, J., Batista Narcizo, F., Hansen, D. W., Brabrand, C. & Wasowski, A., 1 May 2017, 2017 IEEE/ACM 25th International Conference on Program Comprehension (ICPC). IEEE, p. 34-44 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Watching Your Back While Riding Your Bike: Designing for Preventive Self-care During Motorbike Commuting

    Sokoler, T. & Bagalkot, N., 18 Sept 2017, Human-Computer Interaction - INTERACT 2017. INTERACT 2017. : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017. Springer, Vol. 10514. 10 p. (Lecture Notes in Computer Science, Vol. 10514).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • What's Up with the Storage Hierarchy?

    Bonnet, P., 2017, CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access