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

Variant quantifiers in L_(3)-valued first-order logic

Frontiers of Computer Science 2021年第5期15卷 151-159页

作者： Wei LI Yuefei SUI State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100083China Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 100049China

Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential *** L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.

关键词： L_(3)-valued(three-valued)first-order logic sequent quantifier soundness theorem completeness theorem

来源：评论

学校读者我要写书评

暂无评论

LinNet: Linear Network for Efficient Point Cloud Representation Learning 38

LinNet: Linear Network for Efficient Point Cloud Representat...

引用

38th Conference on Neural information Processing Systems, NeurIPS 2024

作者： Deng, Hao Jing, Kunlei Cheng, Shengmei Liu, Cheng Ru, Jiawei Bo, Jiang Wang, Lin State-Province Joint Engineering and Research Center of Advanced Networking and Intelligent Information Services School of Information Science and Technology Northwest University China Shaanxi Key Laboratory of Higher Education Institution of Generative Artificial Intelligence and Mixed Reality China School of Software Engineering Xi'an Jiaotong University China Department of Computing The Hong Kong Polytechnic University Hong Kong

Point-based methods have made significant progress, but improving their scalability in large-scale 3D scenes is still a challenging problem. In this paper, we delve into the point-based method and develop a simpler, faster, stronger variant model, dubbed as LinNet. In particular, we first propose the disassembled set abstraction (DSA) module, which is more effective than the previous version of set abstraction. It achieves more efficient local aggregation by leveraging spatial anisotropy and channel anisotropy separately. Additionally, by mapping 3D point clouds onto 1D space-filling curves, we enable parallelization of downsampling and neighborhood queries on GPUs with linear complexity. LinNet, as a purely point-based method, outperforms most previous methods in both indoor and outdoor scenes without any extra attention, and sparse convolution but merely relying on a simple MLP. It achieves the mIoU of 73.7%, 81.4%, and 69.1% on the S3DIS Area5, NuScenes, and SemanticKITTI validation benchmarks, respectively, while speeding up almost 10x times over PointNeXt. Our work further reveals both the efficacy and efficiency potential of the vanilla point-based models in large-scale representation learning. Our code will be available at https://***/DengH293/LinNet. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digital Human Techniques for Education Reform 24

Digital Human Techniques for Education Reform

引用

7th International Conference on Educational technology Management, ICETM 2024

作者： Guo, Peirong Zhang, Qi Tian, Chunwei Xue, Wanli Feng, Xiaocheng School of Software Northwestern Polytechnical University Shaanxi Xi’an China School of Economics and Management Harbin Institute of Technology at Weihai Shandong Weihai China Shenzhen Research Institute of Northwestern Polytechnical University Northwestern Polytechnical University Guangdong Shenzhen China School of Computer Science and Engineering Tianjin University of Technology Tianjin China Research Center for Social Computing and Information Retrieval Harbin Institute of Technology Heilongjiang Harbin China Guangdong Key Laboratory of Intelligent Information Processing Shenzhen Key Laboratory of Media Security Shenzhen University Guangdong Shenzhen China

ISBN: (纸本)9798400717468

The rapid evolution of artificial intelligence, big data, and generative AI models has ushered in significant transformations across various sectors, including education. Digital Human Technique, an innovative technology grounded in advanced computer science and artificial intelligence, is reshaping educational paradigms by enabling virtual humans to simulate human behavior, express emotions, and interact with users. This paper explores the application of Digital Human Technique in education reform, focusing on creating immersive, intelligent classroom experiences that foster meaningful interactions between teachers and students. We define Digital Human Technique and delve into its key technical components such as character modeling and rendering, natural language processing, computer vision, and augmented reality technologies. Our methodology involves analyzing the role of educational digital humans created through these technologies, assessing their impact on educational processes, and examining various application scenarios in educational reform. Results indicate that Digital Human Technique significantly enhances the learning experience by enabling personalized teaching, increasing engagement, and fostering emotional connections. Educational digital humans serve as virtual teachers, interactive learning aids, and facilitators of emotional interaction, effectively addressing the challenges of traditional educational methods. They also promote a deeper understanding of complex concepts through simulated environments and interactive digital content. © 2024 Copyright held by the owner/author(s).

关键词： Digital elevation model

来源：评论

学校读者我要写书评

暂无评论

No-Reference Image Quality Assessment Based on Active Reasoning Module 6

No-Reference Image Quality Assessment Based on Active Reason...

引用

6th IEEE International Conference on Electronic information and Communication technology, ICEICT 2023

