Computer Science

Filter
Article in proceedings

Search results

  • 2016

    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, p. 317-326 10 p.

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

    File
  • 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, p. 467–482 (Lecture Notes in Computer Science, Vol. 9936).

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

    Open Access
    File
  • 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, p. 1162-1170 9 p.

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

    Open Access
    File
  • 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, p. 626-633 8 p.

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

    Open Access
    File
  • 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, p. 141-148

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

    Open Access
    File
  • 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, p. 117-124 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 532-559 28 p. (Lecture Notes in Computer Science, Vol. 9632).

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

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

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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. (eds.). Limassol, Cyprus, November 9-11, 2016: Springer, p. 217-234 17 p. (Lecture Notes in Computer Science, Vol. 9995).

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

    Open Access
    File
  • 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, p. 692-699 8 p. 130

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

    Open Access
    File
  • 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, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 9634).

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

    Open Access
    File
  • 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, p. 89-98

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

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

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 691-696 6 p. (Lecture Notes in Computer Science, Vol. 10027).

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

    Open Access
    File
  • 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, Vol. 6.

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

    Open Access
  • 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, p. 41-42 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 149-156

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

    Open Access
    File
  • 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, p. 199-210 12 p.

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

    Open Access
    File
  • 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, p. 1-9

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 57-65 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 202-217 (Lecture Notes in Computer Science, Vol. 9596).

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

    Open Access
    File
  • 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, p. 590-603 (Lecture Notes in Computer Science, Vol. 9597).

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

    Open Access
    File
  • 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, p. 151-164

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

    Open Access
  • 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, p. 525-540 (Lecture Notes in Computer Science, Vol. 9597).

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

    Open Access
    File
  • 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. (ed.). Germany: Springer VS, p. 351-370 20 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
  • 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, p. 235-236 2 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 283-286 4 p.

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

    Open Access
    File
  • 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, p. 208-219 12 p. ( Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 181).

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

    Open Access
    File
  • 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, p. 77-80

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 634-635 (Complex Adaptive Systems).

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

    Open Access
  • 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, p. 1109-1118

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

    Open Access
    File
  • 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, p. 295-298 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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, p. 502-509 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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

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

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