Research Articleposted 2025-04-24 10:58:40
A MaxSAT-Based Framework for Computing Circumscription
Zhongtao Xie, Yisong Wang, Lei Yang, Hongbo Hu
Under Review
at
Research Articleposted 2024-12-18 18:12:54
Automated analysis of the difficulty of secondary school geometry theorems
Soma Bartha, András Kerekes, Zoltán Kovács, Tomás Recio
Published
at
Research Articleposted 2024-02-08 09:28:39
Approximate Integrity Constraints in Incomplete Databases With Limited Domains
Attila Sali, Al-Atar Munqath
Published
at
Research Articleposted 2023-10-25 08:09:40
Domain Independent Heuristics for Online Stochastic Contingent Planning
Oded Blumenthal, Guy Shani
Under Review
at
Research Articleposted 2023-10-09 07:17:20
Time-penalized trees (TpT): a new tree-based data mining algorithm for time-varying covariates
Mathias Valla
Published
at
Research Articleposted 2023-08-25 06:22:13
Integrating Optimized Item Selection with Active Learning for Continuous Exploration in Recommender Systems
Serdar Kadioglu, Bernard Kleynhans, Xin Wang
Published
at
Research Articleposted 2023-08-17 08:15:46
Calibration Methods in Imbalanced Binary Classification
Théo Guilbert, Olivier Caelen, Andrei Chirita, Marco Saerens
Published
at
Research Articleposted 2023-06-16 06:39:43
Multi-Resolution Continuous Normalizing Flows
Vikram Voleti, Chris Finlay, Adam Oberman, Christopher Pal
Published
at
Research Articleposted 2023-06-12 06:14:31
Xtune: An XAI-Based Hyperparameter Tuning Method for Time-series Forecasting Using Deep Learning
Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Published
at
Research Articleposted 2023-05-08 03:26:48
A Novel Method for Solving Universum Twin Bounded Support Vector Machine in the Primal Space
Hossein Moosaei, Saeed Khosravi, Fatemeh Bazikar, Milan Hladík, Mario Rosario Guarracino
Published
at