作者： Qi, Junwei Deng, Yuhao Wang, Qingchun Yang, Zhen Li, Yingsong College of Information and Communication Engineering Harbin Engineering University Harbin150001 China Shanghai Yanding Information Technology Co. Ltd. Shanghai201210 China College of Computer Science and Technology Harbin Engineering University Harbin150001 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing Ministry of Education China

ISBN: (纸本)9798350399059

We present a no-reference image-quality - assessment algorithm based on active reasoning module. This algorithm has three modules: the feature extraction module, the active reasoning module, and the quality assessment module. The active reasoning module incorporates the generator component of the generative adversarial network and enhances its structure with the Res2Net architecture. By integrating this module into the backbone feature extraction network, we improve the receptive field of each convolutional layer, enabling the network to capture information at different scales of the image. To preserve the texture information of the image, we input the gradient map of the distorted image, the distorted image itself, and the image features generated by the generator into the quality assessment module, which has a multi-feature regression networks. This module establishes a mapping model from image-feature to image-quality scores. We conducted experimental analysis of this algorithm on three widely used public datasets, confirming the excellent performance and superiorities of the presented algorithm. The results validate the effectiveness of the designed algorithm and its ability to assess image quality accurately. © 2023 IEEE.

关键词： Image quality

来源：评论

学校读者我要写书评

暂无评论

A Multi-scale Framework for Out-of-Distribution Detection in Dermoscopic Images 1

引用

4th International Conference on Machine Learning for Cyber Security, ML4CS 2022

作者： Huang, Zhongzheng Wang, Tao Cai, Yuanzheng Liang, Lingyu College of Computer and Data Science Fuzhou University Fuzhou350108 China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control College of Computer and Control Engineering and International Digital Economy College Minjiang University Fuzhou350108 China The Key Laboratory of Cognitive Computing and Intelligent Information Processing of Fujian Education Institutions Wuyi University Wuyishan354300 China Fujian Yilian-Health Nursing Information Technology Co. Ltd. Fuzhou350003 China School of Electronic and Information Engineering South China University of Technology Guangzhou510641 China

ISBN: (数字)9783031200960

ISBN: (纸本)9783031200953

The automatic detection of skin diseases via dermoscopic images can improve the efficiency in diagnosis and help doctors make more accurate judgments. However, conventional skin disease recognition systems may produce high confidence for out-of-distribution (OOD) data, which may become a major security vulnerability in practical applications. In this paper, we propose a multi-scale detection framework to detect out-of-distribution skin disease image data to ensure the robustness of the system. Our framework extracts features from different layers of the neural network. In the early layers, rectified activation is used to make the output features closer to the well-behaved distribution, and then an one-class SVM is trained to detect OOD data;in the penultimate layer, an adapted Gram matrix is used to calculate the features after rectified activation, and finally the layer with the best performance is chosen to compute a normality score. Experiments show that the proposed framework achieves superior performance when compared with other state-of-the-art methods in the task of skin disease recognition. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Chemical activation

来源：评论

学校读者我要写书评

暂无评论

Reduced-search guessing random additive noise decoding of polar codes

引用

Science China(information Sciences) 2023年第2期66卷 283-284页

作者： Kefan WANG Yuejun WEI Zhenyuan CHEN Huarui YIN Liping LI Wenyi ZHANG Key Laboratory of Intelligent Computing and Signal Processing of the Ministry of Education of China Anhui University Huawei Technologies Department of Electronic Engineering and Information Science University of Science and Technology of China

Guessing random additive noise decoding(GRAND) has attracted researchers since its introduction in [1]. For an additive noise channel with hard decision output, the algorithm checks all error patterns, and it schedules its search in descending likelihood order. Ordered reliability bit GRAND(ORBGRAND) [2] is a variant of *** soft channel output is available,

关键词：

来源：评论

学校读者我要写书评

暂无评论

Environmental Features Assessment Network Aided Deep Reinforcement Learning for Quadrupedal Locomotion in Tough Terrain

Environmental Features Assessment Network Aided Deep Reinfor...

引用

Chinese Automation Congress (CAC)

作者： Guoyu Zuo Yong Wang Gao Huang Shuangyue Yu Faculty of Information Technology Beijing University of Technology Beijing China Beijing Key Laboratory of Computing Intelligence and Intelligent Systems Beijing China

Quadrupedal robots have more powerful locomotion capabilities compared to other types of mobile robots. However, the complexity of their controllers and the need to adapt to a wide variety of terrains poses a huge difficulty in the design of the controllers. Recently, deep reinforcement learning (DRL) has been widely used in quadruped robot controller design but still relies on complex and reliable sensing frameworks. In this paper, we propose a motion controller training framework. The framework includes an Environmental Feature Assessment Network (EFANet) to guide the action output of the policy network, and an asymmetric actor-critic structure to help the policy network infer terrain features. We also introduce a strategic trajectory generator into our framework to prevent the robot from generating abnormal gaits. The proposed framework for learning quadrupedal locomotion allows quadrupedal robots to traverse challenging terrains with limited sensors. Finally, the proposed approach is tested and evaluated in a simulation environment using the A1 quadruped robot model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Long-Short Term Policy for Visual Object Navigation

