Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    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

  • 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, s. 321-328 8 s.

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

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

  • Large-Scale Similarity Joins With Guarantees

    Pagh, R., 2015, 18th International Conference on Database Theory (ICDT 2015). Bind 31. s. 15-24 (Leibniz International Proceedings in Informatics).

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

    Åben adgang
    Fil
  • Magic Pointing for Eyewear Computers

    Jalaliniya, S., Mardanbegi, D. & Pederson, T., 7 sep. 2015, ISWC '15 Adjunct Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, s. 155-158

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

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

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

    Åben adgang
  • 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, Bind 2. s. 879 - 886

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, Bind 42. s. 412 15 s.

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

    Åben adgang
    Fil
  • 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, s. 177-190 14 s. (Lecture Notes in Computer Science, Bind 9554).

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

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

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

    Åben adgang
    Fil
  • 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. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

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

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

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

    Åben adgang
  • 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, s. 604–611

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

    Fil
  • Software Tools and Practices

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

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

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

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

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

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

    Åben adgang
    Fil
  • 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, s. 231-242 12 s. (Lecture Notes in Computer Science, Bind 9134).

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

    Åben adgang
    Fil
  • 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 udg. Heidelberg, Germany: Springer, Bind 9384. s. 371-378 8 s. (Lecture Notes in Computer Science, Bind 9384).

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

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

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

  • Type Families with Class, Type Classes with Family

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 247-270 23 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Åben adgang
    Fil
  • 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. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

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

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

    Åben adgang
    Fil
  • 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, s. 421-432 12 s.

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

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). 7 s.

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

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 s. 71. (Annual Symposium on Logic in Computer Science).

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

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