Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2023

    Visualizing How-Provenance Explanations for SPARQL Queries

    Galárraga, L., Hernández, D., Katim, A. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 212-216 5 s.

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

  • Voting-based Opinion Maximization

    Saha, A., Ke, X., Khan, A. & Lakshmanan, L. V. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE, s. 544-557 14 s. (Proceedings of the International Conference on Data Engineering).

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

  • 2022

    Additive Pattern Databases for Decoupled Search

    Sievers, S., Gnad, D. & Torralba, A., 17 jul. 2022, Proceedings of the Fifteenth International Symposium on Combinatorial Search . 1 udg. The AAAI Press, Bind 15. s. 180-189 9 s.

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

  • A Decision Support System to Predict Acute Fish Toxicity

    Madsen, A. L., Moe, S. J., Braunbeck, T., Connors, K. A., Embry, M., Schirmer, K., Scholz, S., Wolf, R. & Lillicrap, A. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models. Salmerón, A. & Rumi, R. (red.). PMLR Press, s. 253-264 12 s. (The Proceedings of Machine Learning Research, Bind 186).

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

    Åben adgang
    Fil
    10 Downloads (Pure)

  • A Diagram-Centric Modeling Tool for Systems of Systems

    Harbo, S. K. R., Voldby, E. P., Madsen, J. & Albano, M., 23 okt. 2022, Proceedings of the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, s. 51-55 5 s.

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

    2 Citationer (Scopus)

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 344-362 19 s. (Lecture Notes in Computer Science, Bind 13299).

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

    2 Citationer (Scopus)

  • An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

    Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Quantitative Evaluation of Systems. Springer, s. 173–191 (Lecture Notes in Computer Science, Bind 13479).

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

    1 Citationer (Scopus)

  • An approach for Web of Things over Named Data Networking

    Dongo, J., 7 nov. 2022, IoT 2022 - Proceedings of the 12th International Conference on the Internet of Things 2022. Association for Computing Machinery, s. 187-192 6 s.

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

  • An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 maj 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). Iyenghar, P. & Rakic, G. (red.). CEUR Workshop Proceedings, (CEUR Workshop Proceedings, Bind 3145).

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

    Åben adgang
    Fil
    118 Downloads (Pure)

  • An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Computational Methods in Systems Biology (CMSB'2022). Springer, s. 294-301 (Lecture Notes in Computer Science, Bind LNBI, volume 13447).

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

    Åben adgang
    1 Citationer (Scopus)

  • Anomaly Detection in Time Series with Robust Variational Quasi-Recurrent Autoencoders

    Kieu, T., Yang, B., Guo, C., Cirstea, R-G., Zhao, Y., Song, Y. & Jensen, C. S., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, s. 1342-1354 13 s.

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

    21 Citationer (Scopus)

  • Approximate and Interactive Processing of Aggregate Queries on Knowledge Graphs: A Demonstration

    Wang, Y., Khan, A., Xu, X., Ye, S., Pan, S. & Zhou, Y., 17 okt. 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. 31st ACM International Conference on Information and Knowledge Management (CIKM ’22), October 17–21, 2022, Atlanta, GA, USA. : Association for Computing Machinery, s. 5034-5038 5 s.

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

    4 Citationer (Scopus)

  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., sep. 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (red.). Springer, Bind 13498. s. 264-273 10 s. (Lecture Notes in Computer Science, Bind 13498).

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

    2 Citationer (Scopus)

  • ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 142-184 43 s. (EPiC Series in Computing, Bind 90).

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

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

  • ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 58-85 28 s. (EPiC Series in Computing, Bind 90).

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

    Åben adgang
    2 Citationer (Scopus)

  • ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (red.). EasyChair, s. 58-85 27 s. (EPiC Series in Computing, Bind 90).

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

    Åben adgang
    1 Citationer (Scopus)

  • A Reparameterization of Mixtures of Truncated Basis Functions and its Applications

    Salmerón, A., Langseth, H., Masegosa, A. & Nielsen, T. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models : PMLR. Salmerón, A. & Rumı́, R. (red.). PMLR Press, Bind 186. s. 205-216 (The Proceedings of Machine Learning Research, Bind 186).

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

    Åben adgang

  • A Sigfox Module for the Network Simulator 3

    Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 jun. 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery, s. 81-88 8 s. (ACM International Conference Proceeding Series).

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

    2 Citationer (Scopus)

  • A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 aug. 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

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

  • A Study of Extensive LoRaWAN Downlink Communication in a Mobility Scenario

    Thomassen, M. S. E., Winkler, K. S., Magrin, D. & Albano, M., 14 nov. 2022, Proceedings of MobiQuitous 2022. EAI - European Alliance for Innovation, s. 455-468 14 s.

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

  • A Supervised Skyline-Based Algorithm for Spatial Entity Linkage

    Isaj, S., Kaffes, V., Pedersen, T. B. & Giannopoulos, G., mar. 2022, Proceedings of the 25th International Conference on Extending Database Technology (EDBT). OpenProceedings.org, s. 220-233 (Advances in Database Technology, Bind 25).

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

    Åben adgang
    Fil
    31 Downloads (Pure)

  • Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (red.). Springer, s. 151-173 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13182 LNCS).

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

    1 Citationer (Scopus)

  • Balancing Flexible Production and Consumption of Energy using Resource Timed Automata

    Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 jun. 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE, (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    1 Citationer (Scopus)

  • BaLeNAS: Differentiable Architecture Search via the Bayesian Learning Rule

    Zhang, M., Pan, S., Chang, X., Su, S., Hu, J., Haffari, G. & Yang, B., 2022, Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022. IEEE, s. 11861-11870 10 s. (I E E E Conference on Computer Vision and Pattern Recognition. Proceedings).

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

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

  • Between Egoism and Altruism: A Mixed-Methods Study of Reflections about Energy Use in the Life Cycle of High Preference Grocery Products

    Lindrup, M., Skov, M. B. & Raptis, D., 8 okt. 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, s. 1-10 10 s. 58

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

    1 Citationer (Scopus)

  • Beyond Stars - Generalized Topologies for Decoupled Search

    Gnad, D., Torralba, A. & Fišer, D., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 110-118 9 s.

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

    Åben adgang
    1 Citationer (Scopus)

  • Challenges Arising in a Multi-Drone System for Search and Rescue

    Oanh Hoang, M-T., van Berkel, N., Skov, M. B. & Merritt, T., 2022, Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction. s. 1-5 5 s.

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

  • Characterising Soundscape Research in Human-Computer Interaction

    Johansen, S. S., van Berkel, N. & Fritsch, J., 13 jun. 2022, DIS 2022 - Proceedings of the 2022 ACM Designing Interactive Systems Conference: Digital Wellbeing . Association for Computing Machinery, s. 1394-1417 24 s. (DIS: Designing Interactive Systems).

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

    8 Citationer (Scopus)

  • ClusterEA: Scalable Entity Alignment with Stochastic Training and Normalized Mini-batch Similarities

    Gao, Y., Liu, X., Wu, J., Li, T., Wang, P. & Chen, L., 2022, KDD '22: Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 421-431 11 s.

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

    14 Citationer (Scopus)

  • Co-designing with adult people with ASD: A review of applied tools and techniques

    Ravn, J. H., Jacobsen, R. M. & Hansen, N. B., 8 okt. 2022, Participative Computing for Sustainable Futures - Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, s. 1-5 46. (ACM International Conference Proceeding Series).

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

  • Cognitive Cloud: The Definition

    Moreschini, S., Pecorelli, F., Li, X., Naz, S., Albano, M., Hastbacka, D. & Taibi, D., jul. 2022, Distributed Computing and Artificial Intelligence, 19th International Conference. Omatu, S., Mehmood, R., Sitek, P., Cicerone, S. & Rodríguez, S. (red.). Springer, s. 219-229 11 s. (Lecture Notes in Networks and Systems, Bind 583).

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

    3 Citationer (Scopus)

  • Comparison of Online Exploration and Coverage Algorithms in Continuous Space

    Andreasen, M. Z., Holler, P. I., Jensen, M. K. & Albano, M., 3 feb. 2022, Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1. Rocha, A. P., Steels, L. & Herik, H. J. V. D. (red.). SDMIS udg. SCITEPRESS Digital Library, Bind 1. s. 527-537 11 s.

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

    1 Citationer (Scopus)

  • Conservative Time Discretization: A Comparative Study

    Forets, M. & Schilling, C., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (red.). Springer, s. 149-167 19 s. (Lecture Notes in Computer Science, Bind 13274).

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

    Åben adgang
    5 Citationer (Scopus)

  • Contextual and Informational Aspects of Sound Zone Visualisations

    Johansen, S. S., Jacobsen, R. M., Skov, M. B. & Kjeldskov, J., 6 sep. 2022, Proceedings of the 17th International Audio Mostly Conference: What You Hear is What You See? Perspectives on Modalities in Sound and Music Interaction, AM 2022. Association for Computing Machinery, s. 88-91 4 s.

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

    3 Citationer (Scopus)

  • Controlling Stormwater Detention Ponds under Partial Observability

    Kim, E. H., Nielsen, T. D., Larsen, K. G. & Goorden, M., 2 nov. 2022, NWPT: 33rd Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, s. 1-3 3 s.

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

    Åben adgang
    Fil
    33 Downloads (Pure)

  • cpp-tiny-client: A secure API client generator for IoT devices

    Springborg, A. A., Andersen, M. K., Hattel, K. H. & Albano, M., 25 apr. 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, s. 202-205 4 s. (Proceedings of the ACM Symposium on Applied Computing).

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

    1 Citationer (Scopus)

  • Data driven Bayesian network to predict critical alarm

    Mietkiewicz, J. & Madsen, A. L., 2022, Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022). Leva, M. C., Patelli, E., Podofillini, L. & Wilson, S. (red.). Research Publishing, Singapore, 522

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

    Åben adgang
    Fil
    18 Downloads (Pure)

  • Designing for Continuous Interaction with Artificial Intelligence Systems

    Wintersberger, P., van Berkel, N., Fereydooni, N., Tag, B., Glassman, E. L., Buschek, D., Blandford, A. & Michahelles, F., 27 apr. 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-4 170. (Conference on Human Factors in Computing Systems - Proceedings).

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

    4 Citationer (Scopus)

  • Designing Through The Stack: The Case for a Participatory Digital Security By Design

    Slesinger, I., Coles-Kemp, L., Panteli, N. & Hansen, R. R., 24 okt. 2022, Proceedings of the 2022 New Security Paradigms Workshop, NSPW 2022. Association for Computing Machinery, s. 45-59 15 s. (ACM International Conference Proceeding Series).

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

  • Design Visions for Future Energy Systems: Towards Aligning Developers' Assumptions and Householders' Expectations

    Jensen, R. H., Raptis, D., Siksnys, L., Pedersen, T. B. & Skov, M. B., 8 okt. 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, s. 1-13 20

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

    Fil
    3 Citationer (Scopus)
    207 Downloads (Pure)

  • Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., okt. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (red.). TU Wien Academic Press, Bind 3. s. 369-379 11 s. (Conference Series: Formal Methods in Computer-Aided Design).

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

    Åben adgang
    Fil
    26 Downloads (Pure)

  • Digital Transformation Towards Sustainability: A Case Study of Process Views in District Heating

    Ananjeva, A., Persson, J. S. & Nielsen, P. A., 2022, Software Business: 13th International Conference, ICSOB 2022, Proceedings. Carroll, N., Nguyen-Duc, A., Wang, X. & Stray, V. (red.). Springer, s. 344-358 15 s. (Lecture Notes in Business Information Processing, Bind 463 LNBIP).

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

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

  • Distributed Fleet Management in Noisy Environments via Model-Predictive Control

    Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 jun. 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, s. 565-573 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    Fil
    4 Citationer (Scopus)
    44 Downloads (Pure)

  • Diverse Shortest Paths in Game Maps: A Comparative User Study and Experiments

    Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Li, H., 2022, Databases Theory and Applications: 33rd Australasian Database Conference, ADC 2022, Proceedings. Hua, W., Wang, H. & Li, L. (red.). Springer, s. 76-88 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13459 LNCS).

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

    1 Citationer (Scopus)

  • domOS Common Ontology: Web of Things Discovery in Smart Buildings

    Laadhar, A., Thomsen, C. & Pedersen, T. B., 2022, European Semantic Web Conference : ESWC 2022 Satellite Events - Proceedings. Groth, P., Rula, A., Schneider, J., Tiddi, I., Simperl, E., Alexopoulos, P., Hoekstra, R., Alam, M., Dimou, A., Tamper, M. & Tamper, M. (red.). Springer, s. 95-100 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13384 LNCS).

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

    1 Citationer (Scopus)

  • Do You See What I Hear? Peripheral Absolute and Relational Visualisation Techniques for Sound Zones

    Jacobsen, R. M., van Berkel, N., Skov, M. B., Johansen, S. S. & Kjeldskov, J., 29 apr. 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 294. (Conference on Human Factors in Computing Systems - Proceedings).

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

    7 Citationer (Scopus)

  • Efficient Estimation of Agent Networks

    Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Bind 13703).

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

    1 Citationer (Scopus)

  • Efficient Join Order Selection Learning with Graph-based Representation

    Chen, J., Ye, G., Zhao, Y., Liu, S., Deng, L., Chen, X., Zhou, R. & Zheng, K., 14 aug. 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 97-107 11 s.

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

    6 Citationer (Scopus)

  • Efficient Learning with Pseudo Labels for Query Cost Estimation

    Liu, S., Chen, X., Zhao, Y., Chen, J., Zhou, R. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 1309-1318

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

    2 Citationer (Scopus)

  • Efficient network-constrained trajectory queries

    Torp, K. & Hansen, M. N., 1 nov. 2022, 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2022. Renz, M., Sarwat, M., Nascimento, M. A., Shekhar, S. & Xie, X. (red.). Association for Computing Machinery, s. 1-4 92. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

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