A Simple yet Efficient MCSes Enumeration with SAT Oracles

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ACIIDS (12. : 2020 : Phuket) Intelligent information and database systems ; Part 1
1. Verfasser: Koshimura, Miyuki (VerfasserIn)
Weitere Verfasser: Satoh, Ken (VerfasserIn)
Pages:1
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
OWL RL to Framework for Ontological Knowledge Integration Preliminary Transformation 2020 Hnatkowska, Bogumila
A Comparative Study of Pretrained Language Models on Thai Social Text Categorization 2020 Horsuwan, Thanapapas
Comparative Analysis of Deep Learning Models for Myanmar Text Classification 2020 Phyu, Myat Sapal
Open Information Extraction as Additional Source for Kazakh Ontology Generation 2020 Khairova, Nina
Dyslexic Frequency Signatures in Relaxation and Letter Writing 2020 Mohamad, N. B.
Fuzzyfication of Repeatable Trust Game 2020 Motylska-Kuźma, Anna
Online Auction and Optimal Stopping Game with Imperfect Observation 2020 Mazalov, Vladimir
Metaheuristics for Discovering Favourable Continuous Intravenous Insulin Rate Protocols from Historical Patient Data 2020 Wang, Hongyu
Graph-Based Optimization of Public Lighting Retrofit 2020 Sedziwy, Adam
3D Model-Based 6D Object Pose Tracking on RGB Images 2020 Majcher, Mateusz
GOHAG: GANs Orchestration for Human Actions Generation 2020 Siyaev, Aziz
Inference Ability Assessment of Modified Differential Neural Computer 2020 Markowska-Kaczmar, Urszula
Data Pre-processing Based on Convolutional Neural Network for Improving Precision of Indoor Positioning 2020 Lu, Eric Hsueh-Chan
Data Preprocessing for DES-KNN and Its Application to Imbalanced Medical Data Classification 2020 Kinal, Maciej
Automatic Natural Image Colorization 2020 Tran, Tan-Bao
Assessing the Influence of Conflict Profile Properties on the Quality of Consensus 2020 Kozierkiewicz, Adrianna
Solving the Unrelated Parallel Machine Scheduling Problem with Setups Using Late Acceptance Hill Climbing 2020 Terzi, Mourad
Confidence in Prediction: An Approach for Dynamic Weighted Ensemble 2020 Do, Duc Thuan
Simple Quantum Circuits for Data Classification 2020 Wiśniewska, Joanna
Post-training Quantization Methods for Deep Learning Models 2020 Kluska, Piotr
Alle Artikel auflisten