• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

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

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 89-125 37 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil
  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 34-60 27 s. (EPiC Series in Computing, Bind 96).

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

    Åben adgang
    Fil
  • 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 proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    1 Citationer (Scopus)
  • 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 proceedingKonferenceartikel i proceedingForskning

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    41 Downloads (Pure)
  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 1-31 31 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    9 Citationer (Scopus)
  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 32-54 23 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    8 Citationer (Scopus)
  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 90-119 30 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    10 Citationer (Scopus)
  • A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 177. s. 38-47 10 s.

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

    11 Citationer (Scopus)
  • A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

    Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

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

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

    1 Citationer (Scopus)
  • A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

    Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 13:1-13:8 8 s. 13. (Open Access Series in Informatics, Bind 70).

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

    Åben adgang
    Fil
    50 Downloads (Pure)
  • A Profile for Safety Critical Java

    Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, s. 94-101 8 s.

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

    28 Citationer (Scopus)
  • A probabilistic model for prediction of blood glucose and advice on insulin dose

    Benn, J. J., Hovorka, R., Rasmussen, O., Olesen, K. G., Carson, E. R. & Andreassen, S., 1991, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '91, September, Dublin, Ireland.

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

  • A predictable Java profile: rationale and implementations

    Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, s. 150-159

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

    22 Citationer (Scopus)
  • A precise information flow measure from imprecise probabilities

    Others, A., 2012, Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability, SERE 2012. IEEE, s. 128-137

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

    4 Citationer (Scopus)
  • A practical delivery route planning system

    Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 349-350 2 s. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

    1 Citationer (Scopus)
  • Approximating Model Equivalence in Interactive Dynamic Influence Diagrams Using Top K Policy Paths

    Zeng, Y., Chen, Y. & Doshi, P., 1 jan. 2011, Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011. Hübner, J. F., Petit, J-M. & Suzuki, E. (red.). IEEE Computer Society Press, Bind 3. s. 208-211 4 s.

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

    3 Citationer (Scopus)
  • Approximating Euclidean by Imprecise Markov Decision Processes

    Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (red.). Springer, s. 275-289 15 s. (Lecture Notes in Computer Science, Bind 12476).

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

    7 Citationer (Scopus)
  • Approximate Solutions of Interactive Dynamic Influence Diagrams Using Model Clustering

    Zeng, Y., Doshi, P. & Qiongyu, C., 2007, PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. AAAI Press, s. 782-787 6 s.

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

    17 Citationer (Scopus)
  • Approximate Solutions of Interactive Dynamic Influence Diagrams Using epsilon-Behavioral Equivalence

    Kumaran, M., Prashant, D. & Zeng, Y., 2010, The Eleventh International Symposium on Artificial Intelligence and Mathematics: Proceedings. 7 s.

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

  • Approximate representation of optimal strategies from influence diagrams

    Jensen, F. V., 2008, Proceedings of the 4th European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 153-159 7 s.

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

    3 Citationer (Scopus)
  • Approximate Lazy Evaluation of Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2013, Proceedings of the 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013. Bielza, C., Salmerón, A., Alonso-Betanzos, A., Ignacio Hidalgo, J., Martínez, L., Troncoso, A., Corchado, E. & Corchado, J. M. (red.). Springer Publishing Company, Bind LNCP 8109. s. 321-331 (Lecture Notes in Computer Science, Bind 8109).

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

    1 Citationer (Scopus)
  • Approximate Constrained Lumping of Polynomial Differential Equations

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (red.). Springer, s. 106-123 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14137 LNBI).

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

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

    4 Citationer (Scopus)
  • Applying Object Oriented Bayesian Networks to Large Medical Decision Support Systems

    Bangsø, O. & Olesen, K. G., 2003, Proceedings of SCAI' 03. <Forlag uden navn>

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

  • Applying object-oriented bayesian networks for smart diagnosis and health monitoring at both component and factory level

    Madsen, A. L., Søndberg-Jeppesen, N., Sayed, M. S., Peschl, M. & Lohse, N., 2017, Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. Springer, Bind Part II. s. 132-141 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10351 LNCS).

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

    3 Citationer (Scopus)
  • Applying CASE Tools to Support Method Learning

    Eriksen, L. B. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (red.). Report 8 udg. Departments of Informatics

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

  • Applications of Probabilistic Graphical Models to Diagnosis and Control of Autonomous Vehicles

    Madsen, A. L., Kjærulff, U. B., Kalwa, J., Perrier, M. & Sotelo, M. A., 2004, The Second Bayesian Modeling Applications Workshop.

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

    Åben adgang
    Fil
    798 Downloads (Pure)
  • A Powerful and SQL-Compatible Data Model and Query Language for OLAP

    Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Zhou, Xiaofang (ed.): ACS Conferences in Research and Practice in Information Technology (CRPIT). 5 udg. Australian Computer Society, s. 121-130

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

  • A Platform for Developing and Maintaining Competences in PBL Supervision

    Gnaur, D. & Huttel, H., dec. 2017, Emerging Technologies for Education: International Symposium on Emerging Technologies for Education. Huang, T-C., Lau, R., Huang, Y-M., Spaniol, M. & Yuen, C-H. (red.). Springer, s. 297-303 6 s. (Lecture Notes in Computer Science, Bind 10676).

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

    4 Citationer (Scopus)
  • A Peer-to-Peer Indexing Service for Data Grids

    Jensen, H. T. & Kleist, J., 2007, Advances in Grid and Pervasive Computing: Second International Conference, GPC07. Cérin, C. & Li, K-C. (red.). IEEE Computer Society Press, s. 507-518 12 s. (Lecture Notes in Computer Science; Nr. 4459).

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

  • A NUMA-aware Trajectory Store for Travel-Time Estimation

    Waury, R., Jensen, C. S. & Torp, K., 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. 209-218 10 s.

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

    2 Citationer (Scopus)
  • Anticipated Activities in Process Control, Literary Fiction, and Business Processes

    Andersen, P. B., 2003, Proceedings of the 6th Int. Workshop on Organizational Semiotics. Dept. of Computer Science, University of Reading:. s. 1-28

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

  • Answering why-not spatial keyword top-k queries via keyword adaption

    Chen, L., Xu, J., Lin, X., Jensen, C. S. & Hu, H., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, s. 697-708

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

    43 Citationer (Scopus)
  • Answering why-not questions on spatial keyword top-k queries

    Chen, L., Lin, X., Hu, H., Jensen, C. S. & Xu, J., apr. 2015, 31st IEEE International Conference on Data Engineering. IEEE, s. 279-290

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

    57 Citationer (Scopus)
  • Answering why-not questions on metric probabilistic range queries

    Chen, L., Gao, Y., Wang, K., Jensen, C. S. & Chen, G., 2016, 32nd IEEE International Conference on Data Engineering, ICDE 2016. IEEE, s. 767-778

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

    15 Citationer (Scopus)
  • Answering Why-Not Group Spatial Keyword Queries (Extended Abstract)

    Zheng, B., Zheng, K., Jensen, C. S., Hung, N. Q. V., Su, H., Li, G. & Zhou, X., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 2155-2156 2 s. 8731602. (Proceedings of the International Conference on Data Engineering).

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

    1 Citationer (Scopus)
  • Answering provenance-aware queries on RDF data cubes under memory budgets

    Galárraga, L., Ahlstrøm, K., Hose, K. & Pedersen, T. B., 1 jan. 2018, The Semantic Web – ISWC 2018 - 17th International Semantic Web Conference, 2018, Proceedings. Suárez-Figueroa, M. C., Presutti, V., Kaffee, L-A., Simperl, E., Sabou, M., Vrandecic, D., Celino, I. & Bontcheva, K. (red.). Springer, s. 547-565 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11136 LNCS).

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

    8 Citationer (Scopus)
  • An RFID and particle filter-based indoor spatial query evaluation system

    Yu, J., Ku, W-S., Sun, M-T. & Lu, H., 2013, Proceedings of the 16th International Conference on Extending Database Technology. Association for Computing Machinery, s. 263-274

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

    28 Citationer (Scopus)
  • An optimization approach to believable behavior in computer games

    Zeng, Y., Mao, H., Yang, F. & Luo, J., 4 feb. 2013, Agents and Data Mining Interaction: 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers. Cao, L., Zeng, Y., Symeonidis, A. L., Gorodetsky, V. I., Yu, P. S. & Singh, M. P. (red.). Springer Publishing Company, s. 81-92 12 s. (Lecture Notes in Computer Science, Bind 7607).

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

    2 Citationer (Scopus)
  • An Open Source Environment for an Agile Development Model

    Ciancarini, P., Missiroli, M., Poggi, F. & Russo, D., 1 jan. 2020, Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (red.). Springer VS, s. 148-162 15 s. (I F I P Advances in Information and Communication Technology, Bind 582).

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

    Åben adgang
    8 Citationer (Scopus)
  • An Open Source Dataset and Ontology for Product Footprinting

    Ghose, A., Hose, K., Lissandrini, M. & Weidema, B. P., 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. 75-79 5 s. (Lecture Notes in Computer Science, Bind 11762).

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

    3 Citationer (Scopus)
  • An Open-Source Based ITS Platform

    Andersen, O., Krogh, B. B. & Torp, K., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 2. IEEE Press, Bind 2. s. 27-32

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

    14 Citationer (Scopus)
  • An Open Platform for the Creation and Deployment of Transport-Related Mobile Data Services

    Jensen, C. S., Torp, K. & Wind, R., 2007, Proceedings of the Sixth European Congress and Exhibition on Intelligent Transport Systems and Services, Aalborg, Denmark. 8 s.

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

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

    17 Citationer (Scopus)
  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 82-100 19 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

  • An MBR-Oriented Approach for Efficient Skyline Query Processing

    Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, s. 806-817 12 s. 8731386. (Proceedings of the International Conference on Data Engineering).

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

    7 Citationer (Scopus)
  • An Interaction Engine for Rich Hypertexts

    Østerbye, K. & Nørmark, K., 1994, European Conference on Hypermedia Technology, September 1994. Association for Computing Machinery, s. 167-176

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

    16 Citationer (Scopus)
  • An intelligent design system for military situation assessment

    Xiang, Y., Zeng, Y., Zhu, W. & Poh, K-L., 2008, Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008. IEEE, Bind 1. s. 17-19

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

    3 Citationer (Scopus)