Long-Short Term Policy for Visual Object Navigation

引用

IEEE/RSJ International Conference on intelligent Robots and Systems (IROS)

作者： Yubing Bai Xinhang Song Weijie Li Sixian Zhang Shuqiang Jiang Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences (CAS) Beijing China University of Chinese Academy of Sciences Beijing China Institute of Intelligent Computing Technology CAS Suzhou

The goal of visual object navigation for an agent is to find the target objects accurately. Recent works mainly focus on the feature of embedding, attempting to learn better features with different variants, such as object distribution and graph representations. However, some typical navigation problems in complex environments, such as partially known and obstacle problems, may not be effectively addressed by previous feature embedding methods. In this paper, we propose a framework with a long-short objective policy, where the hidden states are classified according to the navigation objectives at that moment and separately rewarded. Specifically, we consider two objectives: the long-term objective is to go closer to the target, and the short-term objective is for obstacle avoidance and exploration. To alleviate the effect of long-term and short-term alternation, we build a state memory and propose an adjustment gate to update the state memory. Finally, all past hidden states are reweighted and combined for action prediction with an action-boosting gate. Experimental results on RoboTHOR show that the proposed method can significantly outperform the state-of-the-art.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of a cross-frame barrier-crossing and wall-climbing cleaning robot

Design of a cross-frame barrier-crossing and wall-climbing c...

引用

Chinese Control and Decision Conference, CCDC

作者： Naigong Yu Wanhu Feng Fan Zhang Hejie Yu Faculty of Information Technology Beijing University of Technology Beijing China Beijing Key Laboratory of Computing Intelligence and Intelligent System Beijing China

The photovoltaic curtain wall is a combination of an outer photovoltaic module plate and inner vacuum glass, which forms a narrow cavity with obstacles such as beams and junction boxes inside. After the cavity of the photovoltaic curtain wall is contaminated, it is impossible to enter manually. For the problem of cavity cleaning, a cross-frame barrier-crossing and wall-climbing cleaning robot is developed. The robot body mechanism is designed as a cross-frame motion mechanism to achieve flexible movement in narrow cavities; its adsorption device is designed as a liftable 3*5 vacuum suction cup set to achieve stable adsorption on the vacuum glass surface and the function of crossing obstacles; its cleaning structure is designed as a foldable brush cleaning structure to achieve the cleaning function on the photovoltaic module surface. Based on the kinematic model, the robot motion simulation analysis was completed; the robot prototype was developed, and the adsorption and movement experiments of the robot were carried out. The experimental results show that the robot can achieve stable adsorption and autonomous movement on the vertical wall surface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Category Agnostic Model for Visual Rearrangment

A Category Agnostic Model for Visual Rearrangment

引用

Conference on Computer Vision and Pattern Recognition (CVPR)

作者： Yuyi Liu Xinhang Song Weijie Li Xiaohan Wang Shuqiang Jiang Key Lab of Intelligent Information Processing Laboratory of the Chinese Academy of Sciences (CAS) Institute of Computing Technology Beijing University of Chinese Academy of Sciences Beijing

ISBN: (数字)9798350353006

ISBN: (纸本)9798350353013

This paper presents a novel category agnostic model for visual rearrangement task, which can help an embodied agent to physically recover the shuffled scene configuration without any category concepts to the goal configuration. Previous methods usually follow a similar architecture, completing the rearrangement task by aligning the scene changes of the goal and shuffled configuration, according to the semantic scene graphs. However, constructing scene graphs requires the inference of category labels, which not only causes the accuracy drop of the entire task but also limits the application in real world scenario. In this paper, we delve deep into the essence of visual re-arrangement task and focus on the two most essential issues, scene change detection and scene change matching. We utilize the movement and the protrusion of point cloud to accurately identify the scene changes and match these changes depending on the similarity of category agnostic appearance feature. Moreover, to assist the agent to explore the environment more efficiently and comprehensively, we propose a closer-aligned-retrace exploration policy, aiming to observe more details of the scene at a closer distance. We conduct extensive experiments onAI2THOR Rearrangement Challenge based on RoomR dataset and a new multi-room multi-instance dataset MrMiR collected by us. The experimental results demonstrate the effectiveness of our proposed method.

关键词： Point cloud compression Visualization Computer vision Accuracy Semantics Feature extraction Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：