| 1251 |
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
Jaemin Hong, Sukyoung Ryu
|
👻
Ghosted
|
cs.SE
|
4 |
1 year ago |
| 1252 |
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development
Priyavanshi Pathania, Rohit Mehra, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
4 |
1 year ago |
| 1253 |
MCTS-Refined CoT: High-Quality Fine-Tuning Data for LLM-Based Repository Issue Resolution
Yibo Wang, Zhihao Peng, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
4 |
1 year ago |
| 1254 |
Hierarchical Knowledge Injection for Improving LLM-based Program Repair
Ramtin Ehsani, Esteban Parra, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
4 |
12 months ago |
| 1255 |
SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation
Gustavo A. Oliva, Gopi Krishnan Rajbahadur, ... (+8 more)
|
👻
Ghosted
|
cs.SE
|
4 |
11 months ago |
| 1256 |
Digital twin and extended reality for teleoperation of the electric vehicle battery disassembly
Tero Kaarlela, Sami Salo, Jose Outeiro
|
👻
Ghosted
|
cs.RO
|
4 |
11 months ago |
| 1257 |
Transparent Adaptive Learning via Data-Centric Multimodal Explainable AI
Maryam Mosleh, Marie Devlin, Ellis Solaiman
|
👻
Ghosted
|
cs.AI
|
4 |
11 months ago |
| 1258 |
Tuning LLM-based Code Optimization via Meta-Prompting: An Industrial Perspective
Jingzhi Gong, Rafail Giavrimis, ... (+9 more)
|
👻
Ghosted
|
cs.SE
|
4 |
11 months ago |
| 1259 |
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
Xinyi Wang, Qinghua Xu, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
4 |
10 months ago |
| 1260 |
Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Fanyu Wang, Chetan Arora, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
4 |
10 months ago |
| 1261 |
"My productivity is boosted, but ..." Demystifying Users' Perception on AI Coding Assistants
Yunbo Lyu, Zhou Yang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
4 |
10 months ago |
| 1262 |
Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
Konstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli
|
👻
Ghosted
|
cs.SE
|
4 |
10 months ago |
| 1263 |
AgentGuard: Runtime Verification of AI Agents
Roham Koohestani
|
👻
Ghosted
|
cs.AI
|
4 |
9 months ago |
| 1264 |
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
|
👻
Ghosted
|
cs.SE
|
3 |
11 years ago |
| 1265 |
F0 Modeling In Hmm-Based Speech Synthesis System Using Deep Belief Network
Sankar Mukherjee, Shyamal Kumar Das Mandal
|
👻
Ghosted
|
cs.LG
|
3 |
11 years ago |
| 1266 |
DisCoF$^+$: Asynchronous DisCoF with Flexible Decoupling for Cooperative Pathfinding in Distributed Systems
Kangjin Kim, Joe Campbell, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
3 |
11 years ago |
| 1267 |
A Person Re-Identification System For Mobile Devices
George Cushen
|
👻
Ghosted
|
cs.CV
|
3 |
10 years ago |
| 1268 |
Potential mass surveillance and privacy violations in proximity-based social applications
Silvia Puglisi, David Rebollo-Monedero, Jordi Forné
|
👻
Ghosted
|
cs.CR
|
3 |
10 years ago |
| 1269 |
Selfie Detection by Synergy-Constraint Based Convolutional Neural Network
Yashas Annadani, Vijayakrishna Naganoor, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
3 |
9 years ago |
| 1270 |
Erlang Code Evolution Control
David Insa, Sergio Pérez, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
3 |
8 years ago |
| 1271 |
Loom: Query-aware Partitioning of Online Graphs
Hugo Firth, Paolo Missier, Jack Aiston
|
👻
Ghosted
|
cs.DB
|
3 |
8 years ago |
| 1272 |
Spec-QP: Speculative Query Planning for Joins over Knowledge Graphs
Madhulika Mohanty, Maya Ramanath, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
3 |
8 years ago |
| 1273 |
Asymptotic Close To Optimal Joint Resource Allocation and Power Control in the Uplink of Two-cell Networks
Ata Khalili, Soroush Akhlaghi, Meysam Mirzaee
|
👻
Ghosted
|
cs.IT
|
3 |
8 years ago |
| 1274 |
A general cipher for individual data anonymization
Nicolas Ruiz
|
👻
Ghosted
|
cs.CR
|
3 |
8 years ago |
| 1275 |
Capstone: Mobility Modeling on Smartphones to Achieve Privacy by Design
Vaibhav Kulkarni, Arielle Moro, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
3 |
8 years ago |
| 1276 |
Novel Approaches to Accelerating the Convergence Rate of Markov Decision Process for Search Result Diversification
Feng Liu, Ruiming Tang, ... (+4 more)
|
👻
Ghosted
|
cs.IR
|
3 |
8 years ago |
| 1277 |
Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems
Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory
|
👻
Ghosted
|
cs.DC
|
3 |
8 years ago |
| 1278 |
Using a Model-driven Approach in Building a Provenance Framework for Tracking Policy-making Processes in Smart Cities
Barkha Javed, Zaheer Khan, Richard McClatchey
|
👻
Ghosted
|
cs.SE
|
3 |
8 years ago |
| 1279 |
The Deployment of an Enhanced Model-Driven Architecture for Business Process Management
Richard McClatchey
|
👻
Ghosted
|
cs.SE
|
3 |
8 years ago |
| 1280 |
Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots
Francesco Restuccia, Andrea Saracino, Fabio Martinelli
|
👻
Ghosted
|
cs.NI
|
3 |
8 years ago |
| 1281 |
Massively-Parallel Break Detection for Satellite Data
Malte von Mehren, Fabian Gieseke, ... (+4 more)
|
👻
Ghosted
|
cs.DC
|
3 |
7 years ago |
| 1282 |
Guided Unfoldings for Finding Loops in Standard Term Rewriting
Etienne Payet
|
👻
Ghosted
|
cs.PL
|
3 |
7 years ago |
| 1283 |
Probabilistic Blocking with An Application to the Syrian Conflict
Rebecca C. Steorts, Anshumali Shrivastava
|
👻
Ghosted
|
cs.DB
|
3 |
7 years ago |
| 1284 |
Attendance Maximization for Successful Social Event Planning
Nikos Bikakis, Vana Kalogeraki, Dimitrios Gunupulos
|
👻
Ghosted
|
cs.DS
|
3 |
7 years ago |
| 1285 |
Memory effects teleportation of quantum Fisher information under decoherence
Y. N. Guo, K. zeng, P. X. Chen
|
👻
Ghosted
|
quant-ph
|
3 |
7 years ago |
| 1286 |
SeMA: A Design Methodology for Building Secure Android Apps
Joydeep Mitra, Venkatesh-Prasad Ranganath
|
👻
Ghosted
|
cs.SE
|
3 |
7 years ago |
| 1287 |
Adding Value by Combining Business and Sensor Data: An Industry 4.0 Use Case
Guenter Hesse, Christoph Matthies, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
3 |
7 years ago |
| 1288 |
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving
Yeting Li, Haiming Chen, ... (+2 more)
|
👻
Ghosted
|
cs.DB
|
3 |
7 years ago |
| 1289 |
The Prolog debugger and declarative programming
Włodzimierz Drabent
|
👻
Ghosted
|
cs.PL
|
3 |
7 years ago |
| 1290 |
Proof of Compositionality of CFT Correctness
Simon Greiner, Peter Munk, Arne Nordmann
|
👻
Ghosted
|
cs.SE
|
3 |
6 years ago |
| 1291 |
Efficient Discovery of Expressive Multi-label Rules using Relaxed Pruning
Yannik Klein, Michael Rapp, Eneldo Loza Mencía
|
👻
Ghosted
|
cs.LG
|
3 |
6 years ago |
| 1292 |
A Multi-Strategy Approach to Overcoming Bias in Community Detection Evaluation
Jeancarlo Campos Leão, Alberto H. F. Laender, Pedro O. S. Vaz de Melo
|
👻
Ghosted
|
cs.SI
|
3 |
6 years ago |
| 1293 |
The space complexity of inner product filters
Rasmus Pagh, Johan Sivertsen
|
👻
Ghosted
|
cs.DS
|
3 |
6 years ago |
| 1294 |
On the Interaction Between Deep Detectors and Siamese Trackers in Video Surveillance
Madhu Kiran, Vivek Tiwari, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
3 |
6 years ago |
| 1295 |
An Empirical Study of Sections in Classifying Disease Outbreak Reports
Son Doan, Mike Conway, Nigel Collier
|
👻
Ghosted
|
cs.CL
|
3 |
6 years ago |
| 1296 |
Counting Problems over Incomplete Databases
Marcelo Arenas, Pablo Barceló, Mikaël Monet
|
👻
Ghosted
|
cs.DB
|
3 |
6 years ago |
| 1297 |
S-APIR: News-based Business Sentiment Index
Kazuhiro Seki, Yusuke Ikuta
|
👻
Ghosted
|
cs.CL
|
3 |
6 years ago |
| 1298 |
Topology Dependent Bounds For FAQs
Michael Langberg, Shi Li, ... (+2 more)
|
👻
Ghosted
|
cs.DC
|
3 |
6 years ago |
| 1299 |
Miniature Robot Path Planning for Bridge Inspection: Min-Max Cycle Cover-Based Approach
Michael Lin, Richard J. La
|
👻
Ghosted
|
cs.DS
|
3 |
6 years ago |
| 1300 |
Studying Attention Models in Sentiment Attitude Extraction Task
Nicolay Rusnachenko, Natalia Loukachevitch
|
👻
Ghosted
|
cs.CL
|
3 |
6 years ago |