检索结果-内蒙古大学图书馆

arXiv 2021年

作者： Deng, Jiajun Zhou, Wengang Zhang, Yanyong Li, Houqiang The CAS Key Laboratory of Technology in Geo-Spatial Information Processing and Application System Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei230026 China The Department of Computer Science University of Science and Technology of China Hefei230026 China

As an emerging data modal with precise distance sensing, LiDAR point clouds have been placed great expectations on 3D scene understanding. However, point clouds are always sparsely distributed in the 3D space, and with unstructured storage, which makes it difficult to represent them for effective 3D object detection. To this end, in this work, we regard point clouds as hollow-3D data and propose a new architecture, namely Hallucinated Hollow-3D R-CNN (H23D R-CNN), to address the problem of 3D object detection. In our approach, we first extract the multi-view features by sequentially projecting the point clouds into the perspective view and the bird-eye view. Then, we hallucinate the 3D representation by a novel bilaterally guided multi-view fusion block. Finally, the 3D objects are detected via a box refinement module with a novel Hierarchical Voxel RoI Pooling operation. The proposed H23D R-CNN provides a new angle to take full advantage of complementary information in the perspective view and the bird-eye view with an efficient framework. We evaluate our approach on the public KITTI Dataset and Waymo Open Dataset. Extensive experiments demonstrate the superiority of our method over the state-of-the-art algorithms with respect to both effectiveness and efficiency. The code will be made available at https://***/djiajunustc/H-23D_R-CNN. Copyright © 2021, The Authors. All rights reserved.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

TriggerCas: Enabling wireless consrucive collisions

TriggerCas: Enabling wireless consrucive collisions

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Yin Wang Yuan He Dapeng Cheng Yunhao Liu Xiang-yang Li MOE Key Laboratory for Information System Security School of Software TNLIST Tsinghua University China Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China Key Laboratory of Intelligent Information Processing Universities of Shandong China Department of Computer Science Illinois Institute of Technology USA

Constructive Interference (CI) proposed in the existing work (e.g., A-MAC [1], Glossy [2]) may degrade the packet reception performance in terms of Packet Reception Ratio (PRR) and Received Signal Strength Indication (RSSI). The packet reception performance of a set of nodes transmitting simultaneously might be no better than that of any single node transmitting individually. In this paper, we redefine CI and propose TriggerCast, a practical wireless architecture which ensures concurrent transmissions of an identical packet to interfere constructively rather than to interfere non-destructively. CI potentially allows orders of magnitude reductions in energy consumption and improvements in link quality. Moreover, we for the first time present a theoretical sufficient condition for generating CI with IEEE 802.15.4 radio: concurrent transmissions with an identical packet should be synchronized at chip level. Meanwhile, co-senders participating in concurrent transmissions should be carefully selected, and the starting instants for the concurrent transmissions should be aligned. Based on the sufficient condition, we propose practical techniques to effectively compensate propagation and radio processing delays. TriggerCast has 95 th percentile synchronization errors of at most 250ns. Extensive experiments in practical testbeds reveal that TriggerCast significantly improves PRR (from 5% to 70% with 7 concurrent senders, from 50% to 98.3% with 6 senders) and RSSI (about 6dB with 5 senders).

关键词： Delays Synchronization Signal to noise ratio Receivers Wireless sensor networks IEEE 802.15 Standards

来源：评论

学校读者我要写书评

暂无评论

DEGSTalk: Decomposed Per-Embedding Gaussian Fields for Hair-Preserving Talking Face Synthesis

arXiv

引用

arXiv 2024年

作者： Deng, Kaijun Zheng, Dezhi Xie, Jindong Wang, Jinbao Xie, Weicheng Shen, Linlin Song, Siyang Computer Vision Institute School of Computer Science and Software Engineering Shenzhen University China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University China Guangdong Provincial Key Laboratory of Intelligent Information Processing China Department of Computer Science University of Exeter United Kingdom

