Computer Science

Filter
Article in proceedings

Search results

  • 2015

    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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-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 chapterArticle in proceedingsResearchpeer-review

    Open Access
  • Morphologically intelligent underactuated robot for underwater hull cleaning

    Souto, D., Faina, A., López-Peña, F. & Duro, R., 2015, Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2015 . IEEE Press, Vol. 2. p. 879 - 886

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Novelty-driven Particle Swarm Optimization

    Galvao, D., Lehman, J. A. & Urbano, P., 2015, Artificial Evolution: 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers. Springer, p. 177-190 14 p. (Lecture Notes in Computer Science, Vol. 9554).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Quicksort, Largest Bucket, and Min-Wise Hashing with Limited Independence

    Knudsen, M. B. T. & Stöckel, M., 2015, Algorithms – ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14–16, 2015, Proceedings. Springer, Vol. 9294. p. 828-839 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • SMUG: Scientific Music Generator

    Scirea, M., A B Barros, G., Togelius, J. & Shaker, N., Jun 2015, Proceedings of the Sixth International Conference on Computational Creativity June 2015. Utah State University Press, p. 204-211

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
  • Soft-Body Muscles for Evolved Virtual Creatures: The Next Step on a Bio-Mimetic Path to Meaningful Morphological Complexity

    Lessin, D. & Risi, S., 2015, Proceedings of the European Conference on Artificial Life (ECAL) 2015. MIT Press, p. 604–611

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • Software Tools and Practices

    Dittrich, Y., 2015, Human-Centric Development of Software Tools: Dagstuhl Seminar 15222. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 5. p. 123-124 3 p. (Dagstuhl Seminar Proceedings).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • The Analysis of a Real Life Declarative Process

    Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, p. 1374 - 1382

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • The dBoard: a Digital Scrum Board for Distributed Software Development

    Esbensen, M., Tell, P., Cholewa, J. B., Pedersen, M. K. & Bardram, J., 2015, The ACM International Conference on Interactive Tabletops and Surfaces (ITS’15). Association for Computing Machinery, p. 161-170 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • The Input/Output Complexity of Sparse Matrix Multiplication

    Stöckel, M. & Pagh, R., 2015, Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings. Springer, Vol. 8737. p. 750-761 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems

    Björklund, A., Dell, H. & Husfeldt, T., 2015, Proceedings of the 42nd International Colloquium on Automata, Languages, and Programming, ICALP 2015, (6-10 July 2015, Kyoto, Japan). Springer, p. 231-242 12 p. (Lecture Notes in Computer Science, Vol. 9134).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Toward Real-time Multi-criteria Decision Making for Bus Service Reliability Optimisation

    Tran, V. T., Eklund, P. & Cook, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. LNCS ed. Heidelberg, Germany: Springer, Vol. 9384. p. 371-378 8 p. (Lecture Notes in Computer Science, Vol. 9384).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • TwitterIDo: What if My Shopping Bag Could Tell My Friends I’m Out Shopping

    Nazzi, E. & Sokoler, T., 21 Jul 2015, ITAP: International Conference on Human Aspects of IT for the Aged Population: Human Aspects of IT for the Aged Population. Design for Everyday Life. Springer Publishing Company, p. 512-523 (Lecture Notes in Computer Science, Vol. 9194).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Type Families with Class, Type Classes with Family

    Serrano, A., Hage, J. & Bahr, P., 1 Sept 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 129-140 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 Dec 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Web-Based Modelling and Collaborative Simulation of Declarative Processes.

    Slaats, T., Marquard, M. & Shahzad, M., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 209-225 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 2014

    42 Variability Bugs in the Linux Kernel: A Qualitative Study

    Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, p. 421-432 12 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • ActivitySpace: Managing Device Ecologies in an Activity-Centric Configuration Space

    Houben, S., Tell, P. & Bardram, J. E., 2014, ITS '13 The ACM International Conference on Interactive Tabletops and Surfacess and Surfaces (ITS’14). Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Adapting Morphology to Multiple Tasks in Evolved Virtual Creatures

    Lessin, D., Fussell, D. & Miikkulainen, R., 2014, Proceedings of The Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14) 2014. MIT Press, p. 247-254

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • A Distributed Architecture for Sharing Ecological Data Sets with Access and Usage Control Guarantees

    Bonnet, P., Gonzalez, J. & Granados, J. A., 15 Jul 2014, Proceedings of the 7th International Congress on Environmental Modelling and Software. Ames, D. P., Quinn, N. W. T. & Rizzoli, A. E. (eds.). 7 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • Architecture-driven Migration of Legacy Systems to Cloud-enabled Software

    Ahmad, A. & Babar, M. A., 2014, 1st Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon, co-located with WICSA 2014): Proceedings of the WICSA 2014. Association for Computing Machinery, 7 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review