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

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Toby Jia-Jun Li Igor Labutov Xiaohan Nancy Li Xiaoyi Zhang Wenze Shi Wanling Ding Tom M. Mitchell Brad A. Myers HCI Institute Machine Learning Dept. Computer Science Dept. Computer Science &Engineering University of Washington Seattle WA USA Information Systems Dept. Carnegie Mellon University Pittsburgh PA USA

A key challenge for generalizing programming-by-demonstration (PBD) scripts is the data description problem - when a user demonstrates performing an action, the system needs to determine features for describing this action and the target object in a way that can reflect the user's intention for the action. However, prior approaches for creating data descriptions in PBD systems.have problems with usability, applicability, feasibility, transparency and/or user control. Our APPINITE system introduces a multimodal interface with which users can specify data descriptions verbally using natural language instructions. APPINITE guides users to describe their intentions for the demonstrated actions through mixed-initiative conversations. APPINITE constructs data descriptions for these actions from the natural language instructions. Our evaluation showed that APPINITE is easy-to-use and effective in creating scripts for tasks that would otherwise be difficult to create with prior PBD systems. due to ambiguous data descriptions in demonstrations on GUIs.

关键词： Task analysis Natural languages Programming Graphical user interfaces Semantics Automation Visualization

来源：评论

学校读者我要写书评

暂无评论

SAR-Based Indoor Localization of UHF-RFID Tags via Mobile Robot

SAR-Based Indoor Localization of UHF-RFID Tags via Mobile Ro...

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Andrea Motroni Paolo Nepa Valerio Magnago Alice Buffi Bernardo Tellini Daniele Fontanelli David Macii Dept. Information Engineering University of Pisa Pisa Italy Dept. Information Engineering and Computer Science University of Trento Trento Italy Dept. Energy Systems Territory and Constructions Engineering University of Pisa Pisa Italy Dept. Industrial Engineering University of Trento Trento Italy

This paper presents a localization method exploiting a mobile robot equipped with an Ultra High Frequency Radio Frequency IDentification (UHF-RFID) reader to locate stationary tags in warehouse scenarios. The measurement method is based on the Synthetic Aperture Radar (SAR) approach and the robot trajectory knowledge is achieved through a calibrated vision-based system suitable for indoor environments. The technique capability is demonstrated through an experimental analysis employing commercial UHF-RFID hardware and a wheeled robot. Localization accuracy is evaluated on the field by using a calibrated vision system, used to both locate the robotic vehicle and the tags when detected.

关键词： Radiofrequency identification Antennas Antenna measurements Trajectory Mobile robots Position measurement

来源：评论

学校读者我要写书评

暂无评论

FCLAB: An EEGLAB module for performing functional connectivity analysis on single-subject EEG data

FCLAB: An EEGLAB module for performing functional connectivi...

引用

2018 IEEE EMBS International Conference on Biomedical and Health Informatics, BHI 2018

作者： Pezoulas, Vasileios C. Athanasiou, Alkinoos Nolte, Guido Zervakis, Michalis Fratini, Antonio Fotiadis, Dimitrios I. Klados, Manousos A. Unit of Medical Technology and Intelligent Information Systems Dept. of Materials Science and Engineering University of Ioannina Ioannina45112 Greece Lab of Medical Physics Faculty of Medicine School of Health Sciences Aristotle University of Thessaloniki Thessaloniki54124 Greece Dept. of Neurophysiology and Pathophysiology University Medical Center Hamburg-Eppendorf Hamburg Germany School of Electrical and Computer Engineering Technical University of Crete Chania73100 Greece Dept. of Biomedical Engineering School of Life and Health Sciences Aston University Aston United Kingdom

ISBN: (纸本)9781538624050

Functional connectivity (FC) analysis constitutes a fundamental neuroscientific approach that has been extensively used for the investigation of brain's connectivity and activation patterns. To that end, several software tools have been developed. This paper presents FCLAB, the only EEGLAB-based plugin, which is able to work with EEG signals in order to estimate and visualize brain functional connectivity networks based on a variety of similarity measures as well as run a complete graph analysis procedure followed by a detailed visualization of the ensuing local and global measures distribution. FCLAB entails optimization procedures for the implementation of the connectivity structures and is the result of long-term research in EEG functional connectivity. The computed functional connectivity measures have been carefully selected to reflect the state-of-art in the field. Future work focuses on extending the platform for multi-subject analysis in order to enable the implementation of statistical analysis tools. © 2018 IEEE.

关键词： Neurophysiology

来源：评论

学校读者我要写书评

暂无评论

PRESGen: A fully automatic equivalence checker for validating optimizing and parallelizing transformations

PRESGen: A fully automatic equivalence checker for validatin...

引用

2017 Workshop on Software engineering Methods for Parallel and High Performance Applications, SEM4HPC 2017

作者： Bandyopadhyay, Soumyadip Banerjee, Kunal Dept. of Computer Science and Information Systems Birla Institute of Technology and Science K K Birla Goa Campus Pilani India Indian Institute of Technology Dept. of Computer Science and Engineering India

来源：评论

学校读者我要写书评

暂无评论

Natural Language Interfaces to Domain Specific Knowledge Bases: An Illustration for Querying Elements of the Periodic Table

Natural Language Interfaces to Domain Specific Knowledge Bas...

引用

IEEE International Conference on Cognitive Informatics

作者： Mukesh Kumar Rohil Rohan Kumar Rohil Divyesakshi Rohil Anurag Runthala Dept. of Computer Science and Information Systems Birla Institute of Technology and Science Pilani Pilani India Department of Mathematics Birla Institute of Technology and Science Pilani Pilani India Department of Chemistry Birla Institute of Technology and Science Pilani Pilani India Dept. of Data Protection and Governance Engineering Veritas Technologies LLC Mountain View USA

ISBN: (纸本)9781538633618

The task of providing Natural Language Interface (NLI) to any domain specific knowledge base is much demanding despite (potentially) favorable factors like low volume of vocabulary, unambiguous and precise meaning of words, less number of relations among the entities, etc. The simplification of this task has been proposed and presented in this research. The authors have made a successful effort to develop an NLI system to answer the user's simple queries (in English) about the properties of chemical elements and their grouping in the Periodic Table. Adding to the ease, the user is not required to know anything about the structure of the knowledge base of the elements, since the software is implemented (using Logic Programming constructs) in Prolog wherein program and data are treated indistinguishably. Firstly, the system accepts a query and subsequently, it can analyze and understand the query, if the query contains all words within the domain specific vocabulary. Finally, it efficiently searches the knowledge base to answer the query, by reducing search space using artificial intelligence techniques (like symbolic manipulation). If the query is not understood by the system, it reports to the user the words not available in the knowledge base and the particular relations among the entities which could not be set. The knowledge base (~150 KB) contains the properties of chemical elements, their arrangement in Periodic Table and the inter-relationships among these properties. In a nutshell, the research suggests that to develop an NLI to a domain specific knowledge base, it is better to develop a parser capable of handling the entities and their interrelationships as understood in the domain; hence, only little is to be coded for the various grammars, languages, transition networks, etc.

关键词： Natural language processing Knowledge based systems Handheld computers Cognitive informatics Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Learn2Reg: comprehensive multi-task medical image registration challenge, dataset and evaluation in the era of deep learning

arXiv

引用

arXiv 2021年

作者： Hering, Alessa Hansen, Lasse Mok, Tony C.W. Chung, Albert C.S. Siebert, Hanna Häger, Stephanie Lange, Annkristin Kuckertz, Sven Heldmann, Stefan Shao, Wei Vesal, Sulaiman Rusu, Mirabela Sonn, Geoffrey Estienne, Théo Vakalopoulou, Maria Han, Luyi Huang, Yunzhi Yap, Pew-Thian Brudfors, Mikael Balbastre, Yaël Joutard, Samuel Modat, Marc Lifshitz, Gal Raviv, Dan Lv, Jinxin Li, Qiang Jaouen, Vincent Visvikis, Dimitris Fourcade, Constance Rubeaux, Mathieu Pan, Wentao Xu, Zhe Jian, Bailiang De Benetti, Francesca Wodzinski, Marek Gunnarsson, Niklas Sjölund, Jens Grzech, Daniel Qiu, Huaqi Li, Zeju Thorley, Alexander Duan, Jinming Großbröhmer, Christoph Hoopes, Andrew Reinertsen, Ingerid Xiao, Yiming Landman, Bennett Huo, Yuankai Murphy, Keelin Lessmann, Nikolas van Ginneken, Bram Dalca, Adrian V. Heinrich, Mattias P. Institute of Medical Informatics Universität zu Lübeck Ratzeburger Allee 160 Lübeck23562 Germany Fraunhofer MEVIS Institute for Digital Medicine Lübeck23562 Germany Department of Radiology and Nuclear Medicine Radboud University Medical Center GA Nijmegen6525 Netherlands The Institute of Medical Informatics Universität zu Lübeck Lübeck23562 Germany The Department of Computer Science and Engineering The Hong Kong University of Science and Technology Hong Kong The Fraunhofer MEVIS Institute for Digital Medicine Lübeck23562 Germany The Department of Radiology Stanford University StanfordCA94305 United States The Department of Urology Stanford University StanfordCA94305 United States The Université Paris-Saclay CentraleSupélec Mathématiques et Informatique pour la Complexité et les Systèmes Inria Saclay Gif-sur-Yvette 91190 France Université Paris-Saclay Institut Gustave Roussy Inserm Radiothérapie Moléculaire et Innovation Thérapeutique Villejuif94800 France The Université Paris-Saclay CentraleSupélec Mathématiques et Informatique pour la Complexité et les Systèmes Inria Saclay Gif-sur-Yvette91190 France The Department of Radiology and Nuclear Medicine Radboud University Medical Center Nijmegen6525 GA Netherlands The School of Automation Nanjing University of Information Science and Technology Nanjing210044 China The School of Biomedical Engineering and Imaging Sciences King’s College London London United Kingdom The Athinoula A. Martinos Center for Biomedical Imaging Massachusetts General Hospital United States Harvard Medical School Boston United States The King’s College London United Kingdom The Tel Aviv University The Britton Chance Center for Biomedical Photonics Wuhan National Laboratory for Optoelectronics-Huazhong University of Science and Technology Hubei Wuhan430074 China MoE Key Laboratory for Biomedical Photonics Collaborative Innovation Center for Biomedical Engineering School of Engineering Sciences Huazhong University of Sci

Image registration is a fundamental medical image analysis task, and a wide variety of approaches have been proposed. However, only a few studies have comprehensively compared medical image registration approaches on a wide range of clinically relevant tasks. This limits the development of registration methods, the adoption of research advances into practice, and a fair benchmark across competing approaches. The Learn2Reg challenge addresses these limitations by providing a multi-task medical image registration data set for comprehensive characterisation of deformable registration algorithms. A continuous evaluation will be possible at https://***. Learn2Reg covers a wide range of anatomies (brain, abdomen, and thorax), modalities (ultrasound, CT, MR), availability of annotations, as well as intra- and inter-patient registration evaluation. We established an easily accessible framework for training and validation of 3D registration methods, which enabled the compilation of results of over 65 individual method submissions from more than 20 unique teams. We used a complementary set of metrics, including robustness, accuracy, plausibility, and runtime, enabling unique insight into the current state-of-the-art of medical image registration. This paper describes datasets, tasks, evaluation methods and results of the challenge, as well as results of further analysis of transferability to new datasets, the importance of label supervision, and resulting bias. While no single approach worked best across all tasks, many methodological aspects could be identified that push the performance of medical image registration to new state-of-the-art performance. Furthermore, we demystified the common belief that conventional registration methods have to be much slower than deep-learning-based methods. © 2021, CC BY.

关键词： Image registration

来源：评论

学校读者我要写书评

暂无评论

A Beam De-Broadening Algorithm for Atmospheric Radar

A Beam De-Broadening Algorithm for Atmospheric Radar

引用

International Seminar/Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED)

作者： Koji Nishimura Masashi Kohma Kaoru Sato Toru Sato Research Organization of Information and Systems National Institute of Polar Research Tachikawa Japan Dept. of Earth and Planetary Science The University of Tokyo Tokyo Japan Dept. of Communications and Computer Engineering Kyoto University Kyoto Japan

ISBN: (纸本)9781538661178

Measuring the variance of the velocity of atmosphere σ turb 2 , which is proportionally linked to the energy dissipation rate, is a common role given to MST radar. However, the spectral width σ obs 2 , which is directly observable with a radar, contains not only the contribution from turbulence itself but also some measurement biases. Among them, beam broadening σ beam 2 , which is the projected components of the mean wind velocity to the off-center sensitivity of the radar beam, is the major factor. A number of studies have been conducted to evaluate the beam broadening under an assumption that the antenna beam is conical and well defined by its beam width. However, this assumption is not applicable to nonstandard radar configurations that have distributed or asymmetric antenna array and thereby resulting asymmetric beampatterns. We present a comprehensive mathematical theory and practical algorithm to evaluate σ beam 2 that is applicable to any antenna structure.

关键词： Radar antennas Correlation Acoustic beams Radar measurements Scattering Antenna arrays

来源：评论

学校读者我要写书评

暂无评论

Towards Self-Explaining Digital systems. A Design Methodology for the Next Generation

Towards Self-Explaining Digital Systems: A Design Methodolog...

引用

IEEE International Verification and Security Workshop (IVSW)

作者： Rolf Drechsler Christoph Lüth Goerschwin Fey Tim Güneysu Dept. Mathematics and Computer Science University of Bremen Bremen Germany Hamburg University of Technology (TUHH) Institute of Embedded Systems Hamburg Germany Dept. Electrical Engineering & Information Technology Ruhr-Universiat Bochum Bochum Germany

As digital systems.get ever more complex, their behaviour may at times appear unfathomable. Users will only be prepared to accept this if they are convinced that the system does indeed work correctly. Thus, we argue the need for self-explaining systems. systems.that are able to explain their behaviour, and the reasons for it. In this paper, we propose first steps towards a design methodology for such systems. and argue that beyond user acceptance, self-explanation also has other applications such as self-verification and reconfiguration. We propose a conceptual framework for self-explaining systems. discuss how to achieve completeness, and consider implementation aspects.

关键词： Runtime Safety Security Manipulators Temperature sensors

来源：评论

学校读者我要写书评

暂无评论

Syncgan: Synchronize the Latent Spaces of Cross-Modal Generative Adversarial Networks

Syncgan: Synchronize the Latent Spaces of Cross-Modal Genera...

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： Wen-Cheng Chen Chien-Wen Chen Min-Chun Hu Dept. of Computer Science and Information Engineering National Cheng Kung University Taiwan Graduate Program of Multimedia Systems and Intelligent Computing National Cheng Kung University and Academia Sinica Taiwan

Generative adversarial network (GAN) has achieved impressive success on cross-domain generation, but it faces difficulty in cross-modal generation due to the lack of a common distribution between heterogeneous data. Most existing methods of conditional based cross-modal GANs adopt the strategy of one-directional transfer and have achieved preliminary success on text-to-image transfer. Instead of learning the transfer between different modalities, we aim to learn a synchronous latent space representing the cross-modal common concept. A novel network component named synchronizer is proposed in this work to judge whether the paired data is synchronous/corresponding or not, which can constrain the latent space of generators in the GANs. Our GAN model, named as SyncGAN, can successfully generate synchronous data (e.g., a pair of image and sound) from identical random noise. For transforming data from one modality to another, we recover the latent code by inverting the mappings of a generator and use it to generate data of different modality. In addition, the proposed model can achieve semi-supervised learning, which makes our model more flexible for practical applications.

关键词： Synchronization Gallium nitride Generators Data models Training Generative adversarial networks Training data

来源：评论

学校读者我要写书评

暂无评论

Granger causality on horizontal sum of Boolean algebras

arXiv

引用

arXiv 2018年

作者： Bohdalová, Mária Kalina, Martin Nánásiová, Olga Dept. of Inf. Systems Faculty of Management Comenius University Bratislava Dept. of Mathematics Faculty of Civil Engineering Slovak University of Technology Bratislava Institute of Computer Science and Mathematics Faculty of Electrical Engineering and Information Technology Slovak University of Technology Bratislava

The intention of this paper is to discuss the mathematical model of causality introduced by C.W.J. Granger in 1969. The Granger's model of causality has become well-known and often used in various econometric models describing causal systems. e.g., between commodity prices and exchange rates. Our paper presents a new mathematical model of causality between two measured objects. We have slightly modified the well-known Kol-mogorovian probability model. In particular, we use the horizontal sum of set σ-algebras instead of their direct *** Codes 03G12, 06C15, 81P10 Copyright © 2018, The Authors. All rights reserved.

关键词： Statistical tests

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：