Trending Research
A Conflict-Free Replicated JSON Datatype
Many applications model their data in a general-purpose storage format such as JSON.
Distributed, Parallel, and Cluster Computing Databases
SingVisio: Visual Analytics of Diffusion Model for Singing Voice Conversion
In this study, we present SingVisio, an interactive visual analysis system that aims to explain the diffusion model used in singing voice conversion.
Sound Human-Computer Interaction Audio and Speech Processing
Leveraging Content-based Features from Multiple Acoustic Models for Singing Voice Conversion
It is yet to be explored what characteristics of content features from different acoustic models are, and whether integrating multiple content features can help each other.
Sound Audio and Speech Processing
Manu: A Cloud Native Vector Database Management System
In the past three years, through interaction with our 1200+ industry users, we have sketched a vision for the features that next-generation vector databases should have, which include long-term evolvability, tunable consistency, good elasticity, and high performance.
Databases
ViPlanner: Visual Semantic Imperative Learning for Local Navigation
This optimization uses a differentiable formulation of a semantic costmap, which enables the planner to distinguish between the traversability of different terrains and accurately identify obstacles.
Robotics
Clio: Real-time Task-Driven Open-Set 3D Scene Graphs
The first contribution of this paper is to propose a task-driven 3D scene understanding problem, where the robot is given a list of tasks in natural language and has to select the granularity and the subset of objects and scene structure to retain in its map that is sufficient to complete the tasks.
Robotics
Open-Source, Cost-Aware Kinematically Feasible Planning for Mobile and Surface Robotics
This work is motivated by the lack of performant and available feasible planners for mobile and surface robotics research.
Robotics
A Hybrid DSP/Deep Learning Approach to Real-Time Full-Band Speech Enhancement
Despite noise suppression being a mature area in signal processing, it remains highly dependent on fine tuning of estimator algorithms and parameters.
Sound Audio and Speech Processing
Libfork: portable continuation-stealing with stackless coroutines
Fully-strict fork-join parallelism is a powerful model for shared-memory programming due to its optimal time scaling and strong bounds on memory scaling.
Distributed, Parallel, and Cluster Computing
A formalisation of Gallagher's ergodic theorem
Gallagher's ergodic theorem is a result in metric number theory.
Logic in Computer Science Number Theory 11K60, 11J83
