Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2019

    Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons

    Dharanikot, S., Jensen, M. T., Kristensen, S. R., Michno, M. S., Pignolet, Y. A., Hansen, R. R. & Schmid, S., 2019, 2019 IEEE International Conference on Blockchain (Blockchain). IEEE, s. 99-106

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Collective embedding for neural context-aware recommender systems

    Costa, F. S. D. & Dolog, P., 2019, Proceedings of the 13th ACM Conference on Recommender Systems, RecSys 2019, Copenhagen, Denmark, September 16-20, 2019.. Bogers, T., Said, A., Brusilovsky, P. & Tikk, D. (red.). Association for Computing Machinery, s. 201-209 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    18 Citationer (Scopus)

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    45 Downloads (Pure)

  • Continuous Range Queries over Multi-Attribute Trajectories

    Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, s. 1610-1613 4 s. 8731413. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Convolutional Adversarial Latent Factor Model for Recommender System

    Costa, F. S. D. & Dolog, P., 2019, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019.. Barták, R. & Brawner, K. W. (red.). AAAI Press, s. 419-424 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    113 Downloads (Pure)

  • CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

    Schneiders, E. & Skov, M. B., 25 aug. 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Springer, s. 678-687 10 s. (Lecture Notes in Computer Science, Bind 11747).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    63 Downloads (Pure)

  • DBSCAN-MS: Distributed Density-Based Clustering in Metric Spaces

    Yang, K., Gao, Y., Ma, R., Chen, L., Wu, S. & Chen, G., apr. 2019, 2019 IEEE 35th International Conference on Data Engineering (ICDE). IEEE, s. 1346-1357 12 s. 8731428. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)

  • Decentralized Indexing over a Network of RDF Peers

    Aebeloe, C., Montoya, G. & Hose, K., 2019, The Semantic Web – ISWC 2019 - 18th International Semantic Web Conference, Proceedings. Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V., Cruz, I., Hogan, A., Song, J., Lefrançois, M. & Gandon, F. (red.). Springer, s. 3-20 18 s. (Lecture Notes in Computer Science, Bind 11778).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 Citationer (Scopus)

  • Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, s. 1933-1936 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Drivelab: An experimental platform for telematics

    Pedersen, K. F. & Torp, K., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 252-259 8 s. 8788727. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Effective and Efficient Reuse of Past Travel Behavior for Route Recommendation

    Chen, L., Shang, S., Jensen, C. S., Yao, B., Zhang, Z. & Shao, L., 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 488-498 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    49 Citationer (Scopus)

  • Efficient and Incremental Clustering Algorithms on Star-Schema Heterogeneous Graphs

    Chen, L., Gao, Y., Zhang, Y., Jensen, C. S. & Zheng, B., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 256-267 12 s. 8731611. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)

  • Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

    Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 apr. 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 1734-1737 4 s. 8731434. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Efficiently Mining Maximal Diverse Frequent Itemsets

    Wu, D., Luo, D., Jensen, C. S. & Huang, J. Z., 2019, Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Proceedings: DASFAA 2019: Database Systems for Advanced Applications. Tong, Y., Natwichai, J., Yang, J., Li, G. & Gama, J. (red.). Springer, s. 191-207 17 s. (Lecture Notes in Computer Science, Bind 11447).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    61 Downloads (Pure)

  • Example-based Search: a New Frontier for Exploratory Search

    Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 18 jul. 2019, Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2019. Association for Computing Machinery, s. 1411–1412 2 s. (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

    5 Citationer (Scopus)

  • Exploiting Ratings, Reviews and Relationships for Item Recommendations in Topic Based Social Networks

    Li, P., Lu, H., Zheng, G., Zheng, Q., Yang, L. & Pan, G., 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 995-1005 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Exploiting Symmetry of Independence in d-Separation

    Butz, C. J., dos Santos, A. E., Oliveira, J. & Madsen, A. L., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Meurs, M-J. & Rudzicz, F. (red.). Cham: Springer, s. 42-54 13 s. (Lecture Notes in Computer Science, Bind 11489).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Exploring the Data Wilderness through Examples

    Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2019, Proceedings of the 2019 International Conference on Management of Data (SIMGOD/PODS). Association for Computing Machinery, s. 2031-2035 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

    Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 jun. 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, s. 170-180 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    13 Citationer (Scopus)
    113 Downloads (Pure)

  • Full-Band Music Genres Interpolations with Wasserstein Autoencoders

    Borghuis, T., Tibo, A., Conforti, S., Brusci, L. & Frasconi, P., 2019, Ital-IA.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    87 Downloads (Pure)

  • Get realistic! - UCD course design and evaluation

    Larusdottir, M., Roto, V., Stage, J. & Lucero, A., 1 jan. 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (red.). Springer, s. 15-30 16 s. (Lecture Notes in Computer Science, Bind 11262).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    9 Citationer (Scopus)
    103 Downloads (Pure)

  • Graph Convolutional Networks for Road Networks

    Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 5 nov. 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (red.). Association for Computing Machinery, s. 460-463 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    27 Citationer (Scopus)
    379 Downloads (Pure)

  • Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants

    Coënt, A. L. & Fribourg, L., dec. 2019, 2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, s. 599-604 6 s. 9029376. (I E E E Conference on Decision and Control. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

    Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Chamberlain, R., Taha, W. & Törngren, M. (red.). Heidelberg: Springer, s. 113-133 21 s. (Lecture Notes in Computer Science, Bind 11615).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • How Diverse Are Federated Query Execution Plans Really?

    Jakobsen, A. L., Montoya, G. & Hose, K., 2019, The Semantic Web: ESWC 2019 Satellite Events - ESWC 2019 Satellite Events, Revised Selected Papers. Hitzler, P., Kirrane, S., Hartig, O., de Boer, V., Schlobach, S., Vidal, M-E., Maleshkova, M., Hammar, K., Lasierra, N., Stadtmüller, S., Hose, K. & Verborgh, R. (red.). Springer, s. 105-110 6 s. (Lecture Notes in Computer Science, Bind 11762).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    69 Downloads (Pure)

  • How new is the (RDF) news? Assessing knowledge graph completeness over news feed entities

    Sagi, T., Wolf, Y. & Hose, K., 13 maj 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 714-721 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

    Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). Chang, M., Sampson, D. G., Huang, R., Gomes, A. S., Chen, N-S., Bittencourt, I. I., Kinshuk, K., Dermeval, D. & Bittencourt, I. M. (red.). IEEE, s. 236-238 3 s. 8820918. (International Conference on Advanced Learning Technologies (ICALT)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Indexing Trajectories for Travel-Time Histogram Retrieval

    Waury, R., S. Jensen, C., Koide, S., Ishikawa, Y. & Xiao, C., 29 mar. 2019, Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings. Reinwald, B., Binnig, C., Kaoudi, Z., Galhardas, H., Herschel, M. & Fundulaki, I. (red.). OpenProceedings.org, s. 157-168 12 s. (Advances in Database Technology).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    77 Downloads (Pure)

  • In Good Company: Efficient Retrieval of the Top-k Most Relevant Event-Partner Pairs

    Wu, D., Zhu, Y. & Jensen, C. S., 2019, Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Proceedings: DASFAA 2019: Database Systems for Advanced Applications. Natwichai, J., Li, G., Yang, J., Gama, J. & Tong, Y. (red.). Springer, s. 519-535 17 s. (Lecture Notes in Computer Science (LNCS), Bind 11447).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    50 Downloads (Pure)

  • Interaction Design for Domestic Sound Zones

    Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Association for Computing Machinery, s. 248–251 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Investigating EV Driving as Meaningful Practice

    Jensen, R. H., Svangren, M. K., Skov, M. B. & Kjeldskov, J., 2 dec. 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019: OzCHI '19. Association for Computing Machinery, s. 42-52 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    7 Citationer (Scopus)
    256 Downloads (Pure)

  • Investigating the Use of an Online Peer-to-Peer Car Sharing Service

    Svangren, M. K., Brereton, M., Skov, M. B. & Kjeldskov, J., dec. 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Lecture Notes in Computer Science: Springer Publishing Company, Bind 11748. s. 740-759 20 s. (Lecture Notes in Computer Science, Bind 11748).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    101 Downloads (Pure)

  • Kraaler: A User-Perspective Web Crawler

    Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). Secci, S., Chrisment, I., Fiore, M., Tabourier, L. & Lim, K-W. (red.). IEEE, s. 153-160 8 s. 8784660

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • L*-Based Learning of Markov Decision Processes

    Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). Springer, s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    176 Downloads (Pure)

  • Languages' impact on emotional classification methods

    Eilertsen, A. C., Rose, D. H., Erichsen, P. L., Christensen, R. E. & Nath, R. P. D., sep. 2019, Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019. Ganzha, M., Maciaszek, L., Maciaszek, L. & Paprzycki, M. (red.). IEEE, s. 277-286 10 s. 8860017. (Federated Conference on Computer Science and Information Systems, Bind 18).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    52 Downloads (Pure)

  • Learned index for spatial queries

    Wang, H., Fu, X., Xu, J. & Lu, H., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 569-574 6 s. 8788832. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    50 Citationer (Scopus)

  • Lifelogging in the Wild: Participant Experiences of Using Lifelogging as a Research Tool

    Bruun, A. R. & Stentoft, M. L., 1 sep. 2019, Proceedings of the 17th IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2019. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (red.). Springer, s. 431-451 21 s. (Lecture Notes in Computer Science, Bind 11748).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    23 Citationer (Scopus)
    165 Downloads (Pure)

  • LightBee: A Self-Levitating Light Field Display for Hologrammatic Telepresence

    Zhang, X., Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 2 maj 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery, s. 12:1-12:10

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    25 Citationer (Scopus)

  • Locations and session types in a language with higher-order reflection

    Tran, M., Bendixen, A. R., Bojesen, B. B., Hüttel, H. & Lybech, S. L., 22 okt. 2019, AGERE 2019 - Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2019. Bergenti, F., Castegren, E., De Koster, J. & Franco, J. (red.). Association for Computing Machinery, s. 31-40 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Maintenance 4.0 world of integrated information

    Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 apr. 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, s. 67-78 12 s. (Proceedings of the I-ESA Conferences, Bind 9).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Managing Big Data Analytics Projects: The Challenges of Realizing Value

    Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS). Association for Informations Systems, AIS, (Proceedings / European Conference on Information Systems (ECIS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    463 Downloads (Pure)

  • Mental Models of Loudspeaker Directivity

    Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., sep. 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Nottingham, United Kingdom: Association for Computing Machinery, s. 260-263 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Model checking constrained markov reward models with uncertainties

    Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    45 Downloads (Pure)

  • Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (red.). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science, Bind 11636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    2 Citationer (Scopus)

  • Multicapacity Facility Selection in Networks

    Logins, A., Karras, P. & Jensen, C. S., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 794-805 12 s. 8731341. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Multi-Source Spatial Entity Linkage

    Isaj, S., Zimányi, E. & Pedersen, T. B., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, s. 1-10 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    198 Downloads (Pure)

  • Obesity Entity Extraction from Real Outpatient Records: When Learning-Based Methods Meet Small Imbalanced Medical Data Sets

    Deng, Y., Dolog, P., Gass, J-M. & Denecke, K., 2019, Proceedings - 2019 IEEE 32nd International Symposium on Computer-Based Medical Systems, CBMS 2019. IEEE, s. 411-416 6 s. 8787533. (IEEE International Symposium on Computer-Based Medical Systems (CBMS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • On Location Privacy in Fingerprinting-based Indoor Positioning System: An Encryption Approach

    Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (red.). Association for Computing Machinery, s. 289-298 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

    Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (red.). ijcai.org, s. 2725-2732 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    166 Citationer (Scopus)

  • Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    8 Citationer (Scopus)
    56 Downloads (Pure)