Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer 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 kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Deriving Consistent GSM Schemas from DCR Graphs

    Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, s. 467–482 (Lecture Notes in Computer Science, Bind 9936).

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

    Åben adgang
    Fil

  • Designing Context-aware Cognitive Behavioral Therapy for Unipolar and Bipolar Disorders

    Bardram, J. E., Frost, M., Tuxen, N., Faurholt-Jepsen, M. & Kessing, L. V., 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct: UbiComp '16. New York, NY, USA: Association for Computing Machinery, s. 1162-1170 9 s.

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

    Åben adgang
    Fil

  • EvoBot: An Open-Source, Modular Liquid Handling Robot for Nurturing Microbial Fuel Cells

    Faina, A., Nejatimoharrami, F., Støy, K., Theodosiou, P., Taylor, B. & Ieropoulos, I., jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 626-633 8 s.

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

    Åben adgang
    Fil

  • Evolvability Search: Directly Selecting for Evolvability in order to Study and Produce It

    Mengistu, H., Lehman, J. A. & Clune, J., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016: GECCO '16. Association for Computing Machinery, s. 141-148

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

    Åben adgang
    Fil

  • Evolving Neural Turing Machines for Reward-based Learning

    Greve, R. B., Jacobsen, E. J., Risi, S. & Greve, R. B., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016. New York, NY, USA: Association for Computing Machinery, s. 117-124 8 s.

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

  • Extensible and Efficient Automation Through Reflective Tactics

    Malecha, G. & Bengtson, J., 22 mar. 2016, Programming Languages and Systems: 25th European Symposium on Programming, ESOP 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. Springer, s. 532-559 28 s. (Lecture Notes in Computer Science, Bind 9632).

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

    Fil

  • EyeGrip: Detecting Targets in a Series of Uni-directional Moving Objects Using Optokinetic Nystagmus Eye Movements

    Jalaliniya, S. & Mardanbeigi, D., 11 maj 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 5801-5811 11 s.

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

  • Finding Suitable Variability Abstractions for Family-Based Analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 8 nov. 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Fitzgerald, J. S., Heitmeyer, C. L., Gnesi, S. & Philippou, A. (red.). Limassol, Cyprus, November 9-11, 2016: Springer, s. 217-234 17 s. (Lecture Notes in Computer Science, Bind 9995).

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

    Åben adgang
    Fil

  • Generating Artificial Plant Morphologies for Function and Aesthetics through Evolving L-Systems

    Veenstra, F., Faina, A., Støy, K. & Risi, S., 4 jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 692-699 8 s. 130

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

    Åben adgang
    Fil

  • Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 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. Springer, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 9634).

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

    Åben adgang
    Fil

  • How Does Software Process Improvement Address Global Software Engineering?

    Kuhrmann, M., Diebold, P., Münch, J. & Tell, P., aug. 2016, Global Software Engineering (ICGSE), 2016 IEEE 11th International Conference on. IEEE, s. 89-98

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

    Åben adgang
    Fil

  • How Does the Degree of Variability Affect Bug-Finding?

    Melo, J., Brabrand, C. & Wasowski, A., 14 maj 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, s. 679-690 12 s.

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

  • Human Factors in Software Development Processes: Measuring System Quality

    Abrahão, S., Baldassarre, M. T., Caivano, D., Dittrich, Y., Lanzilotti, R. & Piccinno, A., 2016, Product-Focused Software Process Improvement - 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, : Proceedings. Springer, s. 691-696 6 s. (Lecture Notes in Computer Science, Bind 10027).

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

    Åben adgang
    Fil

  • Images of protest in contested social media: Production, propagation, and narratives

    Neumayer, C., Rossi, L. & Vulpuis, J., 2016, AoIR Selected Paper of Internet Research 2016: The 17th Annual Conference of the Association of Internet Researchers. Berlin, Bind 6.

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

    Åben adgang

  • Interactive Super Mario Bros Evolution

    Sørensen, P. D., Olsen, J. M. & Risi, S., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York, NY, USA: Association for Computing Machinery, s. 41-42 2 s.

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

  • Learning Behavior Characterizations for Novelty Search

    Meyerson, E., Lehman, J. A. & Miikulainen, R., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016: GECCO '16. Association for Computing Machinery, s. 149-156

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

    Åben adgang
    Fil

  • Leveraging Physical Locality to Integrate Smart Appliances in Non-Residential Buildings with Ultrasound and Bluetooth Low Energy

    Fürst, J., Chen, K., Al-Jarrah, M. & Bonnet, P., 2016, First IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016. IEEE Press, s. 199-210 12 s.

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

    Åben adgang
    Fil

  • Locality-sensitive Hashing without False Negatives

    Pagh, R., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, s. 1-9

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

  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, s. 57-65 8 s.

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

  • MetaCompose: A Compositional Evolutionary Music Composer

    Scirea, M., Togelius, J., Eklund, P. & Risi, S., apr. 2016, Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings. Springer Publishing Company, s. 202-217 (Lecture Notes in Computer Science, Bind 9596).

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

    Åben adgang
    Fil

  • Online evolution for multi-action adversarial games

    Justesen, N. O., Mahlmann, T. & Togelius, J., 15 mar. 2016, Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016 Porto, Portugal, March 30 – April 1, 2016 Proceedings, Part I. Springer Publishing Company, s. 590-603 (Lecture Notes in Computer Science, Bind 9597).

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

    Åben adgang
    Fil

  • On the Complexity of Inner Product Similarity Join

    Ahle, T. D., Pagh, R., Razenshteyn, I. & Silvestri, F., 2016, PODS '16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, s. 151-164

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

    Åben adgang

  • Orthogonally Evolved AI to Improve Difficulty Adjustment in Video Games

    Hintze, A., Olson, R. & Lehman, J. A., 30 mar. 2016, Proceedings of the European Conference on the Applications of Evolutionary Computation: Applications of Evolutionary Computation - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I. Springer, s. 525-540 (Lecture Notes in Computer Science, Bind 9597).

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

    Åben adgang
    Fil

  • Overview of the CLEF 2016 Social Book Search Lab

    Koolen, M., Bogers, T., Gäde, M., Hall, M., Hendrickx, I., Huurdemann, H., Jaap, K., Skov, M., Verberne, S. & Walsh, D., 2016, Experimental IR Meets Multilinguality, Multimodality, and Interaction. Fuhr, N. (red.). Germany: Springer VS, s. 351-370 20 s. (Lecture Notes in Computer Science).

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

    Åben adgang
    Fil

  • Poster Abstract: A Practical Model for Human-Smart Appliances Interaction

    Fürst, J., Fruergaard, A., Johannesen, M. H. & Bonnet, P., 2016, Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys@SenSys 2016, Palo Alto, CA, USA, November 16-17, 2016. Association for Computing Machinery, s. 235-236 2 s.

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

  • Pupil Center as a Function of Pupil Diameter

    Ahmed, Z., Mardanbegi, D. & Hansen, D. W., 14 mar. 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, s. 283-286 4 s.

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

    Åben adgang
    Fil

  • Qualitative Study of Surgeons Using a Wearable Personal Assistant in Surgeries and Ward Rounds

    Jalaliniya, S. & Pederson, T., 2016, eHealth 360°. International Summit on eHealth, Budapest, Hungary, June 14-16, 2016, Revised Selected Papers. Springer, s. 208-219 12 s. ( Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 181).

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

    Åben adgang
    Fil

  • ReRide: Performing Lower Back Rehabilitation While Riding Your Motorbike in Traffic

    Bagalkot, N., Sokoler, T. & Baadkar, S., 16 jun. 2016, PervasiveHealth '16 Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare. Association for Computing Machinery, s. 77-80

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

  • Robotic Automation to Augment Quality of Artificial Chemical Life Experiments

    Nejatimoharrami, F., Faina, A. & Støy, K., jul. 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, s. 634-635 (Complex Adaptive Systems).

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

    Åben adgang

  • Scalability and Total Recall with Fast CoveringLSH

    Pham, N. D. & Pagh, R., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management: CIKM '16. Association for Computing Machinery, s. 1109-1118

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

    Åben adgang
    Fil

  • Seamless interaction with scrolling contents on eyewear computers using optokinetic nystagmus eye movements

    Jalaliniya, S. & Mardanbegi, D., 8 mar. 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, s. 295-298 4 s.

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

  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 aug. 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, s. 502-509 8 s.

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

  • Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

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

    Åben adgang