Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2019

    System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application

    Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 1. aug. 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). Konofaos, N. & Kitsos, P. (red.). IEEE, s. 572-579

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. apr. 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (red.). Open Publishing Association, Bind 292. s. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 292).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    60 Downloads (Pure)
  • Time Varying Predominance Tag Maps

    Reckziegel, M. & Jänicke, S., 19. dec. 2019, Proceedings IEEE Visualization 2019. IEEE, s. 231-235 5 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2018

    Advice complexity of priority algorithms

    Borodin, A., Boyar, J., Larsen, K. S. & Pankratov, D., 2018, Approximation and Online Algorithms - 16th International Workshop, WAOA 2018, Revised Selected Papers. Epstein, L. & Erlebach, T. (red.). Springer VS, s. 69-86 (Lecture Notes in Computer Science, Bind 11312).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    38 Downloads (Pure)
  • A generic framework for engineering graph canonization algorithms

    Andersen, J. L. & Merkle, D., jan. 2018, 2018 Proceedings of the 20th Workshop on Algorithm Engineering and Experiments, ALENEX 2018. Venkatasubramanian, S. & Pagh, R. (red.). Society for Industrial and Applied Mathematics Publications, s. 139-153

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    156 Downloads (Pure)
  • A metaheuristic algorithm for hiding sensitive itemsets

    Lin, J. C. W., Zhang, Y., Fournier-Viger, P., Djenouri, Y. & Zhang, J., aug. 2018, Database and Expert Systems Applications. Pernul, G., Hartmann, S., Ma, H., Hameurlain, A. & Wagner, R. R. (red.). Springer, Bind II. s. 492-498 (Lecture Notes in Computer Science, Bind 11030). (Information Systems and Applications, incl. Internet/Web, and HCI, Bind 11030).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Anomaly analyses for feature-model evolution

    Nieke, M., Thüm, T., Mauro, J., Yu, I. C., Seidl, C. & Franzke, F., nov. 2018, GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. Van Wyk, E. & Rompf, T. (red.). Association for Computing Machinery, s. 188-201 14 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Anonymization of multiple and personalized sensitive attributes

    Lin, J. C. W., Liu, Q., Fournier-Viger, P., Djenouri, Y. & Zhang, J., aug. 2018, Big Data Analytics and Knowledge Discovery. Ordonez, C. & Bellatreche, L. (red.). Springer, s. 204-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11031 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Applied choreographies

    Giallorenzo, S., Montesi, F. & Gabbrielli, M., 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Proceedings. Baier, C. & Caires, L. (red.). Springer, s. 21-40 (Lecture Notes in Computer Science, Bind 10854).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A unified framework of density-based clustering for semi-supervised classification

    Gertrudes, J. C., Zimek, A., Sander, J. & Campello, R. J. G. B., 9. jul. 2018, Proceedings of the 30th International Conference on Scientific and Statistical Database Management: SSDBM '18. Bohlen, M., Gamper, J., Kroger, P. & Sacharidis, D. (red.). Association for Computing Machinery, 12 s. 11

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • ChIP: A choreographic integration process

    Giallorenzo, S., Lanese, I. & Russo, D., okt. 2018, On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Proceedings. Panetto, H., Debruyne, C., Proper, H. A., Ardagna, C. A., Roman, D. & Meersman, R. (red.). Springer VS, s. 22-40 (Lecture Notes in Computer Science, Bind 11230).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    77 Downloads (Pure)
  • Communications in choreographies, revisited

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. apr. 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, s. 1248-1255

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    134 Downloads (Pure)
  • Discovering strong meta association rules using bees swarm optimization

    Djenouri, Y., Belhadi, A., Fournier-Viger, P. & Lin, J. C. W., 1. jan. 2018, Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2018 Workshops, BDASC, BDM, ML4Cyber, PAISI, DaMEMO, Revised Selected Papers. Ganji, M., Rashidi, L., Fung, B. C. M. & Wang, C. (red.). Switzerland: Springer VS, s. 195-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11154 LNAI).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • From the decorator pattern to circuit breakers in microservices

    Montesi, F. & Weber, J., 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, Bind Part F137816. s. 1733-1735

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Heuristic Variants for A* Search in 3D Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. van Hoeve, W-J. (red.). 1 udg. Springer, s. 361-376 (Lecture Notes in Computer Science, Bind 10848).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    218 Downloads (Pure)
  • Linear time canonicalization and enumeration of non-Isomorphic 1-Face embeddings

    Hellmuth, M., Knudsen, A. S., Kotrbík, M., Merkle, D. & Nøjgaard, N., 2018, 2018 Proceedings of the 20th Workshop on Algorithm Engineering and Experiments, ALENEX 2018. Venkatasubramanian, S. & Pagh, R. (red.). Society for Industrial and Applied Mathematics Publications, s. 154-168

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (red.). Springer, s. 109-126 (Lecture Notes in Computer Science, Bind 10748). (Programming and Software Engineering, Bind 10748).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Microservices: How to make your application scale

    Dragoni, N., Lanese, I., Larsen, S. T., Mazzara, M., Mustafin, R. & Safina, L., 2018, Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, A. K. & Voronkov, A. (red.). Springer, s. 95-104 (Lecture Notes in Computer Science, Bind 10742).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    180 Downloads (Pure)
  • On the Correlation Between Local Intrinsic Dimensionality and Outlierness

    Houle, M. E., Schubert, E. & Zimek, A., 2018, Similarity Search and Applications - 11th International Conference, SISAP 2018, Proceedings. Marchand-Maillet, S., Silva, Y. N. & Chávez, E. (red.). Springer VS, s. 177-191 (Lecture Notes in Computer Science, Bind 11223).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    150 Downloads (Pure)
  • Outlier detection based on low density models

    Iglesias Vazquez, F., Zseby, T. & Zimek, A., 2018, Proceedings of the 18th IEEE International Conference on Data Mining Workshops, ICDMW 2018. Yu, J., Li, Z., Tong, H. & Zhu, F. (red.). IEEE Press, s. 970-979 8637447. (IEEE International Conference on Data Mining Workshops, ICDMW, Bind 2018-November).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    142 Downloads (Pure)
  • Outlier Detection in Graphs: On the Impact of Multiple Graph Models

    Campos, G. O., Meira Jr., W. & Zimek, A., 25. jun. 2018, Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics: WIMS 2018. Badica, C., Akerkar, R., Ivanovic, M., Savic, M., Radovanovic, M., Kim, S-W., Rosati, R. & Manolopoulos, Y. (red.). Association for Computing Machinery, 12 s. 21

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Outlier Detection in Urban Traffic Data

    Djenouri, Y. & Zimek, A., 25. jun. 2018, Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, WIMS 2018. Badica, C., Akerkar, R., Ivanovic, M., Savic, M., Radovanovic, M., Kim, S-W., Rosati, R. & Manolopoulos, Y. (red.). Association for Computing Machinery, 12 s. 3

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskning

  • Outlier Detection in Urban Traffic Flow Distributions

    Djenouri, Y., Zimek, A. & Chiarandini, M., 31. dec. 2018, 2018 IEEE International Conference on Data Mining. IEEE, s. 935-940

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    193 Downloads (Pure)
  • Parameterized Algorithms for Survivable Network Design with Uniform Demands

    Bang-Jensen, J., Klinkby Knudsen, K. V., Saurabh, S., Basavaraju, M., Misra, P., Zehavi, M. & Ramanujan, M. S., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Association for Computing Machinery, s. 2838-2850

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Partial homology relations - satisfiability in terms of di-cographs

    Nøjgaard, N., El-Mabrouk, N., Merkle, D., Wieseke, N. & Hellmuth, M., 2018, Computing and Combinatorics: 24th International Conference, COCOON 2018, Proceedings. Zhu, D. & Wang, L. (red.). Springer, Bind 10976. s. 403-415 (Lecture Notes in Computer Science, Bind 10976).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    98 Downloads (Pure)
  • 2017

    A Core Model for Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Khosravi, R. & Kouchnarenko, O. (red.). Springer, s. 17-35 (Lecture Notes in Computer Science, Bind 10231).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    161 Downloads (Pure)
  • Active Integrity Constraints: from Theory to Implementation

    Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 2017, Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Fred, A., Dietz, J. L. G., Aveiro, D., Liu, K. & Filipe, J. (red.). Springer, s. 399-420 (Communications in Computer and Information Science, Bind 631).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Batch Coloring of Graphs

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A., 2017, Approximation and Online Algorithms: 14th International Workshop on Approximation and Online Algorithms, WAOA 2016. Mastrolilli, M. & Jansen, K. (red.). Springer, s. 52-64 (Lecture Notes in Computer Science, Bind 10138).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • CBP: A New Parallelization Paradigm for Massively Distributed Stream Processing

    Guo, Q. & Zhou, Y., 2017, Database Systems for Advanced Applications: Proceedings of the 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30. Selcuk, C., Lei, C., Pedersen, T. B., Lijun, C. & Wen, H. (red.). Springer, Bind Part II. s. 304-320 (Lecture Notes in Computer Science, Bind 10178).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Chemical Graph Transformation with Stereo-Information

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2017, Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Proceedings: Proceedings of the 10th International Conference on Graph Transformation. Plump, D. & de Lara, J. (red.). Cham: Springer, s. 54-69 (Lecture Notes in Computer Science, Bind 10373).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Classical higher-order processes

    Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Bouajjani, A. & Silva, A. (red.). Springer, s. 171-178 (Lecture Notes in Computer Science, Bind 10321).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    129 Downloads (Pure)
  • Constraint Handling in Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2017, 23rd International Conference on Principles and Practice of Constraint Programming. Christopher Beck, J. (red.). Springer, s. 354-369 (Lecture Notes in Computer Science, Bind 10416).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • DNA-Templated Synthesis Optimization

    Hansen, B. N., Larsen, K. S., Merkle, D. & Mihalchuk, A., 2017, 23rd International Conference on DNA Computing and Molecular Programming. Brijder, R. & Qian, L. (red.). Springer, s. 17-32 (Lecture Notes in Computer Science, Bind 10467).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Editorial message: Special Track on Service-Oriented Architectures and Programming (SOAP)

    Bartoletti, M., Ter Beek, M. H., Cruz-Filipe, L. & Melgratti, H., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1309-1311

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

  • Efficient Certified RAT Verification

    Cruz-Filipe, L., Heule, M., Hunt, Jr, W., Kaufmann, M. & Schneider-Kamp, P., 2017, Automated Deduction - CADE 26: Proceedings of the 26th International Conference on Automated Deduction. de Moura, L. (red.). Springer, s. 220-236 (Lecture Notes in Computer Science, Bind 10395).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    129 Downloads (Pure)
  • Efficient Certified Resolution Proof Checking

    Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., 2017, Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 3rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Margaria, T. & Legay, A. (red.). Springer, Bind Part I. s. 118-135 (Lecture Notes in Computer Science, Bind 10205).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    106 Downloads (Pure)
  • Encoding Asynchrony in Choreographies

    Cruz-Filipe, L. & Montesi, F., 2017, Proceedings of the Symposium on Applied Computing. Association for Computing Machinery, s. 1175-1177

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Flight Planning in Free Route Airspaces

    Kehlet Jensen, C., Chiarandini, M. & Larsen, K. S., 2017, 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems. D'Angelo, G. & Dollevoet, T. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, s. 14:1-14:14 (OpenAccess Series in Informatics, Bind 59).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    75 Downloads (Pure)
  • Forbidden time travel: Characterization of time-consistent tree reconciliation maps

    Nøjgaard, N., Geiß, M., Merkle, D., Stadler, P. F., Wieseke, N. & Hellmuth, M., 2017, 17th International Workshop on Algorithms in Bioinformatics, WABI 2017. Schwartz, R. & Reinert, K. (red.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, Bind 88).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    52 Downloads (Pure)
  • Formally Proving the Boolean Triples Conjecture

    Cruz-Filipe, L. & Schneider-Kamp, P., 2017, Proceedings of LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 509-522 (EPiC Series in Computing, Bind 46).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    78 Downloads (Pure)
  • Good and Bad Neighborhood Approximations for Outlier Detection Ensembles

    Kirner, E., Schubert, E. & Zimek, A., 2017, Proceedings of the 10th International Conference on Similarity Search and Applications. Beecks, C., Borutta, F., Kröger, P. & Seidl, T. (red.). Cham: Springer, s. 173-187 (Lecture Notes in Computer Science, Bind 10609).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • How to Get More Out of Your Oracles

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P., 2017, Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (red.). Springer, s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Integrative Dynamic Reconfiguration in a Parallel Stream Processing Engine

    Madsen, K. G. S., Zhou, Y. & Cao, J., 2017, Proceedings of the 33rd International Conference on Data Engineering (ICDE). IEEE Press, s. 227-230

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    122 Downloads (Pure)
  • On the Power and Limits of Sequence Similarity Based Clustering of Proteins Into Families

    Wiwie, C. & Röttger, R., 2017, Biocomputing 2017: Proceedings of the Pacific Symposium. Altman, R. B., Dunker, A. K., Hunter, L., Ritchie, M., Murray, T. & Klein, T. (red.). World Scientific, s. 39-50

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Packaging microservices: (work in progress)

    Montesi, F. & Thrane, D. S., 2017, Distributed Applications and Interoperable Systems: 17th IFIP WG 6.1 International Conference, DAIS 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Y. Chen, L. & P. Reiser, H. (red.). Springer, s. 131-137 (Lecture Notes in Computer Science, Bind 10320).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Parallel SPARQL Query Optimization

    Wu, B., Zhou, Y., Jin, H. & Deshpande, A., 2017, Proceedings of the 33rd IEEE International Conference on Data Engineering (ICDE). IEEE Press, s. 547-558

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Procedural Choreographic Programming

    Cruz-Filipe, L. & Montesi, F., 2017, Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Bouajjani, A. & Silva, A. (red.). Springer, s. 92-107 (Lecture Notes in Computer Science, Bind 10321).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    97 Downloads (Pure)
  • Progressive Recovery of Correlated Failures in Distributed Stream Processing Engines

    Su, L. & Zhou, Y., 2017, Advances in Database Technology: Proceedings of the 20th International Conference on Extending Database Technology. Markl, V., Orlando, S., Mitschang, B., Andritsos, P., Sattler, K-U. & Breß, S. (red.). OpenProceedings, s. 518-521 (Advances in Database Technology, Bind 2017).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    19 Downloads (Pure)
  • Redundancies in Data and their Effect on the Evaluation of Recommendation Systems: A Case Study on the Amazon Reviews Datasets

    Basaran, D., Ntoutsi, E. & Zimek, A., 2017, Proceedings of the 2017 SIAM International Conference on Data Mining. Society for Industrial and Applied Mathematics, Bind 17. s. 390-398 (SIAM Data Mining).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Relaxing the Irrevocability Requirement for Online Graph Algorithms

    Boyar, J., Favrholdt, L. M., Kotrbcik, M. & Larsen, K. S., 2017, Algorithms and Data Structures: Proceedings of the 15th International Symposium on Algorithms and Data Structures. Ellen, F., Kolokolova, A. & Sack, J-R. (red.). Springer, s. 217-228 (Lecture Notes in Computer Science, Bind 10389).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    120 Downloads (Pure)