„Knowledge-compilation“

Suchergebnisse

1.000+ Treffer

• Reusing d-DNNFs for Efficient Feature-Model Counting
  Sundermann, Chico ; Raab, Heiko ; Heß, Tobias ; Thüm, Thomas ; Schaefer, Ina 2024 Universität Ulm
• ARC-TEC – acquisition, representation and compilation of technical knowledge
  Bernardi, Ansgar ; Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Klauck, Christoph ; Kühn, Otto ; Legleitner, Ralf ; Meyer, Manfred ; Richter, Michael M. ; Schmalhofer, Franz ; Schmidt, Gabriele ; Sommer, Walter 2011 Saarländische Universitäts- und Landesbibliothek
• On the benefits of knowledge compilation for feature-model analyses
  Sundermann, Chico ; Kuiter, Elias ; Heß, Tobias ; Raab, Heiko ; Krieter, Sebastian ; Thüm, Thomas
• Efficient Slicing of Feature Models via Projected d-DNNF Compilation
  Sundermann, Chico ; Loth, Jacob ; Thüm, Thomas 2024 Universität Ulm
• Data-driven performance analysis in soccer – A compilation of data science and machine learning techniques for pre-processing and knowledge discovery
  Phatak, Ashwin Ajay 2023 Zentralbibliothek der Deutschen Sporthochschule
• KI 2011: Advances in Artificial Intelligence – 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
  Bach, Joscha ; Edelkamp, Stefan 2011 Springer Berlin Heidelberg
• ddueruem: A Wrapper for Feature-Model Analysis Tools
  Heß, Tobias ; Müller, Tobias ; Sundermann, Chico ; Thüm, Thomas 2022 Universität Ulm
• Pseudo Boolean d-DNNF compilation for analyzing expressive feature-model formats
  Vill, Stefan 2025 Universität Ulm
• Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
  Raab, Heiko 2024 Universität Ulm
• Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
  Raab, Heiko 2022 Universität Ulm
• Correction to: Connecting Knowledge Compilation Classes and Width Parameters
  Amarilli, Antoine ; Capelli, Florent ; Monet, Mikaël ; Senellart, Pierre
• Tailoring hypergraph partitioning for efficient d-DNNF compilation
  Baudisch, Jan 2025 Universität Ulm
• Model-Based Knowledge Acquisition from Structure Descriptions in a Technical Diagnosis Domain
  Rehbold, Robert 2023 Saarländische Universitäts- und Landesbibliothek
• Academic & Scientific Poster Presentation – A Modern Comprehensive Guide
  Rowe, Nicholas 2017 Springer International Publishing
• Apical periodontitis and its association with systemic biomarkers: bibliometric analysis of global scientific production and knowledge compilation map
  Gomes, Thamires Campos ; Rodrigues, Patrícia de Almeida ; Moura, José Lucas Gomes ; Baia-da-Silva, Daiane Claydes ; Cintra, Luciano Tavares Angelo ; Lima, Rafael Rodrigues
• Scalable Precise Computation of Shannon Entropy
  Lai, Yong ; Tong, Haolong ; Xu, Zhenghang ; Yin, Minghao 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Practical First-Order Model Counting
  Kidambi, Ananth K. ; Singh, Guramrit ; Dilkas, Paulius ; Meel, Kuldeep S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Certifying Projected Knowledge Compilation
  Bryant, Randal E. ; Tan, Yong Kiam ; Heule, Marijn J. H. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• COATINGS FROM A - Z – A concise compilation of technical terms
  Nanetti, Paolo 2016 Vincentz Network
• Islamic Epistemics and Socioeconomics – A Selected Compilation of Essays
  Choudhury, Masudul Alam 2025 Springer Nature Singapore, Imprint: Springer