Computer Science

Filter
Article in proceedings

Search results

  • 2016

    Symbolic Game Semantics for Model Checking Program Families

    Dimovski, A., 8 Apr 2016, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Bosnacki, D. & Wijs, A. (eds.). Lecture Notes in Computer Science ed. Springer VS, Vol. 9641. p. 19-37 19 p. (Lecture Notes in Computer Science, Vol. 9641).

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

    Open Access
    File

  • The Condition: Towards Hybrid Agency

    Beloff, L. & Jørgensen, J., 2016, ISEA 2016 Hong Kong CULTURAL R>EVOLUTION: Proceedings of the 22nd International Symposium on Electronic Art. School of Creative Media, City University of Hong Kong, p. 14-19 6 p. (ISEA 2016 Proceedings).

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

  • Timeability in Extensive-Form Games

    Jakobsen, S. K., Sørensen, T. B. & Conitzer, V., 2016, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Sudan, M. (ed.). 7 ed. Association for Computing Machinery, p. 191-199 9 p.

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

    Open Access

  • Towards Adaptive Evolutionary Architecture

    Bak, S. H., Rask, N. & Risi, S., 2016, Proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design - Volume 9596. New York, NY, USA: Springer Publishing Company, p. 47-62 16 p. (Lecture Notes in Informatics, Vol. 9596).

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

    Open Access
    File

  • Usability challenges in an Ethiopian software development organization

    Teka, D., Dittrich, Y. & Kifle, M., 2016, Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2016, Austin, Texas, USA, May 16, 2016. Association for Computing Machinery, p. 114-120 7 p.

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

    Open Access
    File

  • Wrist-worn pervasive gaze interaction

    Hansen, J. P., Lund, H., Biermann, F., Møllenbach, E., Lopez, J. S. A. & Sztuk, S., 2016, Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications: ETRA '16. Association for Computing Machinery, p. 57-64 8 p.

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

  • 2015

    8th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2015)

    Begel, A., Prikladnicki, R., Dittrich, Y., Souza, C. R. B. D., Sarma, A. & Athavale, S., May 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Press, p. 969-970 2 p.

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

  • Acquiring Efficient Locomotion in a Simulated Quadruped through Evolving Random and Predefined Neural Networks

    Veenstra, F., Struck, A. & Krauledat, M., 26 Oct 2015, The Biennial International Conference on Artificial Evolution (EA-2015). Lyon, France, Vol. 12. 8 p.

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

    Open Access
    File

  • Adapting participatory design to design information system with rural Ethiopian community

    Zewge, A., Dittrich, Y. & Bekele, R., 1 Sept 2015, AFRICON, 2015. IEEE Press, p. 1-5 5 p.

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

  • A Model for Industrial Real-Time Systems

    Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings.. D'Souza, D., Lal, A. & Guldstrand Larsen, K. (eds.). Springer, Vol. 8931. p. 153-171 (Lecture Notes in Computer Science).

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

    Open Access
    File

  • An Egocentric Approach Towards Ubiquitous Multimodal Interaction

    Pederson, T. & Jalaliniya, S., 7 Sept 2015, UbiComp/ISWC'15 Adjunct: Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. New York, NY, USA: Association for Computing Machinery, p. 927-932 6 p.

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

  • Approximate Furthest Neighbor in High Dimensions

    Pagh, R., Silvestri, F., Sivertsen, J. V. T. & Skala, M., 2015, Similarity Search and Applications: 8th International Conference, SISAP 2015, Glasgow, UK, October 12–14, 2015, Proceedings. Springer, p. 3-14 (Lecture Notes in Computer Science, Vol. 9371).

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

    Open Access
    File

  • Approximate Range Emptiness in Constant Time and Optimal Space

    Goswami, M., Jørgensen, A. G., Larsen, K. G. & Pagh, R., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 769-775

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

  • Approximator: Predicting Interruptibility in Software Development with Commodity Computers

    Tell, P., Jalaliniya, S., Andersen, K. S. M., Christensen, M. D., Mellson, A. B. & Bardram, J., 16 Jul 2015, 10th International Conference on Global Software Engineering (ICGSE) 2015. IEEE Computer Society Press, p. 90-99 10 p.

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

  • A Quantitative Analysis of Variability Warnings in Linux

    Melo, J., Flesborg, E., Brabrand, C. & Wasowski, A., 10 Dec 2015, VaMoS '16 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Association for Computing Machinery, p. 3-8

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

  • A Reference Architecture for a Cloud-Based Tools as a Service Workspace

    Chauhan, A., Babar, M. A. & Sheng, Q. Z., 2015, Services Computing (SCC), 2015 IEEE International Conference on. IEEE Communications Society, p. 475-482 8 p.

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

  • Augmenting Everyday Artefacts to Support Social Interaction Among Senior Peers

    Nazzi, E. & Sokoler, T., 2015, Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. New York, NY, USA: Association for Computing Machinery, p. 11:1-11:8 11

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

  • BrainCrafter: An investigation into human-based neural network engineering

    Piskur, J., Greve, P., Togelius, J. & Risi, S., 1 May 2015, Evolutionary Computation (CEC), 2015 IEEE Congress on. IEEE, p. 2199-2206 8 p.

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

  • Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 May 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, p. 54-57

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

  • Certified Symbolic Management of Financial Multi-party Contracts

    Bahr, P., Berthold, J. & Elsman, M., 1 Sept 2015, ICFP 2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: Association for Computing Machinery, p. 315-327 13 p.

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

  • Collaborative Affordances of Hybrid Patient Record Technologies in Medical Work

    Houben, S., Frost, M. & Bardram, J. E., 2015, CSCW '15 Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, p. 785-797 (ACM Conference on Computer-Supported Cooperative Work and Social Computing).

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

  • Computation of Stackelberg Equilibria of Finite Sequential Games

    Bosanski, B., Branzei, S., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B., 9 Dec 2015, LNCS 9470 - Web and Internet Economics: 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings. Markakis, E. & Schäfer, G. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science).

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

    Open Access
    File

  • Concurrency & Asynchrony in Declarative Workflows

    Debois, S., Hildebrandt, T. & Slaats, T., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 72-89 (Lecture Notes in Computer Science).

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

    Open Access
    File

  • Creating Gaze Annotations in Head Mounted Displays

    Mardanbeigi, D. & Qvarfordt, P., 2015, ISWC '15 Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, p. 161-162

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

  • Darwin's Avatars: a Novel Combination of Gameplay and Procedural Content Generation

    Lessin, D. & Risi, S., 11 Jul 2015, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2015. Association for Computing Machinery, p. 329-336

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

    Open Access
    File

  • Depth Compensation Model for Gaze Estimation in Sport Analysis

    Batista Narcizo, F. & Hansen, D. W., 17 Dec 2015, 2015 IEEE International Conference on Computer Vision Workshop (ICCVW). IEEE Professional Communication Society, p. 788-795 8 p.

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

  • Design of Nature: Considering Novel Ecosystems

    Beloff, L., 2015, Proceedings of the 20th International Symposium on Electronic Art. Zayed University Books, p. 87-91 5 p.

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

  • Early Nordic compilers and autocodes

    Sestoft, P., 2015, History of Nordic Computing 4: 4th IFIP WG 9.7 Conference, HiNC4. Gram, C., Rasmussen, P. & Østergaard, S. D. (eds.). Springer, p. 350-366 17 p. (IFIP AICT - Advances in Information and Communication technology, Vol. 447).

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

    Open Access
    File

  • Effectiveness of Persona with Personality Traits on Conceptual Design

    Anvari, F., Richards, D., Hitchens, M. & Babar, M. A., 2015, 37th IEEE International Conference on Software Engineering. IEEE Professional Communication Society, p. 263-272 10 p.

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

    File

  • Electromagnetic Landscape: In-between Signal, Noise and Environment

    Cermak, D., Okutsu, A. & Hasse, S., 2015, Proceedings of the 21st International Symposium on Electronic Art: ISEA2015. 3 p.

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

  • Enhancing Divergent Search through Extinction Events

    Lehman, J. & Miikkulainen, R., 2015, Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015): GECCO '15. New York, NY, USA: Association for Computing Machinery, p. 951-958

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

  • Evolving Four Part Harmony Using a Multiple Worlds Model

    Scirea, M. & Brown, J. A., 2015, Proceedings of the 7th International Joint Conference on Computational Intelligence. Portugal, Vol. 1. p. 220-227 8 p.

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

    Open Access

  • Evolving Robot Controllers for Structured Environments Through Environment Decomposition

    Moreno, R., Faiña, A. & Støy, K., 2015, Applications of Evolutionary Computation: 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Springer International Publishing, Switzerland, Vol. 9028. p. 795-806 12 p. (Lecture Notes in Computer Science).

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

    Open Access
    File

  • Experiences from Designing and Validating a Software Modernization Transformation

    Iosif-Lazăr, A. F., Al-Sibahi, A. S., Dimovski, A., Savolainen, J. E., Sierszecki, K. & Wasowski, A., Nov 2015, Proceedings of the 30th ACM/IEEE international conference on Automated software engineering. IEEE, p. 597 - 607

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

  • Experimental Evaluation of Multi-Round Matrix Multiplication on MapReduce

    Ceccarello, M. & Silvestri, F., 5 Jan 2015, Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments (ALENEX). Brandes, U. & Eppstein, D. (eds.). Society for Industrial and Applied Mathematics, p. 119-132

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

  • EyeDroid: An Open Source Mobile Gaze Tracker on Android for Eyewear Computers

    Jalaliniya, S., Mardanbeigi, D., Sintos, I. & Garcia, D., 2015, UbiComp '15 Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, p. 873-879 4 p.

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

  • Family-Based Model Checking Without a Family-Based Model Checker

    Dimovski, A., Al-Sibahi, A. S., Brabrand, C. & Wasowski, A., 14 Aug 2015, Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Fischer, B. & Geldenhuys, J. (eds.). Springer VS, Vol. 9232. p. 282-299 18 p. (Lecture Notes in Computer Science).

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

    Open Access
    File

  • Fast Output-sensitive Matrix Multiplication

    Jacob, R. & Stöckel, M., 14 Sept 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 766-778 12 p. (Lecture Notes in Computer Science, Vol. 9294).

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

    Open Access
    File

  • Flora Robotica – Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids

    Hamann, H., Wahby, M., Schmickl, T., Zahadat, P., Hofstadler, D., Støy, K., Risi, S., Faina, A., Veenstra, F., Kernbach, S., Kuksin, I., Kernbach, O., Ayers, P. & Wojtaszek, P., 2015, Computational Intelligence, 2015 IEEE Symposium Series on. IEEE, p. 1102-1109 8 p.

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

    Open Access
    File

  • Forked and Integrated Variants In An Open-Source Firmware Project

    Stanciulescu, S., Schulze, S. & Wasowski, A., 25 Nov 2015, 2015 IEEE International Conference on Software Maintenance and Evolution: ICSME. IEEE, p. 151 - 160 10 p.

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

  • From Independence to Expansion and Back Again

    Christiani, T. L., Pagh, R. & Thorup, M., 2015, STOC '15 Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing. Association for Computing Machinery, p. 813-820

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

  • Hybrid Patient Record – Supporting Hybrid Interaction in Clinical Wards

    Houben, S., Schmidt, M., Frost, M. & Bardram, J., 2015, Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2015 9th International Conference on. IEEE Signal Processing Society, p. 270-271 2 p.

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

  • Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 Aug 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Vol. 1439. p. 107-119 (CEUR Workshop Proceedings).

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

    Open Access
    File

  • I/O-Efficient Similarity Join

    Pagh, R., Pham, N. D., Silvestri, F. & Stöckel, M., 14 Sept 2015, Algorithms - ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings. Springer, p. 941-952 12 p. (Lecture Notes in Computer Science, Vol. 9294).

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

    Open Access
    File

  • Interactive evolution of levels for a competitive multiplayer FPS

    Olsted, P. T., Ma, B. & Risi, S., 1 May 2015, Evolutionary Computation (CEC), 2015 IEEE Congress on. IEEE, p. 1527-1534 8 p.

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

  • Interactively Evolving Compositional Sound Synthesis Networks

    Jónsson, B. Þ., Hoover, A. K. & Risi, S., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation: GECCO '15. New York, NY, USA: Association for Computing Machinery, p. 321-328 8 p.

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

  • Investigating MCTS Modifications in General Video Game Playing

    Frydenberg, F., Andersen, K., Risi, S. & Togelius, J., 2015, Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games. IEEE Computer Society Press, p. 107-113

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

  • Large-Scale Similarity Joins With Guarantees

    Pagh, R., 2015, 18th International Conference on Database Theory (ICDT 2015). Vol. 31. p. 15-24 (Leibniz International Proceedings in Informatics).

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

    Open Access
    File

  • Magic Pointing for Eyewear Computers

    Jalaliniya, S., Mardanbegi, D. & Pederson, T., 7 Sept 2015, ISWC '15 Adjunct Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, p. 155-158

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

    Open Access
    File

  • Monte-Carlo Tree Search for Simulated Car Racing

    Fischer, J., Falsted, N., Vielwerth, M., Togelius, J. & Risi, S., 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015), June 22-25, 2015, Pacific Grove, CA, USA. Association for Computing Machinery, 5 p.

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

    Open Access