A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:MICAI (19. : 2020 : Online) 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12-17, 2020 ; Part 1: Advances in soft computing
1. Verfasser: López-Medina, Marco A. (VerfasserIn)
Weitere Verfasser: Marcial-Romero, J. Raymundo (VerfasserIn), Ita-Luna, Guillermo De (VerfasserIn), Hernández, José A. (VerfasserIn)
Pages:19
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Convolutional Neural Networks with Hebbian-Based Rules in Online Transfer Learning 2020 Canto, Fernando Javier Aguilar
Implementation of a SVM on an Embedded System: A Case Study on Fall Detection 2020 Márquez-Ordaz, Luis
Convolutional Neural Network for Classification of Diabetic Retinopathy Grade 2020 Alcalá-Rmz, Vanessa
Reducing the Risk of Premature Birth Through an Expert System Based on a Neural Network 2020 Montalvo-Romero, Nayeli
Automated Characterization and Prediction of Wind Conditions Using Gaussian Mixtures 2020 Arellano-Vázquez, Magali
Fatty Chain Acids Risk Factors in Sudden Infant Death Syndrome: A Genetic Algorithm Approach 2020 Villagrana-Bañuelos, Karen E.
A Genetic Programming Framework for Heuristic Generation for the Job-Shop Scheduling Problem 2020 Lara-Cárdenas, E.
A Tensor-Based Markov Decision Process Representation 2020 Kuinchtner, Daniela
Comparing Multi-issue Multi-lateral Negotiation Approaches for Group Recommendation 2020 Schiaffino, Silvia
Object-Based Goal Recognition Using Real-World Data 2020 Granada, Roger
Risk-Sensitive Piecewise-Linear Policy Iteration for Stochastic Shortest Path Markov Decision Processes 2020 Pastor, Henrique Dias
Datacenter Selection in Cloud Framework for Efficient Load Distribution Using a Fuzzy Approach 2020 De, Mou
Generation of Pseudo-random Numbers Based on Network Traffic 2020 Marroquin, Wilbert
Outliers Detection in Multi-label Datasets 2020 Bello, Marilyn
Impact of Memory Control on Batch Learning in Human Activity Recognition Scenario in Comparison to Data Stream Learning 2020 Miranda, Leandro
Selection Schemes Analysis in Genetic Algorithms for the Maximum Influence Problem 2020 García-Nájera, Abel
An NSGA-III-Based Multi-objective Intelligent Autoscaler for Executing Engineering Applications in Cloud Infrastructures 2020 Yannibelli, Virginia
A Comparative Analysis of Evolutionary Learning in Artificial Hydrocarbon Networks 2020 Ponce, Hiram
A Genetic Algorithm Approach for a Truck and Trailer Routing Problem in a Loading/Unloading Bays Application 2020 Galindo-Muro, Ana Bricia
Zone Specific Index Based Model for Data Storage Identification in Search Query Processing 2020 Bankura, Aditi
Alle Artikel auflisten