• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Active Fault Detection and Isolation for Hybrid Systems

    Gholami, M., Schiøler, H., Bak, T. & Tabatabaeipour, S. M., 2009, ICSE 2009 Twentieth International Conference on Systems Engineering. IEEE Press, 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

    Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (red.). Springer, s. 159-168 10 s. (Lecture Notes in Computer Science, Bind 10516).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • Active Learning of Markov Decision Processes for System Verification

    Chen, Y. & Nielsen, T. D., 12 dec. 2012, International Conference on Machine Learning and Applications (ICMLA). s. 289-294

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    18 Citationer (Scopus)
    659 Downloads (Pure)
  • Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (red.). IEEE, s. 1203-1208 6 s. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • Actively building private recommender networks for evolving reliable relationships

    Assent, I., 2009, Proc. International Workshop on Modeling, Managing and Mining of Evolving Social Networks (M3SN), in conjunction with IEEE International Conference on Data Engineering (ICDE 2009). IEEE, s. 1611-1614

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • Activity-Driven Influence Maximization in Social Networks

    Kumar, R., Saleem, M. A., Calders, T., Xie, X. & Pedersen, T. B., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, s. 345-348 (Lecture Notes in Computer Science, Bind 10536).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • Actors' Competences and Methods? A Case Study of Successful Information Systems Development

    Nielsen, P. A. & Omland, H. O., 2008, NOKOBIT 2008. TAPIR Akademisk Forlag, s. 339 352 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Actors’ Competencies or Methods? A Case Study of Successful Information Systems Development

    Omland, H. O. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (red.). Monash University Press, s. 215 224 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Adaptable Query Optimization and Evaluation in Temporal Middleware

    Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 udg. s. 127-138

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Adaptable Value-Set Analysis for Low-Level Code

    Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., jul. 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 24. 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Adaptation of AI Explanations to Users' Roles

    Delaunay, J., Galárraga, L., Largouët, C. & van Berkel, N., 2023, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems - Workshop on Human-Centered Explainable AI. s. 1-7 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Adapting an AI planning heuristic for directed model checking

    Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. s. 35-52

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    40 Citationer (Scopus)
  • Adapting Bayes Network Structures to Non-stationary Domains

    Nielsen, S. H. & Nielsen, T. D., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. s. 223-230 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (red.). Gesellschaft für Informatik e. V., s. 107-118 (Lecture Notes in Informatics, Bind 312).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    7 Citationer (Scopus)
  • Adaptive Security Policies

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 280-294 15 s. (Lecture Notes in Computer Science, Bind 12477).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    18 Downloads (Pure)
  • Adaptive Top-k Overlap Set Similarity Joins

    Yang, Z., Zheng, B., Li, G., Xi, Z., Zhou, X. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 1081-1092 12 s. 9101864. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    12 Citationer (Scopus)
  • Adaptive Travel-Time Estimation: A Case for Custom Predicate Selection

    Waury, R., Jensen, C. S. & Torp, K., 13 jul. 2018, Proceedings - 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, s. 96-105 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

    Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 1-11 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • A Data and Query Model for Dynamic Playlist Generation

    Jensen, C. A., Mungure, E. M., Pedersen, T. B. & Sørensen, K., 2007, Proceedings of the 2007 IEEE 23rd International Conference on Data Engineering Workshops. IEEE Press, 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    7 Citationer (Scopus)
  • A Data Model for Determining Weather's Impact on Travel Time

    Bidragets oversatte titel: En datamodel for bestemmelse af vejrets påvirkning af rejsetiderAndersen, O. & Torp, K., 2016, Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Hartman, S. & Ma, H. (red.). Springer Publishing Company, Bind 9828. s. 437-444 8 s. (Lecture Notes in Computer Science, Bind 9829).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • A Data Warehouse Solution for Analyzing RFID-Based Baggage Tracking Data

    Ahmed, T., Pedersen, T. B. & Lu, H., jun. 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 283-292 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    16 Citationer (Scopus)
    886 Downloads (Pure)
  • Adding symmetry reduction to UPPAAL

    Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

  • A Decentralized Architecture for Sharing and Querying Semantic Data

    Aebeloe, C., Montoya, G. & Hose, K., 25 maj 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 3-18 16 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    9 Citationer (Scopus)
    190 Downloads (Pure)
  • A Decidable Recursive Logic for Weighted Transition Systems

    Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer Publishing Company, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • A decidable recursive logic forweighted transition systems

    Larsen, K. G., Mardare, R. & Xue, B., 1 jan. 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Bind 8687. s. 460-476 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    10 Downloads (Pure)
  • A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

    Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1999, Proceedings of Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 99, 20-24 June 1999, Aalborg, Denmark. Horn, W., Shahar, Y., Lindberg, G., Andreassen, S. & Wyatt, J. (red.). Springer, s. 197-206 (Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science; Nr. 1620).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    5 Citationer (Scopus)
  • A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

    Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1998, Proceedings of Workshop on Intelligent Data Analysis in Medicine and Pharmacology, IDAMAP-98: a Workshop at ECAI-98, Brighton, UK. s. 48-53

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • A Decomposition Algorithm for Learning Bayesian Network Structures from Data

    Zeng, Y. & Cordero Hernandez, J., 2008, Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings. Springer, s. 441-453 12 s. (Lecture Notes in Computer Science; Nr. 5012).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • A Deep Learning model for estimating parking space availability

    Goicoechea, M. P., Mastieri, J., Tommasel, A. & Rodriguez, J. M., 2021, 2021 40th International Conference of the Chilean Computer Science Society, SCCC 2021. IEEE Computer Society Press, (Proceedings - International Conference of the Chilean Computer Science Society, SCCC, Bind 2021-November).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • A Demonstration of Interpretability Methods for Graph Neural Networks

    B. Mobaraki, E. & Khan, A., 18 jun. 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (red.). Association for Computing Machinery, 9

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Downloads (Pure)
  • A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

    Wu, D. & Jensen, C. S., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2095-2100

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    10 Citationer (Scopus)
  • Adequacy and Complete Axiomatization for Timed Modal Logic

    Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (red.). Ithaca, New York: Elsevier, Bind 308. s. 183-210 28 s. (Electronic Notes in Theoretical Computer Science, Bind 308).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    5 Citationer (Scopus)
  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • A Distributed Pi-Calculus with anonymous moves

    Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Adoption of UX evaluation in practice: An action research study in a software organization

    Bang, K., Kanstrup, M. A., Kjems, A. & Stage, J., 1 jan. 2017, Human-Computer Interaction - INTERACT 2017: 16th IFIP TC 13 International Conference, Proceedings, Part IV. Bernhaupt, R., Winckler, M., O'Neill, J., Dalvi, G., Joshi, A. & Balkrishan, D. K. (red.). Springer, s. 169-188 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10516 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • Advanced Implementation Techniques for Scientific Data Warehouses

    Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Advanced Tracking of Vehicles

    Jensen, C. S., Li, K-J., Pakalnis, S. & Saltenis, S., 2005, Proceedings of the Fifth European Congress and Exhibition on Intelligent Transport Systems. 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Adversarial Autoencoder for Unsupervised Time Series Anomaly Detection and Interpretation

    Chen, X., Deng, L., Zhao, Y. & Zheng, K., 27 feb. 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 267-275 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • A dynamic representation of physical exercises on inflatable membranes: Making walking fun again!

    Shalawadi, S., Hornecker, E. & Echtler, F., 2020, CEUR Workshop Proceedings 2020. Bind 2801. 8 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    24 Downloads (Pure)
  • Aesthetic, Functional and Conceptual Provocation in Research Through Design

    Raptis, D., Jensen, R. H., Kjeldskov, J. & Skov, M., 2017, DIS '17, Proceedings of the 2017 Conference on Designing Interactive Systems. Association for Computing Machinery, s. 29-41

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    35 Citationer (Scopus)
    720 Downloads (Pure)
  • A finite equational base for CCS with left merge and communication merge

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. s. 492-503

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • A Foundation for Efficient Indoor Distance-Aware Query Processing

    Lu, H., Cao, X. & Jensen, C. S., 2012, The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, s. 438-449 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    67 Citationer (Scopus)
  • A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

    Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, s. 114-126 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    33 Citationer (Scopus)
  • A Framework for Conceptual Modeling of Geographic Data Quality

    Friis-Christensen, A., Christensen, J. V. & Jensen, C. S., 2004, Proceedings of the Eleventh International Symposium on Spatial Data Handling. Springer, s. 605-616

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • A Framework for Constraint-Based Spatial Data Mining

    Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. s. 309-328

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • A framework for generic object recognition with Bayesian networks

    Jianming, L., Jensen, F. V. & Christensen, H. I., 1996, Proceedings of the First International Symposium of Soft Computing for Pattern Recognition, Reading, 1996, United Kingdom.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • A framework for job management in the NorduGrid ARC middleware

    Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (red.). IEEE Computer Society Press, s. 861-871 (Lecture Notes in Computer Science; Nr. 3470).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Downloads (Pure)
  • A Framework for Multi-Criteria Optimal Location Selection

    Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 4 s. 86

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review