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

5th International Conference on Signal-Image Technology and Internet-Based systems, SITIS 2009

作者： Sakurai, Yoshitaka Kinshuk Graf, Sabine Zarypolla, Ardah Takada, Kouhei Knauf, Rainer Tsuruta, Setsuo School of Information Environment Tokyo Denki University Japan School of Computing and Information Systems Athabasca University Canada Faculty of Computer Science and Automation University of Ilmenau Ilmenau Germany

ISBN: (纸本)9780769539591

Due to the geographical distribution, different cognitive capacity, and different domain competency of workers or learners, many misunderstandings can occur during Web based remote collaboration, leading to inefficient discussions and undesired results. To overcome these problems, a "Multimedia adaptive utilization" framework for dependable web based collaboration is proposed and evaluated. This assesses situations of remote users through fusing information of multiple biological sensors and the related contexts such as user profiles. Transmitting and using such information, the system adaptively supports Web based remote collaboration by stressing, warning, and presenting keywords/ summaries in multimedia. Then, effects of adaptive keyword/summary presentation are evaluated as to cognitive profiles of users such as short term memory capacity and associative learning skills when misunderstanding possibilities are estimated on the Web. These evaluations totally demonstrate the feasibility and usefulness of the proposed method. © 2009 IEEE.

关键词： Geographical distribution

来源：评论

学校读者我要写书评

暂无评论

Adaptive burst detection in a stream engine 09

Adaptive burst detection in a stream engine

引用

24th Annual ACM Symposium on Applied Computing, SAC 2009

作者： Karnstedt, Marcel Klan, Daniel Pölitz, Christian Sattler, Kai-Uwe Franke, Conny Department of Computer Science and Automation Ilmenau University of Technology Germany Databases and Information Systems Group University of California Davis CA United States

ISBN: (纸本)9781605581668

Detecting bursts in data streams is an important and challenging task. Due to the complexity of this task, usually burst detection cannot be formulated using standard query operators. Therefore, we show how to integrate burst detection for stationary as well as non-stationary data into query formulation and processing, from the language level to the operator level. Afterwards, we present fundamentals of threshold-based burst detection. We focus on the applicability of time series forecasting techniques in order to dynamically identify suitable thresholds for stream data containing arbitrary trends and periods. The proposed approach is evaluated with respect to quality and performance on synthetic and real-world sensor data using a full-fledged DSMS. Copyright 2009 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formation of attribute spaces using wavelets in automatic classification of explosives 08

Formation of attribute spaces using wavelets in automatic cl...

引用

9th International Conference on computer systems and Technologies and Workshop for PhD Students in Computing, CompSysTech'08

作者： Shopov, Nikolai Ilarionov, Rajcho Simeonov, Ivan Kilifarev, Hristo Department of Automatics Information and Control Technique University of Food Technologies-Plovdiv Bulgaria Department of Computer Systems and Technologies Technical University of Gabrovo Bulgaria Department of Automation Information and Control Systems Technical University of Gabrovo Bulgaria

ISBN: (纸本)9789549641523

The non-contact automatic on-line classification of explosives is a multi-aspect task. It involves choosing the method of information gathering, planning and conduction of experiments, choosing a classifier, formation of training and control samples, synthesis and reduction of recognition attributes, etc. This paper presents the results of conducted experiments for non-contact ultrasonic information gathering, formation of attribute spaces by means of wavelet transformations and an automatic classification of explosives.

关键词： Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

Kernel-Bayesian framework for object tracking

引用

8th Asian Conference on computer Vision, ACCV 2007

作者： Zhang, Xiaoqin Hu, Weiming Luo, Guan Maybank, Steve National Laboratory of Pattern Recognition Institute of Automation Beijing China School of Computer Science and Information Systems Birkbeck College London United Kingdom

ISBN: (纸本)9783540763857

This paper proposes a general Kernel-Bayesian framework for object tracking. In this framework, the kernel based method-mean shift algorithm is embedded into the Bayesian framework seamlessly to provide a heuristic prior information to the state transition model, aiming at effectively alleviating the heavy computational load and avoiding sample degeneracy suffered by the conventional Bayesian trackers. Moreover, the tracked object is characterized by a spatial-constraint MOG (Mixture of Gaussians) based appearance model, which is shown more discriminative than the traditional MOG based appearance model. Meantime, a novel selective updating technique for the appearance model is developed to accommodate the changes in both appearance and illumination. Experimental results demonstrate that, compared with Bayesian and kernel based tracking frameworks, the proposed algorithm is more efficient and effective. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Object recognition

来源：评论

学校读者我要写书评

暂无评论

Meticulous measurement of control packets in SDN

Meticulous measurement of control packets in SDN

引用

2017 Symposium on SDN Research, SOSR 2017

作者： Sinha, Yash Vashishth, Shikhar Haribabu, K. Dept. of Computer Science and Information Systems Birla Institute of Technology and Science Pilani India Dept. of Computer Science and Automation Indian Institute of Science Bangalore India

ISBN: (纸本)9781450349475

The data packet statistics sent by OpenFlow compliant switches cumulatively includes statistics about control traffic which is used for network control and management. This reduces the accuracy of calculation of QoS metrics and thus hampers network monitoring. We present here a novel algorithm to accurately measure the fraction of control packets in SDN within 3% error rate. © 2017 ACM.

关键词： Packet networks

来源：评论

学校读者我要写书评

暂无评论

