From Non-Clausal to Clausal MinSAT

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Associació Catalana d'Intelligència Artificial (23. : 2021 : Online) Artificial intelligence research and development
1. Verfasser: Li, Chu-Min (VerfasserIn)
Weitere Verfasser: Manyá, Felip (VerfasserIn), Soler, Joan Ramon (VerfasserIn), Vidal, Amanda (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
From Non-Clausal to Clausal MinSAT 2021 Li, Chu-Min
Some Advances on the Solution of the Generalized Law of Importation for Fuzzy Implication Functions 2021 Aguiló, Isabel
Countering Negative Effects of Hate Speech in a Multi-Agent Society 2021 Müller, Arthur
Discovering Dominant Users’ Opinions in Reddit 2021 Alsinet, Teresa
Argumentation Reasoning with Graph Neural Networks for Reddit Conversation Analysis 2021 Alsinet, Teresa
On the Convergence of Financial Distress Propagation on Generic Networks 2021 Unceta, Irene
Iterative Update of a Random Forest Classifier for Diabetic Retinopathy 2021 Pascual-Fontanilles, Jordi
Towards Expert-Inspired Automatic Criterion to Cut a Dendrogram for Real-Industrial Applications 2021 Suman, Shikha
Collection, Processing and Analysis of Heterogeneous Data Coming from Spanish Hospitals in the Context of COVID-19 2021 Barroso, Marta
Cutting Tool Wearing Identification Through Predictive Maintenance and Its Impact on Surface Quality 2021 Castro, Jose Maria Gonzalez
WEU-Net: A Weight Excitation U-Net for Lung Nodule Segmentation 2021 Banu, Syeda Furruka
Designing Chest X-ray Datasets for Improving Lung Nodules Detection Through Convolutional Neural Networks 2021 Eixarch, Raul Aceliero
Reliable Deep Learning Plant Leaf Disease Classification Based on Light-Chroma Separated Branches 2021 Schuler, Joao Paulo Schwarz
Improving On-Line Debates by Aggregating Citizen Support 2021 Lopez-Sanchez, Maite
Contextualized LORE for Fuzzy Attributes 2021 Maaroof, Najlaa
On the Rationality of Explanations in Classification Algorithms 2021 Falomir, Zoe
Digital Public Health Technologies and Social Media in Global Emergencies 2021 Kostkova, Patty
Automated Reasoning in Explainable AI 2021 Marques-Silva, Joao
A Customer Churn Detection Model for the Pay-TV Sector 2021 López, Vicente
Combining Simulations and Machine Learning for Efficient Prediction of X Process Parameters Evolution in Injection Moulding 2021 Abio, Albert
Alle Artikel auflisten