English
Related papers

Related papers: Formalising Sensor Topologies for Target Counting

200 papers

In order to gain a better understanding of the state space of programs, with the aim of making their verification more tractable, models based on directed topological spaces have been introduced, allowing to take in account equivalence…

Logic in Computer Science · Computer Science 2021-12-30 Samuel Mimram , Aly-Bora Ulusoy

Persistent homology analysis provides means to capture the connectivity structure of data sets in various dimensions. On the mathematical level, by defining a metric between the objects that persistence attaches to data sets, we can…

Machine Learning · Computer Science 2019-06-12 Henri Riihimäki , José Licón-Saláiz

Mapping is an essential task for mobile robots and topological representation often works as a basis for the various applications. In this paper, a novel framework that can build topological maps incrementally is proposed. The algorithm is…

Robotics · Computer Science 2019-06-07 Yijun Yuan , Sören Schwertfeger

Today, the advancements in urban technology have transformed into the concept of smart cities. These smart cities are envisioned to be heavily dependent on wireless sensor networks and internet of things. In this context, a number of…

Networking and Internet Architecture · Computer Science 2019-06-10 Mohsin Khalil , Ammar Khalid , Farid Ullah Khan , Akmal Shabbir

We study two sensor assignment problems for multi-target tracking with the goal of improving the observability of the underlying estimator. In the restricted version of the problem, we focus on assigning unique pairs of sensors to each…

Robotics · Computer Science 2017-10-20 Lifeng Zhou , Pratap Tokekar

Topological statistical theory provides the foundation for a modern mathematical reformulation of classical statistical theory: Structural Statistics emphasizes the structural assumptions that accompany distribution families and the set of…

Statistics Theory · Mathematics 2020-06-23 Patrick Michl

This paper introduces the concept of symbolic sensor as an extension of the smart sensor one. Then, the links between the physical world and the symbolic one are introduced. The creation of symbols is proposed within the frame of the…

Instrumentation and Detectors · Physics 2007-05-23 Eric Benoit , Laurent Foulloy

Smart cities are revolutionizing the transportation infrastructure by the integration of technology. However, ensuring that various transportation system components are operating as expected and in a safe manner is a great challenge. In…

Computers and Society · Computer Science 2021-10-13 Mariam Nour , Mohamed H. Zaki

Semantic mapping is the incremental process of "mapping" relevant information of the world (i.e., spatial information, temporal events, agents and actions) to a formal description supported by a reasoning engine. Current research focuses on…

Robotics · Computer Science 2016-06-14 Roberto Capobianco , Jacopo Serafin , Johann Dichtl , Giorgio Grisetti , Luca Iocchi , Daniele Nardi

This report presents a connection between the physical acoustics of an object and the topology of the space of echoes resulting from a circular synthetic aperture sonar (CSAS) collection of that object. A simple theoretical model is…

Signal Processing · Electrical Eng. & Systems 2022-05-24 Michael Robinson , Zander Memon

Homology theory has attracted great attention because it can provide novel and powerful solutions to address coverage problems in wireless sensor networks. They usually use an easily computable algebraic object, Rips complex, to detect…

Networking and Internet Architecture · Computer Science 2014-07-16 Feng Yan , Philippe Martins , Laurent Decreusefond

We consider the problem where a network of sensors has to detect the presence of targets at any of $n$ possible locations in a finite region. All such locations may not be occupied by a target. The data from sensors is fused to determine…

Information Theory · Computer Science 2012-11-20 B. Santhana Krishnan , Animesh Kumar , D. Manjunath , Bikash K. Dey

Accurate delineation of fine-scale structures is a very important yet challenging problem. Existing methods use topological information as an additional training loss, but are ultimately making pixel-wise predictions. In this paper, we…

Image and Video Processing · Electrical Eng. & Systems 2022-10-04 Xiaoling Hu , Dimitris Samaras , Chao Chen

This paper is one in a series that investigates topological measures on locally compact spaces. A topological measure is a set function which is finitely additive on the collection of open and compact sets, inner regular on open sets, and…

General Topology · Mathematics 2021-03-18 Svetlana V. Butler

Advances in machine learning technology have enabled real-time extraction of semantic information in signals which can revolutionize signal processing techniques and improve their performance significantly for the next generation of…

Signal Processing · Electrical Eng. & Systems 2021-09-27 Mert Kalfa , Mehmetcan Gok , Arda Atalik , Busra Tegin , Tolga M. Duman , Orhan Arikan

Theories of rough sets and soft sets are powerful mathematical tools for modelling various types of vagueness. Hybrid model combining a rough set with a soft set which is called soft rough set proposed by Feng et al. [3] in 2010. In this…

General Mathematics · Mathematics 2015-03-30 Naime Tozlu , Saziye Yuksel , Tugba Han Simsekler

Collaborative signal processing and sensor deployment have been among the most important research tasks in target tracking using networked sensors. In this paper, the mathematical model is formulated for single target tracking using mobile…

Mathematical Physics · Physics 2011-08-10 Jiangping Hu , Xiaoming Hu

The central goal of this thesis is to develop methods to experimentally study topological phases. We do so by applying the powerful toolbox of quantum simulation techniques with cold atoms in optical lattices. To this day, a complete…

Quantum Gases · Physics 2017-09-26 Samuel Mugel

Dense prediction tasks such as depth perception and semantic segmentation are important applications in computer vision that have a concrete topological description in terms of partitioning an image into connected components or estimating a…

Computer Vision and Pattern Recognition · Computer Science 2022-10-26 Deqing Fu , Bradley J. Nelson

Coverage problem in wireless sensor networks measures how well a region or parts of it is sensed by the deployed sensors. Definition of coverage metric depends on its applications for which sensors are deployed. In this paper, we introduce…

Computational Geometry · Computer Science 2020-01-16 Dinesh Dash