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

24th Annual Conference on Neural Information Processing Systems 2010, NIPS 2010

作者： Zhang, Yu Yeung, Dit-Yan Xu, Qian Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong Bioengineering Program Hong Kong University of Science and Technology Hong Kong

ISBN: (纸本)9781617823800

Recently, some variants of the l1 norm, particularly matrix norms such as the l1,2 and l 1,∞ norms, have been widely used in multi-task learning, compressed sensing and other related areas to enforce sparsity via joint regularization. In this paper, we unify the l 1,2 and l1,∞ norms by considering a family of l 1,q norms for 1 1,q norm. Based on this probabilistic interpretation, we develop a probabilistic model using the noninformative Jeffreys prior. We also extend the model to learn and exploit more general types of pairwise relationships between tasks. For both versions of the model, we devise expectation-maximization (EM) algorithms to learn all model parameters, including q, automatically. Experiments have been conducted on two cancer classification applications using microarray gene expression data.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Theoretical analysis of security warnings in vehicles and design challenges for the evaluation of security warnings in virtual environments 10

Theoretical analysis of security warnings in vehicles and de...

引用

1st International Workshop on Digital engineering, IWDE 2010

作者： Tuchscheerer, Sven Dittmann, Jana Hoppe, Tobias Krems, Josef F. University of Magdeburg Dep. of Computer Science Multimedia and Security Germany University of Chemnitz Department of Psychology Cognitive and Engineering Psychology Germany

ISBN: (纸本)9781605589923

In this paper, we present an approach for designing security warnings in vehicles for software based security incidents. With this we pursue the goal of reducing safety relevant component failures, which can be caused by manipulated or malicious software. The basis of our work is a theoretical analysis of the correlation of manipulated software (including malware) in automotive systems with the safety relevant failures of system components. We describe the potential of a security warning, which can be presented in time ahead of a traditional safety warning: The latter would only indicate safety-relevant implications that potentially arise later as an implication of the preceding security incident. In this paper we suggest three exemplary icons for a combined security-safety warning. Combined warning means a warning not at the time of a safety-relevant failure but already in the detection of the security-violation (e.g. manipulated software in the vehicle). An essential precondition is a recognition algorithm for such malicious software, which has been examined in previous research like [3]. Based on theoretical analyses, we introduce an exemplary design for the testing of these warnings in a virtual environment, precisely, in a driving simulator. A couple of factors play a central role in such evaluations, such as: perception, reaction of the driver, interpretation of warnings and security awareness. The results can be interpreted in the context of the fundamental aim: the reduction of accidents by security alerts. They thus serve as a recommended course of action for implementation in future vehicles. © 2010 ACM.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

Bounded rational search for on-the-fly model checking of LTL properties

Bounded rational search for on-the-fly model checking of LTL...

引用

3rd IPM International Conference on Fundamentals of Software engineering, Conference, FSEN 2009

作者： Behjati, Razieh Sirjani, Marjan Nili Ahmadabadi, Majid Department of Electrical and Computer Engineering University of Tehran Tehran Iran School of Computer Science Reykjavik University Iceland School of Computer Science Institute for Research in Fundamental Sciences Tehran Iran School of Cognitive Science Institute for Research in Fundamental Sciences Tehran Iran

ISBN: (纸本)3642116221

Model checking is considered as a promising approach for assuring the reliability of concurrent systems. Besides its strength it suffers from the state explosion problem, which reduces its applicability especially when systems grow larger. In this paper we propose a bounded rational verification approach for on-the-fly model checking of LTL properties. We optimize memory usage by increasing the probability of finding counter-examples. Since in on-the-fly model checking we do not have complete knowledge about the model, we use a machine learning method based on interaction and reward receiving. Based on the concept of fairness we propose a heuristic for defining rewards. We also exploit the ideas of probabilistic model checking in order to find a measure of correctness of the system in the case where no violations are found after generating a certain number of runs of the system. The experimental results show that this approach easily outperforms classic model checking approaches. © 2010 Springer.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Sub-fingerprint masking for a robust audio fingerprinting system in a real-noise environment for portable consumer devices

Sub-fingerprint masking for a robust audio fingerprinting sy...

引用

2010 International Conference on Consumer Electronics, ICCE 2010

作者： Son, Wooram Cho, Hyun-Tae Yoon, Kyoungro Program in Radiation Applied Life Science Seoul National University Korea Republic of Department of Computer Science and Engineering Konkuk University Korea Republic of

ISBN: (纸本)9781424443161