Accurately synthesizing talking face videos and capturing fine facial features for individuals with long hair presents a significant challenge. To tackle these challenges in existing methods, we propose a decomposed per-embedding Gaussian fields (DEGSTalk), a 3D Gaussian Splatting (3DGS)-based talking face synthesis method for generating realistic talking faces with long hairs. Our DEGSTalk employs Deformable Pre-Embedding Gaussian Fields, which dynamically adjust pre-embedding Gaussian primitives using implicit expression coefficients. This enables precise capture of dynamic facial regions and subtle expressions. Additionally, we propose a Dynamic Hair-Preserving Portrait Rendering technique to enhance the realism of long hair motions in the synthesized videos. Results show that DEGSTalk achieves improved realism and synthesis quality compared to existing approaches, particularly in handling complex facial dynamics and hair preservation. Our code will be publicly available at https://***/CVI-SZU/DEGSTalk. Copyright © 2024, The Authors. All rights reserved.

关键词： Gaussian distribution

来源：评论

学校读者我要写书评

暂无评论

Process Calculus with Data Structure and its Model Checking Algorithm

引用

Physics Procedia 2012年 33卷 782-789页

作者： Qing Zheng Zi-Ning Cao Department of Computer Science and Technology Nanjing University of Aero. & Astro. Nanjing 210016 P.R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 P.R. China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P.R. China

Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.

关键词： Model Checking CTL Z Language CCS

来源：评论

学校读者我要写书评

暂无评论

A model for monitoring and debugging parallel and distributed software

A model for monitoring and debugging parallel and distribute...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： D.C. Marinescu J.E. Lumpp T.L. Casavant H.J. Siegel Computer Science Department Purdue University West Lafayette IN USA School of Electrical Engineering Parallel Processing Laboratory Purdue University West Lafayette IN USA Department of Electrical snd Computer Engineering University of Iowa Iowa IA USA Purdue Univ. West Lafayette IN USA

Several aspects of the multidimensional problem of providing monitoring support for the debugging and performance analysis of distributed and parallel systems and parallel applications are presented. The key elements of the solution to the problem are a formal event-action model at the process level and a layered architectural model. The application of the event-action model to the development of the abstract layered architectural model is shown, as well as a proposed implementation sketch of a nonintrusive monitor for the PASM parallel processing system.< >

关键词： Software debugging Yarn Probes Hardware Instruments computerized monitoring parallel processing Application software Timing Condition monitoring

来源：评论

学校读者我要写书评

暂无评论

Tail Classes Matter: Long-Tailed Object Detection Revisited

Tail Classes Matter: Long-Tailed Object Detection Revisited

引用

International Conference on Acoustics, Speech, and Signal processing (ICASSP)

作者： Yinglu Zhang Chenbo Zhang Lu Zhang Tianying Liu Jihong Guan Xinkai Liang Jiajia Zhao Shuigeng Zhou Shanghai Key Lab of Intelligent Information Processing and School of Computer Science Fudan University China Department of Computer Science & Technology Tongji University China Science and Technology on Complex System Conroland InelligentAgent Cooperation Laboratory Beijing Electro-Mechanical Engineering Institute China

Real-world data ubiquitously exhibit long-tailed distribution, which sparks the increasing interest in long-tailed object detection (LTOD). However, existing methods neglect that a lack of diverse data in tail classes will cause underrepresented tail class features, making their efforts for balancing foreground classes tend to over-fit tail classes and be less effective. In this paper, we propose a multi-class co-attention generation network to increase data diversity of tail classes by generating augmented samples. To alleviate imbalance, we develop a distribution-aware up-sampling strategy, performing differential up-sampling for different classes and design a bi-directional regulation loss to adjust both positive and negative gradients. Moreover, we construct a new dataset LVIS-X with more rare classes based on existing LTOD benchmark dataset LVIS. Experiments on LVIS and LVIS-X demonstrate the superiority of the proposed method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Secure-by-construction optimal path planning for linear temporal logic tasks

arXiv

引用

arXiv 2020年

作者： Yang, Shuo Yin, Xiang Li, Shaoyuan Zamani, Majid Department of Automation and Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai200240 China Computer Science Department University of Colorado BoulderCO80309 United States Computer Science Department Ludwig Maximilian University of Munich Munich80539 Germany