Parallel saturation based model checking

Parallel saturation based model checking

引用

2011 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011

作者： Voros, András Szabo, Tamás Jámbor, Attila Darvas, Dániel Horváth, Akos Bartha, Tamás Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9780769545400

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. In this paper, we examine an existing parallel model checking algorithm and we propose improvements to eliminate some computational bottlenecks. Our measurements show that the resulting new algorithm has better scalability and performance than both the former parallel approach and the sequential algorithm. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Single voice command recognition by finite element analysis 13

Single voice command recognition by finite element analysis

引用

13th International Conference on information Technology Based Higher Education and Training, ITHET 2014

作者： Todorov, T.D. Tsanev, G.S. Yordanov, S.Y. Department of Mathematics Technical University Gabrovo Bulgaria Department of Computer Systems and Technology Technical University Gabrovo Bulgaria Department of Automation Information and Control Systems Technical University Gabrovo Bulgaria

ISBN: (纸本)9781467367301

The paper deals with voice recognition systems. A new finite element signal processing method is obtained. Each input signal is processed by a particular frequency. Most authors analyse the cepstral coefficients in their classifiers. The logarithmic energy vector is used for recognising the input signal in the present paper. A new finite element criteria for closeness between voice commands and preliminary stored patterns is introduced. For this purpose a new Quasi-Hermite interpolation operator is obtained. The new ideas are computer implemented. Real life tests supporting the considered theory have been carried out. © 2014 IEEE.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

Automating CPPSs Analyses with SysML v2 and Lingua Franca in the Context of Industry 4.0 50

Automating CPPSs Analyses with SysML v2 and Lingua Franca in...

引用

50th Annual Conference of the IEEE Industrial Electronics Society, IECON 2024

作者： Gaiardelli, Sebastiano Wilch, Jan Fummi, Franco Vogel-Heuser, Birgit Industrial Computer Engineering Laboratory Department of Engineering for Innovation Medicine University of Verona Italy Institute of Automation and Information Systems Technical University of Munich Germany

ISBN: (纸本)9781665464543

The design of manufacturing systems requires exploring diverse component configurations for one that best satisfies the requirements of the target system. At the same time, manufacturing systems evolve continuously, increasing their complexity and that of the production line in which they are installed. Model-based System Engineering (MBSE) methodologies and modeling languages like System Modeling Language (SysML) are used to assist system engineers during the entire design process. Yet, MBSE methodologies mainly rely on manually composed models for requirements verification, incurring enormous cost and effort especially in larger, more complex systems. This paper proposes a methodology exploiting the knowledge enclosed in a SysML model to automate the execution of a set of analyses defined over the represented manufacturing system. The proposed approach relies on Lingua Franca (LF) to simulate the specified analysis and analyze the results. Moreover, the methodology supports chains of analyses to represent dependent requirements and tradeoffs imposed upon a manufacturing system. The proposed methodology has been evaluated on a manufacturing system demonstrator. Results show the proposed methodology’s applicability and scalability on diverse configurations of the manufacturing system. © 2024 IEEE.

关键词： Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Bounded saturation based CTL model checking

Bounded saturation based CTL model checking

引用

12th Symposium on Programming Languages and Software Tools, SPLST 2011

作者： Vörös, András Darvas, Dániel Bartha, Tamás Dept. of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9789949231782

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. In this paper, we examine how the combination of two advanced model checking algorithms - namely bounded saturation and saturation based structural model checking - can be used to verify systems. Our work is the first attempt to combine these approaches, and this way we are able to handle and examine complex or even infinite state systems.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Fusing R Features and Local Features with Context-Aware Kernels for Action Recognition

引用

International Journal of computer Vision 2016年第2期118卷 151-171页

作者： Yuan, Chunfeng Wu, Baoxin Li, Xi Hu, Weiming Maybank, Stephen Wang, Fangshi National Laboratory of Pattern Recognition Institute of Automation CAS Beijing China College of Computer Science and Technology Zhejiang University Hangzhou China Department of Computer Science and Information Systems Birkbeck College London United Kingdom School of Software Engineering Beijing Jiaotong University Beijing China

The performance of action recognition in video sequences depends significantly on the representation of actions and the similarity measurement between the representations. In this paper, we combine two kinds of features extracted from the spatio-temporal interest points with context-aware kernels for action recognition. For the action representation, local cuboid features extracted around interest points are very popular using a Bag of Visual Words (BOVW) model. Such representations, however, ignore potentially valuable information about the global spatio-temporal distribution of interest points. We propose a new global feature to capture the detailed geometrical distribution of interest points. It is calculated by using the 3D R transform which is defined as an extended 3D discrete Radon transform, followed by the application of a two-directional two-dimensional principal component analysis. For the similarity measurement, we model a video set as an optimized probabilistic hypergraph and propose a context-aware kernel to measure high order relationships among videos. The context-aware kernel is more robust to the noise and outliers in the data than the traditional context-free kernel which just considers the pairwise relationships between videos. The hyperedges of the hypergraph are constructed based on a learnt Mahalanobis distance metric. Any disturbing information from other classes is excluded from each hyperedge. Finally, a multiple kernel learning algorithm is designed by integrating the l2 norm regularization into a linear SVM classifier to fuse the R feature and the BOVW representation for action recognition. Experimental results on several datasets demonstrate the effectiveness of the proposed approach for action recognition. © 2015, Springer Science+Business Media New York.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：