Latest Research
Simple but Effective Raw-Data Level Multimodal Fusion for Composed Image Retrieval
Composed image retrieval (CIR) aims to retrieve the target image based on a multimodal query, i. e., a reference image paired with corresponding modification text.
Multimedia
Privacy-Preserving Billing for Local Energy Markets (Long Version)
We propose a privacy-preserving billing protocol for local energy markets (PBP-LEMs) that takes into account market participants' energy volume deviations from their bids.
Cryptography and Security
Source Localization for Cross Network Information Diffusion
tanmoysr/cnsl
•
•
Source localization on cross-networks entails locating diffusion sources on the source network by only giving the diffused observation in the target network.
Social and Information Networks
Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graphs
Vul-LMGNN constructs a code property graph that integrates various code attributes (including syntax, flow control, and data dependencies) into a unified graph structure, thereafter leveraging pre-trained code model to extract local semantic features as node embeddings in the code property graph.
Cryptography and Security
Tightly Joined Positioning and Control Model for Unmanned Aerial Vehicles Based on Factor Graph Optimization
In particular, the proposed JPCM combines sensor measurements from positioning and control constraints into a unified probabilistic factor graph.
Robotics
Semi-Substructural Logics with Additives
We also discuss extensions of the logic with additive units, a form of skew exchange and linear implication.
Logic in Computer Science
Learning H-Infinity Locomotion Control
We verify the robustness of our approach on quadrupedal locomotion tasks with Unitree Aliengo robot, and also a more challenging task with Unitree A1 robot, where the quadruped is expected to perform locomotion merely on its hind legs as if it is a bipedal robot.
Robotics
Towards Proxy Staking Accounts Based on NFTs in Ethereum
Blockchain is a technology that is often used to share data and assets.
Distributed, Parallel, and Cluster Computing Cryptography and Security
LLAMP: Assessing Network Latency Tolerance of HPC Applications with Linear Programming
The shift towards high-bandwidth networks driven by AI workloads in data centers and HPC clusters has unintentionally aggravated network latency, adversely affecting the performance of communication-intensive HPC applications.
Distributed, Parallel, and Cluster Computing Networking and Internet Architecture Performance C.4
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
By representing error bounds as a resource, we recover the benefits of separation logic, including compositionality, modularity, and dependency between errors and program terms, allowing for more precise specifications.
Logic in Computer Science Programming Languages