The robustness of audio fingerprinting system in a noisy environment is a principal challenge in the area of content-based audio retrieval, especially for use in portable consumer devices. Our new audio fingerprint method using sub-fingerprint masking based on the predominant pitch extraction increases the accuracy of the audio fingerprinting system in a noisy environment dramatically, while requiring much less computing power compared to the expanded hash table lookup method, where the searching complexity increases by the factor of 33 times the degree of expansion. ©2010 IEEE.

关键词： Computing power

来源：评论

学校读者我要写书评

暂无评论

Combining wireless neural recording and video capture for the analysis of natural gait

Combining wireless neural recording and video capture for th...

引用

International IEEE/EMBS Conference on Neural engineering, CNE

作者： Justin D. Foster Oren Freifeld Paul Nuyujukian Stephen I. Ryu Michael J. Black Krishna V. Shenoy Department of Electrical Engineering University of Stanford Stanford CA USA Division of Applied Mathematics Brown University Providence RI USA Bioengineering and Stanford Medical School University of Stanford Stanford CA USA Department of Neurosurgery Palo Alto Medical Foundation Palo Alto CA USA Department of Computer Science Brown University Providence RI USA Max-Planck Institute Tubingen Germany Departments of Electrical Engineering Bioengineering and Neurobiology and the Neurosciences Program University of Stanford Stanford CA USA

Neural control of movement is typically studied in constrained environments where there is a reduced set of possible behaviors. This constraint may unintentionally limit the applicability of findings to the generalized case of unconstrained behavior. We hypothesize that examining the unconstrained state across multiple behavioral contexts will lead to new insights into the neural control of movement and help advance the design of neural prosthetic decode algorithms. However, to pursue electrophysiological studies in such a manner requires a more flexible framework for experimentation. We propose that head-mounted neural recording systems with wireless data transmission, combined with markerless computer-vision based motion tracking, will enable new, less constrained experiments. As a proof-of-concept, we recorded and wirelessly transmitted broadband neural data from 32 electrodes in premotor cortex while acquiring single-camera video of a rhesus macaque walking on a treadmill. We demonstrate the ability to extract behavioral kinematics using an automated computer vision algorithm without use of markers and to predict kinematics from the neural data. Together these advances suggest that a new class of “freely moving monkey” experiments should be possible and should help broaden our understanding of the neural control of movement.

关键词： Animals Kinematics Decoding Neuroscience Synchronization Image segmentation Wireless communication

来源：评论

学校读者我要写书评

暂无评论

The third competition on knowledge engineering for planning and scheduling

引用

AI Magazine 2010年第1期31卷 95-98页

作者： Barták, Roman Fratini, Simone McCluskey, Lee Department of Computer Science Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Cognitive Science and Technology Italian National Research Council Italy Software Technology University of Huddersfield United Kingdom University's School of Computing and Engineering United Kingdom

We report on the staging of the third competition on knowledge engineering for AI planning and scheduling systems, held during ICAPS-09 at Thessaloniki, Greece, in September 2009. We give an overview of how the competition has developed since its first run in 2005 and its relationship with the AI planning field. This run of the competition focused on translators that, when input with some formal description in an application-area-specific language, output solver-ready domain models. Despite a fairly narrow focus within knowledge engineering, seven teams took part in what turned out to be a very interesting and successful competition. Copyright © 2010, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

K, T and D-like fuzzy Kripke models

K, T and D-like fuzzy Kripke models

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Benjamin Bedregal Regivan H. N. Santiago Mario Benevides Petrúcio Viana Group of Logic Language Information Theory and Applications-LoLITA Department of Informatics and Applied Mathematics Federal University of Rio Grande do Norte Natal Rio Grande do Norte Brazil Program of Engineering of Systems and Computing-PESC Department of Computer Science Federal University of Rio de Janeiro Rio de Janeiro Rio de Janeiro Brazil Department of Analysis Fluminense Federal University (UFF) Niteroi Rio de Janeiro Brazil

The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.

关键词： Semantics Fuzzy sets Fuzzy logic Bismuth Electronic mail Uncertainty Reliability

来源：评论

学校读者我要写书评

暂无评论

Classification of ADHD/normal participants using frequency features of ERP's Independent Components

Classification of ADHD/normal participants using frequency f...

引用

17th Iranian Conference in Biomedical engineering, ICBME 2010

