Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2016

    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

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 maj 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, s. 54-57

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

  • Certified Symbolic Management of Financial Multi-party Contracts

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 785-797 (ACM Conference on Computer-Supported Cooperative Work and Social Computing).

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

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

    Åben adgang
    Fil
  • 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, Bind 9253. s. 72-89 (Lecture Notes in Computer Science).

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

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

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

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

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

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

  • Design of Nature: Considering Novel Ecosystems

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Springer, s. 350-366 17 s. (IFIP AICT - Advances in Information and Communication technology, Bind 447).

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

    Åben adgang
    Fil
  • 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, s. 263-272 10 s.

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

    Fil
  • 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 s.

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

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

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

    Åben adgang
  • 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, Bind 9028. s. 795-806 12 s. (Lecture Notes in Computer Science).

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Society for Industrial and Applied Mathematics, s. 119-132

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

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

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

    Åben adgang
    Fil
  • Fast Output-sensitive Matrix Multiplication

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

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

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

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

    Åben adgang
    Fil
  • 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, s. 151 - 160 10 s.

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 1439. s. 107-119 (CEUR Workshop Proceedings).

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

    Åben adgang
    Fil
  • I/O-Efficient Similarity Join

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

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

    Åben adgang
    Fil
  • Interactive evolution of levels for a competitive multiplayer FPS

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

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