In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that the external behavior of the robot, specified by an output function, can be accessed by a passive intruder (eavesdropper). The security constraint requires that the intruder should never infer that the robot was started from a secret location. We provide a sound and complete algorithmic procedure to solve this problem. Our approach is based on the construction of the twin weighted transition systems (twin-WTS) that tracks a pair of paths having the same observation. We show that the security-aware path planning problem can be effectively solved based on graph search techniques in the product of the twin-WTS and the Büchi automaton representing the LTL formula. The complexity of the proposed planning algorithm is polynomial in the size of the system model. Finally, we illustrate our algorithm by a simple robot planning example. Copyright © 2020, The Authors. All rights reserved.

关键词： computer circuits

来源：评论

学校读者我要写书评

暂无评论

Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition

Model Predictive Control for Signal Temporal Logic Specifica...

引用

IEEE Conference on Decision and Control

作者： Xinyi Yu Chuwei Wang Dingran Yuan Shaoyuan Li Xiang Yin Thomas Lord Department of Computer Science University of Southern California Los Angeles CA USA Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Recent works show that MPC has the great potential in handling logical tasks in reactive environments. However, existing approaches suffer from the heavy computational burden, especially for tasks with large horizons. In this work, we propose a computationally more efficient MPC framework for STL tasks based on time interval decomposition. Specifically, we still use the standard shrink horizon MPC framework with Mixed Integer Linear Programming (MILP) techniques for open-loop optimization problems. However, instead of applying MPC directly for the entire task horizon, we decompose the STL formula into several sub-tasks with disjoint time horizons, and shrinking horizon MPC is applied for each short-horizon sub-task iteratively. To guarantee the satisfaction of the entire STL formula and to ensure the recursive feasibility of the iterative process, we introduce new terminal constraints to connect each sub-task. We show how these terminal constraints can be computed by an effective inner-approximation approach. The computational efficiency of our approach is illustrated by a case study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints

Efficient STL Control Synthesis Under Asynchronous Temporal ...

引用

IEEE Conference on Decision and Control

作者： Xinyi Yu Xiang Yin Lars Lindemann Thomas Lord Department of Computer Science University of Southern California Los Angeles CA USA Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China

In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal Robustness (ATR) was proposed to capture the robustness of a system trajectory against individual time shifts in its sub-trajectories. In a multi-robot system, this may correspond to individual robots being delayed or early. Control synthesis under ATR constraints is challenging and has not yet been addressed. In this paper, we propose an efficient control synthesis method under ATR constraints which are defined with respect to simple safety or complex signal temporal logic specifications. Given an ATR bound, we compute a sequence of control inputs so that the specification is satisfied by the system as long as each sub-trajectory is shifted not more than the ATR bound. We avoid combinatorially exploring all shifted sub-trajectories by first identifying redundancy between them. We capture this insight by the notion of instant-shift pair sets, and then propose an optimization program that enforces the specification only over the instant-shift pair sets. We show soundness and completeness of our method and analyze its computational complexity. Finally, we present various illustrative case studies.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Feature-based video mosaic

Feature-based video mosaic

引用

IEEE International Conference on Image processing

作者： Chiou-Ting Hsu Tzu-Hung Cheng R.A. Beuker Jyh-Kuen Horng Department of Computer Science National Tsing Hua University Hsinchu Taiwan Information Appliance System Philips Research East Asia Taipei Taiwan Video Processing Group System Laboratory Eindhoven Philips Semiconductors B.V.

A complete method to create a panoramic video mosaic is proposed in this paper. This method includes three principal processes: real-time frame selection, feature based estimation of an eight-parameter projective coordinate transformation, and image mosaic composing. This proposed method works well on many video sequences captured from a PC camera to generate both 360 degree and planar panoramas. Experimental results demonstrate the validity and superior quality of this proposed method.

关键词： Motion estimation Cameras Video sequences Streaming media computer science Home appliances Asia Laboratories Layout Image resolution

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：