作者： Ghassemi, Farnaz Moradi, Mohammad Hassan Tehrani-Doost, Mehdi Abootalebi, Vahid Biomedical Engineering Department Amirkabir University of Technology AUT Tehran Iran Psychiatry Department Tehran University of Medical Science Institute for Cognitive Science Studies ICSS Tehran Iran Electrical and Computer Engineering Department Yazd University Yazd Iran

ISBN: (纸本)9781424474844

This study investigates the Event Related Potentials (ERP) obtained from Independent Components of EEG (ERPIC) while participants performed a sustained attention task. EEG signals were recorded from 50 adult participants including ADHD and normal subjects while performing Continuous Performance Test (CPT). Signals were recorded from 21 Ag/AgCI electrodes according to the international 10-20 standard. Independent Component Analysis (ICA) was used as the processing method. For ERP extraction, average of each group of signals which were time-locked to the onset of stimuli was calculated. Several frequency features were extracted from different ERPICs. High accuracy (92%) was achieved in classification of clinical and non-clinical participants using combination of two features in a K-Nearest Neighbors (KNN) classifier. Nine pairs of features resulted in such accuracy, while most of the best features are related to the power in γ band which is consistent with the previous studies. Regarding the ERP groups, most of the best features are related to wrong answered targets and to time block ERPICs. The results revealed a promising relation between clinical situation of the participants and some parameters of brain independent components which can be used for further evaluations of the sustained attention level. © 2010 IEEE.

关键词： Independent component analysis

来源：评论

学校读者我要写书评

暂无评论

PTZ camera assisted face acquisition, tracking & recognition

PTZ camera assisted face acquisition, tracking & recognition

引用

IEEE International Conference on Biometrics: Theory, Applications and Systems

作者： Choi, Hyun-Cheol Park, Unsang Jain, Anil K. Department of Brain and Cognitive Engineering Korea University Seoul Korea Republic of Department of Computer Science and Engineering Michigan State University E. Lansing MI 48824 United States

ISBN: (纸本)9781424475803

Face recognition systems typically have a rather short operating distance with standoff (distance between the camera and the subject) limited to 1∼2 meters. When these systems are used to capture face images at a larger distance (5∼10 m), the resulting images contain only a small number of pixels on the face region, resulting in a degradation in face recognition performance. To address this problem, we propose a camera system consisting of one PTZ camera and two static cameras to acquire high resolution face images up to a distance of 10 meters. We propose a novel camera calibration method based on the coaxial configuration between the static and PTZ cameras. We also use a linear prediction model and camera control to mitigate delays in image processing and mechanical camera motion. The proposed system has a larger standoff in face image acquisition and effectiveness in face recognition test. Experimental results on video data collected at a distance ranging from 5 to 10 meters of 20 different subjects as probe and 10,020 subjects as gallery shows 96.4% rank-1 identification accuracy of the proposed method compared to 0.1% rank-1 accuracy of the conventional camera system using a state-of-the-art matcher. © 2010 IEEE.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

A biologically and geometrically inspired approach to target extraction from multiple-source remote-sensing imagery

A biologically and geometrically inspired approach to target...

引用

American Society for Photogrammetry and Remote Sensing Annual Conference 2010: Opportunities for Emerging Geospatial Technologies

作者： Yan, Lin Yuan, Jiangye Cheng, Liang Wang, DeLiang Li, Ron Mapping and GIS Laboratory Department of Civil and Environmental Engineering and Geodetic Science Ohio State University Columbus OH 43210-1275 United States Department of Computer Science and Engineering Center for Cognitive Science Ohio State University Columbus OH 43210-1275 United States

ISBN: (纸本)9781617389160

This paper presents the research results on the integration approach using a biologically inspired algorithm (LEGION) and a geometrically-inspired method (GAC) for target extraction from multiple-source remote-sensing imageries, specifically EO-1 Hyperion hyperspectral (30-meter resolution), and IKONOS multispectral (4-meter resolution) images. An automatic road-extraction algorithm based on LEGION (Locally Excitatory Globally Inhibitory Oscillator Networks, a neurocomputational framework for image segmentation) was developed to extract main roads from EO-1 Hyperion imagery. A region-based geometric/geodesic active contour (GAC) which adopts Euclidean distance as the basic energy metric was used to perform target extraction from both the EO-1 Hyperion and IKONOS multispectral images. The candidate targets including roads detected on the EO-1 imagery were projected onto the IKONOS imagery and used as prior knowledge for target extraction. Experimental results show that this approach reduced the computational complexity on the IKONOS imagery. Also, the use of the LEGION-based road-extraction algorithm increased the probability that major roads would be distinguished from other objects that are made of similar materials.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：