Computer Science

Filter
Article in proceedings

Search results

  • 2015

    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

  • A Reference Architecture for Providing Tools as a Service to Support Global Software Development

    Chauhan, A., Apr 2014, Proceedings of the WICSA 2014 Companion. Association for Computing Machinery, 16

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

  • A type theory for productive coprogramming via guarded recursion

    Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 p. 71. (Annual Symposium on Logic in Computer Science).

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

  • Automatically Categorizing Procedurally Generated Content for Collecting Games

    Risi, S., Lehman, J., D’Ambrosio, D. B. & Stanley, K. O., 2014, FDG 2014 Workshop Proceedings: Proceedings of Workshops Colocated with the 9th International Conference on the Foundations of Digital Games. New York, NY: Association for Computing Machinery, (Proceedings of the Workshop on Procedural Content Generation in Games (PCG) at the 9th International Conference on the Foundations of Digital Games (FDG-2014). ACM, New York, NY, USA).

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

  • Autonomic Resource Provisioning for Cloud-Based Software

    Jamshidi, P., Ahmad, A. & Pahl, C., 2014, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems: SEAMS 2014. Association for Computing Machinery, p. 95-104 10 p.

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

  • Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino

    Sørensen, T. B., Dalis, M., Korzhyk, D., Conitzer, V. & Letchford, J., Aug 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, Vol. 1. p. 798-804 7 p.

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

  • BUSICO 3D: building simulation and control in unity 3D

    Fürst, J., Fierro, G., Bonnet, P. & Culler, D. E., 2014, Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, SenSys '14, Memphis, Tennessee, USA, November 3-6, 2014. Association for Computing Machinery, p. 326-327 2 p.

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

  • Concordance: Design Ideal for Facilitating Situated Negotiations in Out-of-clinic Healthcare

    Bagalkot, N. L., Gronvall, E. & Sokoler, T., 2014, The ACM SIGCHI Conference on Human Factors in Computing Systems: Extended Abstracts of CHI2014. Association for Computing Machinery, 10 p.

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

  • Concurrency Models with Causality and Events as Psi-calculi

    Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (eds.). Vol. 166. p. 4-20 17 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 166).

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

  • Efficient estimation for high similarities using odd sketches

    Mitzenmacher, M., Pagh, R. & Pham, N. D., 2014, Proceedings of the 23rd international conference on World wide web: WWW '14. Association for Computing Machinery, p. 109-118 10 p.

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

  • Efficient Representation for Online Suffix Tree Construction

    Larsson, N. J., Fuglsang, K. & Karlsson, K., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014. Gudmundsson, J. & Katajainen, J. (eds.). Springer, p. 400-411 12 p. (Lecture Notes in Computer Science, Vol. 8504).

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

  • Equality and fixpoints in the calculus of structures

    Chaudhuri, K. & Guenot, N., 12 Sept 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (eds.). Association for Computing Machinery, p. 30-40 10 p. (Annual Symposium on Logic in Computer Science).

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

  • Evaluating Musical Foreshadowing of Videogame Narrative Experiences

    Scirea, M., Cheong, Y.-G., Nelson, M. & Bae, B. C., 2014, Proceedings of the 9th Audio Mostly: A Conference on Interaction With Sound: AM '14. Association for Computing Machinery, 8 p.

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

    File
  • Generating k-independent variables in constant time

    Christiani, T. L. & Pagh, R., 2014, Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on. IEEE, p. 196-205

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

  • Guided Self-organization in Indirectly Encoded and Evolving Topographic Maps

    Risi, S. & Stanley, K. O., 2014, Proceedings of the 2014 Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 713-720 8 p.

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

  • Head and eye movement as pointing modalities for eyewear computers

    Jalaliniya, S., Mardanbeigi, D., Pederson, T. & Hansen, D. W., 19 Jun 2014, Proceedings of the 2014 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops. IEEE Computer Society Press, 4 p.

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

  • Head mounted device for point-of-gaze estimation in three dimensions

    Hansen, D. W., Lidegaard, M. & Krüger, N., 1 May 2014, ETRA '14 Proceedings of the Symposium on Eye Tracking Research and Applications . Association for Computing Machinery, 4 p.

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

  • Hybrid Extensions in a Logical Framework

    Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

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

  • HyPR Device: Mobile Support for Hybrid Patient Records

    Houben, S., Frost, M. & Bardram, J. E., 2014, ITS '14 Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, p. 249-258 10 p.

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

  • I/O Speculation for the Microsecond Era

    Wei, M. Y. C., Bjørling, M., Bonnet, P. & Swanson, S., 2014, 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.. USENIX - The Advanced Computing Systems Association, p. 475-481 7 p.

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

    Open Access
  • Is Min-Wise Hashing Optimal for Summarizing Set Intersection?

    Pagh, R., Stöckel, M. & Woodruff, D., 2014, Proceedings of the 2014 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, p. 109-120

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

  • Knowledge Sharing for Common Understanding of Technical Specifications Through Artifactual Culture

    Zahedi, M. & Babar, M. A., 13 May 2014, Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering: EASE '14. Shepperd, M., Hall, T. & Myrtveit, I. (eds.). Association for Computing Machinery, 10 p. 11. (Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering).

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