Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2021

    Learning Aggregation Functions

    Pellegrini, G., Tibo, A., Frasconi, P., Passerini, A. & Jaeger, M., 2021, Proceedings of the Thirty International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence

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

    Åben adgang
  • 2020

    A Complete Characterization of Projectivity for Statistical Relational Models

    Jaeger, M. & Schulte, O., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). International Joint Conferences on Artificial Intelligence, s. 4283-4290

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

    Åben adgang
    2 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

    4 Citationer (Scopus)
  • From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

    Jaeger, M., Larsen, K. G. & Tibo, A., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (red.). Springer Science+Business Media, s. 517-535 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12399 LNCS).

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

    Åben adgang
    Fil
    42 Downloads (Pure)
  • 2019

    Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

    Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 okt. 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).

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

    Åben adgang
    Fil
    12 Citationer (Scopus)
    146 Downloads (Pure)
  • 2018

    Inference, Learning, and Population Size: Projectivity for SRL Models

    Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 s.

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

    Åben adgang
  • NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

    Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 aug. 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, s. 21-26 6 s.

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

    3 Citationer (Scopus)
  • 2017

    A Network Architecture for Multi-Multi-Instance Learning

    Tibo, A., Frasconi, P. & Jaeger, M., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I. Springer, s. 737-752 16 s. (Lecture Notes in Computer Science . Sublibrary: Lecture Notes in Artificial Intelligence, Bind 10534).

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

    Åben adgang
    3 Citationer (Scopus)
  • 2016

    Learning-Based Cleansing for Indoor RFID Data

    Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, ACM SIGMOD Conference. Association for Computing Machinery, s. 925-936 12 s.

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

    27 Citationer (Scopus)
  • 2014

    Community Detection for Multiplex Social Networks Based on Relational Bayesian Networks

    Jiang, J. & Jaeger, M., 2014, Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Andreasen, T., Christiansen, H., Cubero, J-C. & Raś, Z. W. (red.). Springer Publishing Company, Bind 8502. s. 30-39 (Lecture Notes in Computer Science).

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

    2 Citationer (Scopus)
  • Continuity Properties of Distances for Markov Processes

    Jaeger, M., Mao, H., Larsen, K. G. & Mardare, R. I., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Norman, G. & Sanders, W. (red.). Springer, Bind 8657. s. 297-312 (Lecture Notes in Computer Science).

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

    5 Citationer (Scopus)
  • Multiple Segmentation of Image Stacks

    Smets, J. & Jaeger, M., 2014, ICPRAM 2014 - International Conference on Pattern Recognition Applications and Methods. SCITEPRESS Digital Library, s. 5-13

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

  • 2013

    Identifiability of Model Properties in Over-Parameterized Model Classes

    Jaeger, M., 2013, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III. Blockeel, H., Kersting, K., Nijssen, S. & Železný, F. (red.). Berlin: Springer Publishing Company, s. 112-127 16 s. (Lecture Notes in Computer Science, Bind 8190).

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

  • 2012

    Learning and Model-checking Networks of I/O Automata

    Mao, H. & Jaeger, M., 2012, Proceeding of the 4th Asian Conference on Machine Learning (ACML 2012). Hoi, S. C. H. & Buntine, W. (red.). s. 285-300 (JMLR Workshop and Conference Proceedings, Bind 25).

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

    2 Citationer (Scopus)
  • Learning Markov models for stationary system behaviors

    Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, s. 216-230 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

    Fil
    13 Citationer (Scopus)
    489 Downloads (Pure)
  • 2011

    Learning Probabilistic Automata for Model Checking

    Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, s. 111-120 10 s.

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

    Fil
    41 Citationer (Scopus)
    870 Downloads (Pure)
  • 2009

    Relational Information Gain

    Lippi, M., Jaeger, M., Frasconi, P. & Passerini, A., 2009, Online Proceedings of 19th International Conference on Inductive Logic Programming. Raedt, L. D. (red.). 6 s.

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

  • 2008

    Feature Discovery with Type Extension Trees

    Frasconi, P., Jaeger, M. & Passerini, A., 2008, Proceedings of the 18th international conference on Inductive Logic Programming. Springer, s. 122-139 (Lecture Notes in Computer Science; Nr. 5194).

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

    5 Citationer (Scopus)
  • Learning Type Extension Trees for Metal Bonding State Prediction

    Frasconi, P., Jaeger, M. & Passerini, A., 2008, StReBio Workshop online proceedings. 4 s.

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

  • Probabilistic-Logic Models: Reasoning and Learning with Relational Structures

    Jaeger, M., 2008, Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008. IOS Press, s. 197-200 4 s.

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

  • 2007

    Comparative Evaluation of PL Languages and Systems: A Work-in-Progress Report

    Jaeger, M., Lidman, P. & Mateo, J. L., 2007, Proceedings of Mining and Learning with Graphs. 4 s.

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

  • Parameter Learning for Relational Bayesian Networks

    Jaeger, M., 2007, Proceedings of the 24th Annual International Conference on Machine Learning (ICML 2007). Association for Computing Machinery, s. 369-376 8 s.

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

    19 Citationer (Scopus)
  • 2006

    An Empirical Study of Efficiency and Accuracy of Probabilistic Graphical Models

    Nielsen, J. D. & Jaeger, M., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. s. 215-222 8 s.

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

    Fil
    7 Citationer (Scopus)
    316 Downloads (Pure)
  • Expressivity analysis for PL-languages

    Jaeger, M., Kersting, K. & De Raedt, L., 2006, Online Proceedings of the Workshop on Statistical Relational Learning (SRL-06). 2 s.

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

  • On testing the missing at random assumption

    Jaeger, M., 2006, Machine Learning: ECML 2006: 17th European Conference on Machine Learning. Berlin, Germany, September 2006. Proceedings. s. 671-678 8 s.

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

    15 Citationer (Scopus)
  • The AI&M procedure for learning from incomplete data

    Jaeger, M., 2006, Proceedings of the 22nd Conference on Uncertainty in Artificial Intelligence (UAI-06). Association for Uncertainty in Artificial Intelligence, s. 225-232 8 s.

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

  • Type extension trees: a unified framework for relational feature construction

    Jaeger, M., 2006, Proceedings of the International Workshop on Mining and Learning with Graphs: in conjunction with ECML/PKDD 2006. s. 49-60 12 s.

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

  • 2004

    Compiling Relational Bayesian Networks for Exact Inference

    Jaeger, M., Chavira, M. & Darwiche, A., 2004, Proceedings of the Second European Workshop on Probabilistic Graphical Models. (Editor), P. L. (red.).

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

    Åben adgang
    Fil
    317 Downloads (Pure)
  • Learning Probabilistic Decision Graphs

    Jaeger, M., Dalgaard, J. & Silander, T., 2004, Proceedings of the Second European Workshop on Probabilistic Graphical Models. Lucas, P. (red.).

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

    Åben adgang
    Fil
    417 Downloads (Pure)
  • Probabilistic Role Models and the Guarded Fragment

    Jaeger, M., 2004, Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Editrice Universita La Sapienza, s. 235-242 8 s.

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

  • 2003

    A Representation Theorem and Applications

    Jaeger, M., 2003, Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU): Lecture Notes in Artificial Intelligence. 2711 udg. IEEE Computer Society Press, s. 50-61

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

    1 Citationer (Scopus)
  • Probabilistic Classifiers and the Concepts they Recognize

    Jaeger, M., 2003, Proceedings of the 20th International Conference on Machine Learning (ICML-2003). T. Fawcett, T. : Mishra, N. (eds.) (red.). AAAI Press, s. 266-273

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

    11 Citationer (Scopus)