Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2016

    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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 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. (red.). Lecture Notes in Computer Science udg. Springer VS, Bind 9641. s. 19-37 19 s. (Lecture Notes in Computer Science, Bind 9641).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 14-19 6 s. (ISEA 2016 Proceedings).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). 7 udg. Association for Computing Machinery, s. 191-199 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Towards Adaptive Evolutionary Architecture

    Bak, S. HO., 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, s. 47-62 16 s. (Lecture Notes in Informatics, Bind 9596).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 114-120 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 57-64 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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., maj 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. IEEE Press, s. 969-970 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Adapting participatory design to design information system with rural Ethiopian community

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, Bind 8931. s. 153-171 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • An Egocentric Approach Towards Ubiquitous Multimodal Interaction

    Pederson, T. & Jalaliniya, S., 7 sep. 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, s. 927-932 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 3-14 (Lecture Notes in Computer Science, Bind 9371).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 769-775

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 90-99 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 3-8

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 475-482 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 11:1-11:8 11

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review