English
Related papers

Related papers: OxO2 -- A SSSOM mapping browser for logically soun…

200 papers

Mapping is essential in robotics and autonomous systems because it provides the spatial foundation for path planning. Efficient mapping enables planning algorithms to generate reliable paths while ensuring safety and adapting in real time…

Robotics · Computer Science 2026-05-22 Yihui Mao , Tian Tan , Xuehui Shen , Warren E. Dixon , Rushikesh Kamalapurkar

As AI systems move into high stakes domains such as legal reasoning, medical diagnosis, and financial decision making, regulators and practitioners increasingly demand auditability. Auditability means the ability to trace exactly what each…

Artificial Intelligence · Computer Science 2026-01-05 Xin Guan , Yunshan Li , Zekun Wu , Ruibo Zhang

SLAM (Simultaneous Localisation and Mapping) is a crucial component for robotic systems, providing a map of an environment, the current location and previous trajectory of a robot. While 3D LiDAR SLAM has received notable improvements in…

Robotics · Computer Science 2025-04-29 Leon Davies , Baihua Li , Mohamad Saada , Simon Sølvsten , Qinggang Meng

SLAM technology plays a crucial role in indoor mapping and localization. A common challenge in indoor environments is the "double-sided mapping issue", where closely positioned walls, doors, and other surfaces are mistakenly identified as a…

Robotics · Computer Science 2025-04-14 Chengwei Zhao , Yixuan Li , Yina Jian , Jie Xu , Linji Wang , Yongxin Ma , Xinglai Jin

Semantic reasoning aims to infer new knowledge from existing knowledge, with OWL ontologies serving as a standardized framework for organizing information. A key challenge in semantic reasoning is verifying ontology consistency. However,…

Artificial Intelligence · Computer Science 2025-04-29 Justin Mücke , Ansgar Scherp

Large language model agents increasingly depend on memory to sustain long horizon interaction, but existing frameworks remain limited. Most expose only a few basic primitives such as encode, retrieve, and delete, while higher order…

Computation and Language · Computer Science 2025-10-24 Yi Wang , Lihai Yang , Boyu Chen , Gongyi Zou , Kerun Xu , Bo Tang , Feiyu Xiong , Siheng Chen , Zhiyu Li

Research on information extraction from Web pages (wrapping) has seen much activity recently (particularly systems implementations), but little work has been done on formally studying the expressiveness of the formalisms proposed or on the…

Databases · Computer Science 2007-05-23 Georg Gottlob , Christoph Koch

In this work, we introduce the BBC-Oxford British Sign Language (BOBSL) dataset, a large-scale video collection of British Sign Language (BSL). BOBSL is an extended and publicly released dataset based on the BSL-1K dataset introduced in…

Computer Vision and Pattern Recognition · Computer Science 2021-11-08 Samuel Albanie , Gül Varol , Liliane Momeni , Hannah Bull , Triantafyllos Afouras , Himel Chowdhury , Neil Fox , Bencie Woll , Rob Cooper , Andrew McParland , Andrew Zisserman

Extensible Markup Language (XML) is a simple, very flexible text format derived from SGML. Originally designed to meet the challenges of large-scale electronic publishing, XML is also playing an increasingly important role in the exchange…

Programming Languages · Computer Science 2007-10-26 J. M. Almendros-Jiménez , A. Becerra-Terón , F. J. Enciso-Baños

Indecipherable black boxes are common in machine learning (ML), but applications increasingly require explainable artificial intelligence (XAI). The core of XAI is to establish transparent and interpretable data-driven algorithms. This work…

Optimization and Control · Mathematics 2023-06-13 Howard Heaton , Samy Wu Fung

This paper introduces a new paradigm for sound source lo-calization referred to as virtual acoustic space traveling (VAST) and presents a first dataset designed for this purpose. Existing sound source localization methods are either based…

Sound · Computer Science 2016-12-20 Clément Gaultier , Saurabh Kataria , Antoine Deleforge

Recent studies on Learning to Optimize (L2O) suggest a promising path to automating and accelerating the optimization procedure for complicated tasks. Existing L2O models parameterize optimization rules by neural networks, and learn those…

Machine Learning · Computer Science 2022-05-10 Wenqing Zheng , Tianlong Chen , Ting-Kuei Hu , Zhangyang Wang

When developing devices, architectures and services for the Internet of Medical Things (IoMT) world, manufacturers or integrators must be aware of the security requirements expressed by both laws and specifications. To provide tools guiding…

Cryptography and Security · Computer Science 2025-01-07 Daniel Naro , Jaime Delgado , Silvia Llorente , Amanda Palomo

Image matching is a fundamental and critical task in various visual applications, such as Simultaneous Localization and Mapping (SLAM) and image retrieval, which require accurate pose estimation. However, most existing methods ignore the…

Computer Vision and Pattern Recognition · Computer Science 2023-08-31 Miao Fan , Mingrui Chen , Chen Hu , Shuchang Zhou

The Internet of Sounds (IoS) combines sound sensing, processing, and transmission techniques, enabling collaboration among diverse sound devices. To achieve perceptual quality of sound synchronization in the IoS, it is necessary to…

Audio and Speech Processing · Electrical Eng. & Systems 2024-07-18 Chengsi Liang , Yao Sun , Christo Kurisummoottil Thomas , Lina Mohjazi , Walid Saad

The capability to efficiently search for objects in complex environments is fundamental for many real-world robot applications. Recent advances in open-vocabulary vision models have resulted in semantically-informed object navigation…

Robotics · Computer Science 2025-03-04 Finn Lukas Busch , Timon Homberger , Jesús Ortega-Peimbert , Quantao Yang , Olov Andersson

In this paper, we present NEMO, a system that translates Natural-language descriptions of decision problems into formal Executable Mathematical Optimization implementations, operating collaboratively with users or autonomously. Existing…

Artificial Intelligence · Computer Science 2026-01-30 Yang Song , Anoushka Vyas , Zirui Wei , Sina Khoshfetrat Pakazad , Henrik Ohlsson , Graham Neubig

Current techniques in Visual Simultaneous Localization and Mapping (VSLAM) estimate camera displacement by comparing image features of consecutive scenes. These algorithms depend on scene continuity, hence requires frequent camera inputs.…

Robotics · Computer Science 2024-01-25 Mingyang Li , Yue Ma , Qinru Qiu

A smart navigation system (an Electronic Travel Aid) based on an object detection mechanism has been designed to detect the presence of obstacles that immediately impede the path, by means of real time video processing. The algorithm can be…

Computer Vision and Pattern Recognition · Computer Science 2012-08-10 Supreeth K. Rao , Arpitha Prasad B. , Anushree R. Shetty , Chinmai , R. Bhakthavathsalam , Rajeshwari Hegde

Intelligent Transportation Systems increasingly depend on heterogeneous data from roadside cameras, UAV imagery, LiDAR, and in-vehicle sensors, yet the lack of unified data standards, model interfaces, and evaluation protocols across these…

‹ Prev 1 3 4 5 6 7 10 Next ›