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 scalab...
详细信息
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.
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 soluti...
详细信息
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.
Dear Author,Let me kindly inform you that the 2nd internationalconference on progress in informatics and computing(PIC-2014)will be held in Shanghai,China,May 16—18,*** steering committee cordially invites you to ...
详细信息
Dear Author,Let me kindly inform you that the 2nd internationalconference 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.
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 biologica...
详细信息
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.
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...
详细信息
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, ...
详细信息
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 updat...
详细信息
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 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 i...
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.
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 i...
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.
暂无评论