| 401 |
Software Vulnerability and Functionality Assessment using LLMs
Rasmus Ingemann Tuffveson Jensen, Vali Tawosi, Salwa Alamir
|
👻
Ghosted
|
cs.SE
|
24 |
2 years ago |
| 402 |
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 |
| 403 |
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 |
| 404 |
Proof Automation with Large Language Models
Minghai Lu, Benjamin Delaware, Tianyi Zhang
|
👻
Ghosted
|
cs.SE
|
24 |
1 year ago |
| 405 |
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 |
| 406 |
Accelerating DNA Sequence Analysis using Intel Xeon Phi
Suejb Memeti, Sabri Pllana
|
👻
Ghosted
|
cs.DC
|
23 |
10 years ago |
| 407 |
Efficient and Provable Multi-Query Optimization
Tarun Kathuria, S. Sudarshan
|
👻
Ghosted
|
cs.DB
|
23 |
10 years ago |
| 408 |
An Algorithm for Tolerating Crash Failures in Distributed Systems
Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins
|
👻
Ghosted
|
cs.DC
|
23 |
10 years ago |
| 409 |
New Algorithms for Heavy Hitters in Data Streams
David P. Woodruff
|
👻
Ghosted
|
cs.DS
|
23 |
10 years ago |
| 410 |
Inherit Differential Privacy in Distributed Setting: Multiparty Randomized Function Computation
Genqiang Wu, Yeping He, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
23 |
10 years ago |
| 411 |
Data Streams with Bounded Deletions
Rajesh Jayaram, David P. Woodruff
|
👻
Ghosted
|
cs.DS
|
23 |
8 years ago |
| 412 |
Improved Query Reformulation for Concept Location using CodeRank and Document Structures
Mohammad Masudur Rahman, Chanchal K. Roy
|
👻
Ghosted
|
cs.SE
|
23 |
7 years ago |
| 413 |
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 |
| 414 |
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 |
| 415 |
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 |
| 416 |
One-shot Learning for Temporal Knowledge Graphs
Mehrnoosh Mirtaheri, Mohammad Rostami, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
23 |
5 years ago |
| 417 |
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 |
| 418 |
A Real2Sim2Real Method for Robust Object Grasping with Neural Surface Reconstruction
Luobin Wang, Runlin Guo, ... (+4 more)
|
👻
Ghosted
|
cs.RO
|
23 |
3 years ago |
| 419 |
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
Yedi Zhang, Zhe Zhao, ... (+4 more)
|
👻
Ghosted
|
cs.CR
|
23 |
3 years ago |
| 420 |
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 |
| 421 |
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 |
| 422 |
Query Workload-based RDF Graph Fragmentation and Allocation
Peng Peng, Lei Zou, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
22 |
10 years ago |
| 423 |
Data Stream Classification using Random Feature Functions and Novel Method Combinations
Diego Marrón, Jesse Read, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
22 |
10 years ago |
| 424 |
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 |
| 425 |
Vector Embedding of Wikipedia Concepts and Entities
Ehsan Sherkat, Evangelos Milios
|
👻
Ghosted
|
cs.CL
|
22 |
9 years ago |
| 426 |
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, Chao Wang
|
👻
Ghosted
|
cs.PL
|
22 |
8 years ago |
| 427 |
Boolean Tensor Decomposition for Conjunctive Queries with Negation
Mahmoud Abo Khamis, Hung Q. Ngo, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
22 |
8 years ago |
| 428 |
Familia: A Configurable Topic Modeling Framework for Industrial Text Engineering
Di Jiang, Yuanfeng Song, ... (+5 more)
|
👻
Ghosted
|
cs.CL
|
22 |
7 years ago |
| 429 |
All-Instances Restricted Chase Termination
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
|
👻
Ghosted
|
cs.DB
|
22 |
7 years ago |
| 430 |
A Tight Lower Bound for Comparison-Based Quantile Summaries
Graham Cormode, Pavel Veselý
|
👻
Ghosted
|
cs.DS
|
22 |
7 years ago |
| 431 |
Weight Annotation in Information Extraction
Johannes Doleschal, Benny Kimelfeld, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
22 |
6 years ago |
| 432 |
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 |
| 433 |
A Novel Variable Stiffness Soft Robotic Gripper
Dimuthu D. Arachchige, Yue Chen, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
22 |
5 years ago |
| 434 |
Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing
Yuanyuan Yuan, Qi Pang, Shuai Wang
|
👻
Ghosted
|
cs.SE
|
22 |
3 years ago |
| 435 |
Challenges and Applications of Automated Extraction of Socio-political Events from Text (CASE 2022): Workshop and Shared Task Report
Ali Hürriyetoğlu, Hristo Tanev, ... (+4 more)
|
👻
Ghosted
|
cs.CL
|
22 |
3 years ago |
| 436 |
CFNet: Conditional Filter Learning with Dynamic Noise Estimation for Real Image Denoising
Yifan Zuo, Jiacheng Xie, ... (+3 more)
|
👻
Ghosted
|
eess.IV
|
22 |
3 years ago |
| 437 |
Soft Prompt Tuning for Augmenting Dense Retrieval with Large Language Models
Zhiyuan Peng, Xuyang Wu, ... (+2 more)
|
👻
Ghosted
|
cs.IR
|
22 |
2 years ago |
| 438 |
Generative Type Inference for Python
Yun Peng, Chaozheng Wang, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
22 |
2 years ago |
| 439 |
Students' interest in knowledge acquisition in Artificial Intelligence
Manuela-Andreea Petrescu, Emilia-Loredana Pop, Tudor-Dan Mihoc
|
👻
Ghosted
|
cs.CY
|
22 |
2 years ago |
| 440 |
A Framework for Estimating Stream Expression Cardinalities
Anirban Dasgupta, Kevin Lang, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
21 |
10 years ago |
| 441 |
Entropy bounds for conjunctive queries with functional dependencies
Tomasz Gogacz, Szymon Toruńczyk
|
👻
Ghosted
|
cs.DB
|
21 |
10 years ago |
| 442 |
AMIDST: a Java Toolbox for Scalable Probabilistic Machine Learning
Andrés R. Masegosa, Ana M. Martínez, ... (+6 more)
|
👻
Ghosted
|
cs.LG
|
21 |
9 years ago |
| 443 |
From Image to Text Classification: A Novel Approach based on Clustering Word Embeddings
Andrei M. Butnaru, Radu Tudor Ionescu
|
👻
Ghosted
|
cs.CL
|
21 |
8 years ago |
| 444 |
Adversarial Transfer Learning for Cross-domain Visual Recognition
Shanshan Wang, Lei Zhang, JingRu Fu
|
👻
Ghosted
|
cs.CV
|
21 |
8 years ago |
| 445 |
Probabilistic Databases with an Infinite Open-World Assumption
Martin Grohe, Peter Lindner
|
👻
Ghosted
|
cs.DB
|
21 |
7 years ago |
| 446 |
Automatically Assessing Vulnerabilities Discovered by Compositional Analysis
Saahil Ognawala, Ricardo Nales Amato, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
21 |
7 years ago |
| 447 |
Virtualization Technologies and Cloud Security: advantages, issues, and perspectives
Roberto Di Pietro, Flavio Lombardi
|
👻
Ghosted
|
cs.CR
|
21 |
7 years ago |
| 448 |
Efficient Continuous Multi-Query Processing over Graph Streams
Lefteris Zervakis, Vinay Setty, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
21 |
7 years ago |
| 449 |
Instance and Output Optimal Parallel Algorithms for Acyclic Joins
Xiao Hu, Ke Yi
|
👻
Ghosted
|
cs.DB
|
21 |
7 years ago |
| 450 |
V2: Fast Detection of Configuration Drift in Python
Eric Horton, Chris Parnin
|
👻
Ghosted
|
cs.SE
|
21 |
6 years ago |