| 401 |
RuleKit: A Comprehensive Suite for Rule-Based Learning
Adam Gudyś, Marek Sikora, Łukasz Wróbel
|
👻
Ghosted
|
cs.LG
|
24 |
6 years ago |
| 402 |
ModelicaGym: Applying Reinforcement Learning to Modelica Models
Oleh Lukianykhin, Tetiana Bogodorova
|
👻
Ghosted
|
cs.SE
|
24 |
6 years ago |
| 403 |
Towards an Integrated Graph Algebra for Graph Pattern Matching with Gremlin (Extended Version)
Harsh Thakkar, Dharmen Punjani, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
24 |
6 years ago |
| 404 |
Complexity Bounds for Relational Algebra over Document Spanners
Liat Peterfreund, Dominik D. Freydenberger, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
24 |
7 years ago |
| 405 |
Analysis of reaction and timing attacks against cryptosystems based on sparse parity-check codes
Paolo Santini, Massimo Battaglioni, ... (+2 more)
|
👻
Ghosted
|
cs.IT
|
24 |
7 years ago |
| 406 |
Traffic Danger Recognition With Surveillance Cameras Without Training Data
Lijun Yu, Dawei Zhang, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
24 |
7 years ago |
| 407 |
PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
|
🔮
The Ethereal
|
cs.LO
|
24 |
8 years ago |
| 408 |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
Andre Hernich, Carsten Lutz, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
24 |
8 years ago |
| 409 |
Split-Correctness in Information Extraction
Johannes Doleschal, Benny Kimelfeld, ... (+3 more)
|
👻
Ghosted
|
cs.DB
|
24 |
7 years ago |
| 410 |
Distance-Sensitive hashing
Martin Aumüller, Tobias Christiani, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
24 |
9 years ago |
| 411 |
A Constructor-Based Reachability Logic for Rewrite Theories
Stephen Skeirik, Andrei Stefanescu, José Meseguer
|
👻
Ghosted
|
cs.PL
|
24 |
8 years ago |
| 412 |
Unsupervised Feature Selection Based on the Morisita Estimator of Intrinsic Dimension
Jean Golay, Mikhail Kanevski
|
👻
Ghosted
|
stat.ML
|
24 |
9 years ago |
| 413 |
On the Statistical Analysis of Practical SPARQL Queries
Xingwang Han, Zhiyong Feng, ... (+4 more)
|
👻
Ghosted
|
cs.DB
|
24 |
10 years ago |
| 414 |
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version)
Hong-Yi Chen, Cristina David, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
24 |
11 years ago |
| 415 |
Efficient Iterative Processing in the SciDB Parallel Array Engine
Emad Soroush, Magdalena Balazinska, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
24 |
11 years ago |
| 416 |
Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs
Jian Zhao, Shenao Wang, ... (+7 more)
|
👻
Ghosted
|
cs.CR
|
24 |
1 year ago |
| 417 |
Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Luan Pham, Huong Ha, Hongyu Zhang
|
👻
Ghosted
|
cs.SE
|
24 |
1 year ago |
| 418 |
Software Vulnerability and Functionality Assessment using LLMs
Rasmus Ingemann Tuffveson Jensen, Vali Tawosi, Salwa Alamir
|
👻
Ghosted
|
cs.SE
|
24 |
2 years ago |
| 419 |
LogLG: Weakly Supervised Log Anomaly Detection via Log-Event Graph Construction
Hongcheng Guo, Yuhui Guo, ... (+8 more)
|
👻
Ghosted
|
cs.SE
|
24 |
3 years ago |
| 420 |
Reflecting on Recurring Failures in IoT Development
Dharun Anandayuvaraj, James C. Davis
|
👻
Ghosted
|
cs.SE
|
24 |
4 years ago |
| 421 |
Learning Skill-based Industrial Robot Tasks with User Priors
Matthias Mayr, Carl Hvarfner, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
24 |
3 years ago |
| 422 |
An Exploratory Study on Upper-Level Computing Students' Use of Large Language Models as Tools in a Semester-Long Project
Ben Arie Tanay, Lexy Arinze, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
23 |
2 years ago |
| 423 |
One-shot Learning for Temporal Knowledge Graphs
Mehrnoosh Mirtaheri, Mohammad Rostami, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
23 |
5 years ago |
| 424 |
Deep-Reinforcement-Learning-Based Semantic Navigation of Mobile Robots in Dynamic Environments
Linh Kästner, Cornelius Marx, Jens Lambrecht
|
👻
Ghosted
|
cs.RO
|
23 |
5 years ago |
| 425 |
Security analysis of a blockchain-based protocol for the certification of academic credentials
Marco Baldi, Franco Chiaraluce, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
23 |
6 years ago |
| 426 |
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman, Chanchal K. Roy
|
👻
Ghosted
|
cs.SE
|
23 |
8 years ago |
| 427 |
A Highly Scalable Labelling Approach for Exact Distance Queries in Complex Networks
Muhammad Farhan, Qing Wang, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
23 |
7 years ago |
| 428 |
Data Streams with Bounded Deletions
Rajesh Jayaram, David P. Woodruff
|
👻
Ghosted
|
cs.DS
|
23 |
8 years ago |
| 429 |
First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
|
🔮
The Ethereal
|
cs.LO
|
23 |
9 years ago |
| 430 |
Inherit Differential Privacy in Distributed Setting: Multiparty Randomized Function Computation
Genqiang Wu, Yeping He, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
23 |
10 years ago |
| 431 |
New Algorithms for Heavy Hitters in Data Streams
David P. Woodruff
|
👻
Ghosted
|
cs.DS
|
23 |
10 years ago |
| 432 |
An Algorithm for Tolerating Crash Failures in Distributed Systems
Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins
|
👻
Ghosted
|
cs.DC
|
23 |
10 years ago |
| 433 |
Multi-Photon Quantum Key Distribution Based on Double-Lock Encryption
Kam Wai Clifford Chan, Mayssaa El Rifai, ... (+3 more)
|
👻
Ghosted
|
quant-ph
|
23 |
11 years ago |
| 434 |
Accelerating DNA Sequence Analysis using Intel Xeon Phi
Suejb Memeti, Sabri Pllana
|
👻
Ghosted
|
cs.DC
|
23 |
11 years ago |
| 435 |
Efficient and Provable Multi-Query Optimization
Tarun Kathuria, S. Sudarshan
|
👻
Ghosted
|
cs.DB
|
23 |
10 years ago |
| 436 |
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Monika di Angelo, Thomas Durieux, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
23 |
3 years ago |
| 437 |
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Yedi Zhang, Zhe Zhao, ... (+4 more)
|
👻
Ghosted
|
cs.CR
|
23 |
3 years ago |
| 438 |
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
Hui Gao, Hongyu Kuang, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
23 |
3 years ago |
| 439 |
A Real2Sim2Real Method for Robust Object Grasping with Neural Surface Reconstruction
Luobin Wang, Runlin Guo, ... (+4 more)
|
👻
Ghosted
|
cs.RO
|
23 |
3 years ago |
| 440 |
Students' interest in knowledge acquisition in Artificial Intelligence
Manuela-Andreea Petrescu, Emilia-Loredana Pop, Tudor-Dan Mihoc
|
👻
Ghosted
|
cs.CY
|
22 |
2 years ago |
| 441 |
A Novel Variable Stiffness Soft Robotic Gripper
Dimuthu D. Arachchige, Yue Chen, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
22 |
5 years ago |
| 442 |
Robust Morph-Detection at Automated Border Control Gate using Deep Decomposed 3D Shape and Diffuse Reflectance
Jag Mohan Singh, Raghavendra Ramachandra, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
22 |
6 years ago |
| 443 |
A Tight Lower Bound for Comparison-Based Quantile Summaries
Graham Cormode, Pavel Veselý
|
👻
Ghosted
|
cs.DS
|
22 |
7 years ago |
| 444 |
Weight Annotation in Information Extraction
Johannes Doleschal, Benny Kimelfeld, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
22 |
6 years ago |
| 445 |
All-Instances Restricted Chase Termination
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
|
👻
Ghosted
|
cs.DB
|
22 |
7 years ago |
| 446 |
Familia: A Configurable Topic Modeling Framework for Industrial Text Engineering
Di Jiang, Yuanfeng Song, ... (+5 more)
|
👻
Ghosted
|
cs.CL
|
22 |
7 years ago |
| 447 |
Vector Embedding of Wikipedia Concepts and Entities
Ehsan Sherkat, Evangelos Milios
|
👻
Ghosted
|
cs.CL
|
22 |
9 years ago |
| 448 |
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, Chao Wang
|
👻
Ghosted
|
cs.PL
|
22 |
8 years ago |
| 449 |
Boolean Tensor Decomposition for Conjunctive Queries with Negation
Mahmoud Abo Khamis, Hung Q. Ngo, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
22 |
8 years ago |
| 450 |
Control of an Aerial Manipulator using On-line Parameter Estimator for an Unknown Payload
Hyeonbeom Lee, Suseong Kim, H. Jin Kim
|
👻
Ghosted
|
cs.RO
|
22 |
10 years ago |