Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2017

    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, s. 247-254

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 46-55 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Music Genre Classification Revisited: An In-Depth Examination Guided by Music Experts

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • On Competitiveness of Nearest-Neighbor-Based Music Classification: A Methodological Critique

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 230-240

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. (red.). Cham: Springer, s. 406-425 20 s. (Lecture Notes in Computer Science, Bind 10695).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Party Endorsement Systems and Internet Voting.

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • "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, s. 1781-1793

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Primal-improv: Towards co-evolutionary musical improvisation

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 139-150

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. (red.). Caldas, Columbia: Department of Visual Design, Universidad de Caldas, and ISEA International., s. 153-160 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 251-258

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 1-8 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 s. (Leibniz International Proceedings in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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 sep. 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017. Springer, s. 420-423 4 s. (Lecture Notes in Computer Science, Bind 10516).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 10702).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 57-68 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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., s. 3436-3446

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 71-72 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, Bind 2. s. 41–45 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 2394-2400

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 226-237 (Advances in Intelligent Systems and Computing Series).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 110-126 (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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., sep. 2017, APSys '17 Proceedings of the 8th Asia-Pacific Workshop on Systems. Mumbai, India: Association for Computing Machinery, s. 20:1-20:7 7 s. 20

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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., s. 780-783 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. s. 103-119 17 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. (red.). Berlin, Heidelberg: Springer, s. 406-423 17 s. (Lecture Notes in Computer Science, Bind 10202).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Variability through the Eyes of the Programmer

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 2016

    A Cache-Optimal Alternative to the Unidirectional Hierarchization Algorithm

    Hupp, P. & Jacob, R., 17 mar. 2016, Sparse Grids and Applications - Stuttgart 2014. Springer, s. 103-132 (Lecture Notes in Computational Science and Engineering, Bind 109).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Accelerating the Evolution of Cognitive Behaviors Through Human-Computer Collaboration

    Löwe, M. & Risi, S., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016. New York, NY, USA: Association for Computing Machinery, s. 133-140 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • An Empirical Evaluation of an Activity-Based Infrastructure for Supporting Cooperation in Software Engineering

    Tell, P. & Babar, M. A., aug. 2016, Global Software Engineering (ICGSE), 2016 IEEE 11th International Conference on. IEEE, s. 34-43 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Approximate unsupervised summary optimisation for selections of ROUGE

    Schluter, N. E. & Martínez Alonso, H., 2016, Proceedings of the 23rd French Conference on Natural Language Processing (Traitement Automatique des Langues Naturelles): Actes de la conférence conjointe JEP-TALN-RECITAL 2016, volume 2 : TALN. Paris, France: Association Francophone pour la Communication Parlée (AFCP) et Association pour le Traitement Automatique des Langues (ATALA), s. 349-354

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • A Process Framework for Designing Software Reference Architectures for Providing Tools as a Service

    Chauhan, M. A., Babar, M. A. & Probst, C. W., 6 nov. 2016, 17th International Conference on Product Focused Software Process Improvement. Springer Publishing Company, s. 111-126 (Lecture Notes in Computer Science, Bind 10027).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Artefacts: Minecraft meets Collaborative Interactive Evolution

    Patrascu, C. & Risi, S., 2016, Proceedings of the 2016 IEEE Conference on Computational Intelligence and Games. IEEE, s. 349-356

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems

    Stanciulescu, S., Rabiser, D. & Seidl, C., 10 okt. 2016, International Symposium on Leveraging Applications of Formal Methods: ISoLA 2016. Springer Publishing Company, s. 512-530 18 s. (Lecture Notes in Computer Science, Bind 9953).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Automatic Evolution of Multimodal Behavior with Multi-Brain HyperNEAT

    Schrum, J., Lehman, J. & Risi, S., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York, NY, USA: Association for Computing Machinery, s. 21-22 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Beyond the Spreadsheet: Reflections on Tool Support for Literature Studies

    Tell, P., Cholewa, J. B., Nellemann, P. & Kuhrmann, M., 1 jun. 2016, EASE '16 Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. Association for Computing Machinery, 22

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Bit-Vector Search Filtering with Application to a Kanji Dictionary

    Skala, M., 2016, Similarity Search and Applications: 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016. Springer, s. 138-150 (Lecture Notes in Computer Science, Bind 9939).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Breeding a Diversity of Super Mario Behaviors Through Interactive Evolution

    Sørensen, P. D., Olsen, J. M. & Risi, S., 2016, Proceedings of the 2016 IEEE Conference on Computational Intelligence and Games. IEEE Computer Society Press, s. 357-363

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Communication, Coordination and Awareness around Continuous Location Sharing

    Schildt, E., Leinfors, M. & Barkhuus, L., 14 nov. 2016, GROUP '16 Proceedings of the 19th International Conference on Supporting Group Work. Association for Computing Machinery, s. 257-265

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Concepts, Operations, and Feasibility of a Projection-Based Variation Control System

    Stanciulescu, S., Berger, T., Walkingshaw, E. & Wasowski, A., 5 okt. 2016, Proceedings of 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Coqoon - An IDE for Interactive Proof Development in Coq

    Faithfull, A., Bengtson, J. & Tassi, E., 11 apr. 2016, 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings: TACAS 2016: Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 316-331 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort

    Aumüller, M., Dietzfelbinger, M., Heuberger, C., Krenn, D. & Prodinger, H., 4 jul. 2016, Proceedings of the 27th Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms. Jagiellonian University in Krakow, 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Creative Generation of 3D Objects with Deep Learning and Innovation Engines

    Lehman, J. A., Risi, S. & Clune, J., 30 jun. 2016, Proceedings of the Seventh International Conference on Computational Creativity: ICCC 2016. Sony CSL Paris, s. 180-187

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, s. 317-326 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil