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

ieee international conference on Robotics and Biomimetics

作者： Shashank Srinivas Ramtin Kermani Kangjin Kim Yoshihiro Kobayashi Georgios Fainekos School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA

ISBN: (纸本)9781479927456

Linear Temporal Logic (LTL) has recently become a popular high-level specification language for robotic applications. One of the main reasons for the adoption of LTL is that LTL control synthesis algorithms are scalable while providing sufficient expressive power for a range of applications. However, despite the recent progress, one challenge remains. How can a non-expert robot user, who is not a logician, provide mission and motion plans for multiple robots in LTL? In this paper, we propose a graphical specification environment for LTL specifications that utilizes touchscreen technologies. We demonstrate that the graphical interface can express all the properties of interest that have appeared in the literature.

关键词： Visualization Planning User interfaces Androids Humanoid robots Semantics

来源：评论

学校读者我要写书评

暂无评论

CAN FEATURE-BASED INDUCTIVE TRANSFER LEARNING HELP PERSON RE-IDENTIFICATION?

CAN FEATURE-BASED INDUCTIVE TRANSFER LEARNING HELP PERSON RE...

引用

ieee international conference on Image Processing

作者： Yang Wu Wei Li Michihiko Minoh Masayuki Mukunoki Academic Center for Computing and Media Studies Kyoto University Kyoto 606-8501 Japan Department of Intelligence Science and Technology Graduate School of Informatics Kyoto University

ISBN: (纸本)9781479923427

Person re-identification concerns about the problem of recognizing people across space (captured by different cameras) and/or over time gaps. Though recently the literature on it grows rapidly, all the proposed solutions have treated it as a normal classification or ranking problem. In this paper, however, we argue that it is in fact a natural transfer learning problem, thus it's valuable and also necessary to investigate how the progress on transfer learning could benefit the research on it. We present so far the first study on justifying the effectiveness of a representative transfer learning methodology: feature-based inductive transfer learning, for person re-identification. Extensive experiments on standard datasets with typical methods result in several important findings.

关键词： Person re-identification transfer learning inductive transfer learning feature mapping Transfer (Psychology) feature map Persons NUCLEOPORIN, 214-KD calcium ammonium nitrate

来源：评论

学校读者我要写书评

暂无评论

2014年信息学与计算国际会议(英文)

引用

智能系统学报 2013年第5期8卷 471-471页

Dear Author,Let me kindly inform you that the 2nd international conference on progress in informatics and computing（PIC-2014）will be held in Shanghai,China,May 16—18,*** steering committee cordially invites you to submit a paper to the PIC-2014 *** deadline for paper submission is scheduled for Jan 10,*** submissions should be written in *** conference is sponsored by the ieee society,co-organized by Shanghai Jiao Tong University and Donghua University.

关键词：国际会议信息学计算 ieee be is

来源：评论

学校读者我要写书评

暂无评论

Hyperbolic Harmonic Mapping for Constrained Brain Surface Registration

Hyperbolic Harmonic Mapping for Constrained Brain Surface Re...

引用

ieee conference on Computer Vision and Pattern Recognition

作者： Rui Shi Wei Zeng Zhengyu Su Hanna Damasio Zhonglin Lu Yalin Wang Shing-Tung Yau Xianfeng Gu Department of Computer Science Stony Brook University School of Computing & Information Sciences Florida International University Neuroscience University of Southern California Department of Psychology Ohio State University School of Computing Informatics and Decision Systems Engineering Arizona State University Mathematics Department Harvard University

ISBN: (纸本)9781467364102

Automatic computation of surface correspondence via harmonic map is an active research field in computer vision, computer graphics and computational geometry. It may help document and understand physical and biological phenomena and also has broad applications in biometrics, medical imaging and motion capture. Although numerous studies have been devoted to harmonic map research, limited progress has been made to compute a diffeomorphic harmonic map on general topology surfaces with landmark constraints. This work conquer this problem by changing the Riemannian metric on the target surface to a hyperbolic metric, so that the harmonic mapping is guaranteed to be a diffeomorphism under landmark constraints. The computational algorithms are based on the Ricci flow method and the method is general and robust. We apply our algorithm to study constrained human brain surface registration problem. Experimental results demonstrate that, by changing the Riemannian metric, the registrations are always diffeomorphic, and achieve relative high performance when evaluated with some popular cortical surface registration evaluation standards.

关键词： Registration harmonics surface of brain automatic calculation MAPPING(MATHEMATICAL) Biological Phenomena Diffeomorphism motion capture Computational geometry Hyperbolic Metric Metronidazole

来源：评论

学校读者我要写书评

暂无评论

Privacy protection in sharing personal genome sequencing data

Privacy protection in sharing personal genome sequencing dat...

引用

2012 ieee 2nd conference on Healthcare informatics, Imaging and Systems Biology, HISB 2012

作者： Wang, XiaoFeng Tang, Haixu School of Informatics and Computing Indiana University Bloomington IN United States

ISBN: (纸本)9780769549217

The past few years has witnessed rapid development in human genome research, thanking to the advance in the Next Generation Sequencing (NGS) technologies. New technologies for large-scale meta-analysis on genomic data continue to be developed, enabling the application of human genome research to clinical diagnosis and therapy. However, further progress in this area has been increasingly impeded by the constraints in accessing sequencing data, due in part to privacy concerns involved in data sharing. To address the privacy issues in human genome research, we propose a data analysis model that allows biomedical researchers and healthcare practitioners to use the sensitive genomic data that cannot be directly released in an efficient fashion, through the computing service over the data (instead of direct access to the data) provided by a large data center. © 2012 ieee.

关键词： Clinical research

来源：评论

学校读者我要写书评

暂无评论

Design of a cognitive user-support system for skin progress analysis using a smart phone

Design of a cognitive user-support system for skin progress ...

引用

11th ieee international conference on Cognitive informatics and Cognitive computing, ICCI*CC 2012

作者： Nishiyama, Hiroyuki Mizoguchi, Fumio Faculty of Sci. and Tech. Tokyo University of Science Yamazaki 2641 Noda-shi Chiba 278-8510 Japan WisdomTex Co. Ltd. 1-17-3 Meguro-ku Meguro Tokyo 153-0063 Japan

ISBN: (纸本)9781467327930

In this study, we design a user-support system employing a smart phone for skin progress analysis. Our proposed system seeks to provide user support for a skin diagnostic service employing a smart phone's camera, with the user's photograph of a skin image and continuous diagnosis of the photographed area. The cognitive user-support module recognizes the processing and the user operation of the smart phone, and transmits advice on the operation to the user in real time, via voice or text messages. In addition, the cognitive user-support module can recommend contents suitable for the user, based on the user's past situation. In the skin diagnostic service, our system provides the user with auto photography when the picture is taken, by recognizing the user's situation and guiding the user via voice or text message. Our system can recommend the skin area that was used for the last diagnostic service in order to perform continuous skin diagnosis. Using our system, the user can easily take a suitable skin picture and observe the skin care progress, so that in an esthetic room, the user and beauty therapist can verify the esthetic effect by viewing the pictures taken before and after treatment. © 2012 ieee.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

A combined approach for feature driven user interface prototyping

A combined approach for feature driven user interface protot...

引用

2012 ieee international conference on Pervasive computing and Communications Workshops, PERCOM Workshops 2012

作者： Tschernuth, Michael Buchmayr, Mario Lettner, Michael Lettner, Florian School of Informatics/Communications/Media Upper Austria University of Applied Sciences Hagenberg Austria Research Center Hagenberg Austria

ISBN: (纸本)9781467309073

In the past years pervasive devices, especially mobile phones, have increased in complexity. Particularly the proliferation of features is tough to handle, not least because new features might require a hardware update or conflict with existing features. In order to overcome these issues we propose an approach which tackles the problem at an early development phase by increasing the semantic requirement specification. This work in progress paper proposes an idea where two methodologies for describing a system during the specification phase are combined to complement each other to improve the software development process of mobile phones, allowing to detect if required features are included in the user interface definition. © 2012 ieee.

关键词： Cellular telephones

来源：评论

学校读者我要写书评

暂无评论

Designing remastering software for rural digital learning in Indonesia

Designing remastering software for rural digital learning in...

引用

international conference on Cloud computing and Social Networking 2012: "Cloud computing and Social Networking for Smart and Productive Society", ICCCSN 2012

作者： Siregar, Kris Derril Bandung, Y. School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia

ISBN: (纸本)9781467318167

This paper describes a software design that can help system engineer remastering an Ubuntu Linux distribution. The software will be used to create recovery media for rural digital learning implementations in Indonesia. The remastering product contains preinstalled multimedia software for distance learning;furthermore, it is Live-CD Linux type and it can do unattended installation. This software offers customizable operating system configuration with wizard-type user interface design. Users can choose and pick a list of software that will be included in installation media from dropdown boxes and checkboxes. Remastering process will be executed by batch process and users can see its progress in a progress bar. In comparison with manual remastering by terminal command or using available software, this software has advantages that it provides simple and intuitive graphical user interface and the content is designed for digital learning in Indonesia. © 2012 ieee.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2010 ieee international conference on progress in informatics and computing, PIC 2010

Proceedings of the 2010 IEEE International Conference on Pro...

引用

2010 1st ieee international conference on progress in informatics and computing, PIC 2010

ISBN: (纸本)9781424467860

The proceedings contain 279 papers. The topics discussed include: a simple robot paths planning based on Quadtree;simulation experiment of continuous double auction stock market based on multi-agent model;minimizing influence of ontology evolution in ontology-based data access system;remotely sensed data processing task scheduling based on limited concentration model;incorporating medical history to cost sensitive classification with lazy learning strategy;local vs global energy minimization methods: application to stereo matching;generating process model from feature-based design model for surface micromachining device;grid generation based on stress balance;automatic generation of geometric base sequences;Farsi license plate detection based on element analysis in complex images;mesh-guided texture replacement using intrinsic images;optimal viewpoint selection for volume rendering based on shuffled frog leaping algorithm;a preliminary framework for geometric basis computing pattern;innovative CG content production through advanced APE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 2010 ieee international conference on progress in informatics and computing, PIC 2010

Proceedings of the 2010 IEEE International Conference on Pro...

引用

2010 1st ieee international conference on progress in informatics and computing, PIC 2010

ISBN: (纸本)9781424467860

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：