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

IEEE Conference on Open systems

作者： Haris, S.H.C. Ahmad, R.B. Ghani, M.A.H.A. Waleed, Ghossoon M. School of Computer and Communication Engineering Universiti Malaysia Perlis d/a Pejabat Pos Besar 01000 Kangar Perlis Malaysia Department of Management Information System College of Administrative Applied Science University P.O.Box: 5055 Manama Bahrain

ISBN: (纸本)9781424490554

Malicious attackers intended to annihilate the availability of network server with threats such as Transmission Control Protocol (TCP) Synchronized (SYN) Flood. The attackers usually make the server exhausted and unavailable in order to complete the TCP three-way handshake mechanism. Detecting TCP SYN Flood in the Hypertext Transfer Protocol (HTTP) is the main problem in this paper. Anomaly detection is used to detect TCP SYN flood attack focusing in payload and unusable area. The unusual three-way handshake mechanism is also being analyzed. The results show that the proposed detection method using the combination of packet filtering and traffic monitoring can detect TCP SYN Flood in the network. © 2010 IEEE.

关键词： HTTP

来源：评论

学校读者我要写书评

暂无评论

Content-based retrieval by multiple image examples for sign board retrieval

Content-based retrieval by multiple image examples for sign ...

引用

28th Picture Coding Symposium, PCS 2010

作者： Yoshitaka, Atsuo Hyoudou, Terumasa School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai Nomi Ishikawa 923-1292 Japan Faculty of Engineering Hiroshima University 1-4-1 Kagamiyama Higashi-Hiroshima 739-8527 Japan Computer System Co. Ltd. Japan

ISBN: (纸本)9781424471348

In the area of retrieving image databases, one of the promising approaches is to retrieve it by specifying image example. However, specifying a single image example is not always sufficient to get satisfactory result, since one image example does not give comprehensive ranges of values that reflect the various aspects of the object to be retrieved. In this paper, we propose a method of retrieving images by specifying multiple image examples that is designed for retrieving sign boards. Features of color, shape, and spatial relation of color regions are extracted from example images, and they are clustered so as to obtain proper range of values. Compared with QBE systems that accept only a single image as the query condition, MIERS (Multi-Image Example-based Retrieval system) returns better retrieval result, where the experimental result showed that specifying more examples helps to improve recall with little deterioration of precision. © 2010 IEEE.

关键词： Content based retrieval

来源：评论

学校读者我要写书评

暂无评论

Compensation Approaches for Distant Speaker Identification under Reverberant Environments

Compensation Approaches for Distant Speaker Identification u...

引用

Chinese Conference on Pattern Recognition (CCPR)

作者： Ye Jiang Zhen-Ming Tang Long-Biao Wang School of Computer Science and Technology Nanjing University of Science and Technology of PLA Nanjing China Department of System Engineering Shizuoka University Japan

Speech recorded in real environments by distant microphones is degraded by factor like reverberation. This degradation strongly affects the performance of the speaker identification system. Three compensation approaches are investigated to improve the robustness of speaker identification in such scenarios. The first approach applies spectral subtraction before feature extraction in order to reduce the late reverberation effect. The second approach makes use of feature warping as robust features of distant speaker identification under mismatched training-testing conditions. The third approach presents a novel GMM parameters initialization method: combination division and k-means clustering. The experiment results show that the compensated system as compared with baseline system, the channel average identification rate has an increase of 11.4%, 15.4%, 17%, 17.8% on TIMIT database and 6.82%, 6.36%, 9.34%, 14% on JNAS database.

关键词： Speech Reverberation Databases Feature extraction Training Speech enhancement

来源：评论

学校读者我要写书评

暂无评论

A model checking approach for solving epistemic riddles

引用

Jisuanji Xuebao/Chinese Journal of computers 2010年第3期33卷 406-413页

作者： Luo, Xiang-Yu Su, Kai-Le Gu, Ming Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing 100084 China School of Computer and Control Guilin University of Electronic Technology Guilin Guangxi 541004 China School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

This paper aims to model and solve the Sum and Product Riddle in public announcement logic. A dynamic epistemic model is proposed, that is the linear temporal combination of the epistemic model of environment and the epistemic models after each announcement, such that the authors' model checking technique for temporal epistemic logic can be extended to support the modeling and verification of public announcement logic. This model checking method not only can help to find all solutions, but also verify related temporal epistemic properties. Such characteristic is not fully supported by the current version of MCK, MCMAS and DEMO. The authors implemented the proposed method in the symbolic model checker MCTK via OBDD and verified the sum and product riddle. The experimental results show that the proposed method is correct and efficient.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Validated pole assignment method based on verified numerical computation

Validated pole assignment method based on verified numerical...

引用

SICE Annual Conference

作者： Kentaro Yano Masanobu Koga Hiromasa Nakashima Department of Information and Multimedia Technology Fukuoka Institute of Technology Fukuoka Japan Faculty of Computer Science and System Engineering Kyushu Institute of Technology Fukuoka Japan Graduate School of Computer Science and System Engineering Kyushu Institute of Technology Fukuoka Japan

ISBN: (纸本)9781424476428

This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a method to find the numerically most design-specification satisfied controller quickly by using multiple-precision arithmetic. And, this paper applies a proposed method to pole assignment problem.

关键词： Control systems Design methodology Accuracy Computational modeling Mathematical model Numerical models Equations

来源：评论

学校读者我要写书评

暂无评论

Using Captchas to Mitigate the VoIP Spam Problem

Using Captchas to Mitigate the VoIP Spam Problem

引用

International Conference on computer Research and Development (ICCRD)

作者： Ismail Ahmedy Marius Portmann Department of Computer System and Communication Faculty of Computer Science and Information System Universiti Teknologi Malaysia Johor Malaysia School of Information Technology and Electrical Engineering University of Queensland QLD Australia

ISBN: (纸本)9781424469925;9780769540436

Voice over Internet Protocol (VoIP) is one of the emerging technologies today. This application offers the user a service by which one can call another person at a low cost as compare with traditional phone services. One drawback to the Internet is spam, which are unsolicited or unwanted objects which often appear as unwanted messages in various email applications. For VoIP, spam refers to unsolicited and unwanted calls by the VoIP user. In this paper, we have purposed a solution to prevent the spam in VoIP. The CAPTCHA (Completely Automated Public Turing Test to Tell computers and Human Apart) method aims to determine whether the call is coming from a human or a machine. The key contribution of this paper is a proof-of-concept implementation of a CAPTCHA mechanism to prevent VoIP Spam.

关键词： Unsolicited electronic mail Internet telephony Electronic mail Protocols Application software Costs Humans Packet switching IP networks Web and internet services

来源：评论

学校读者我要写书评

暂无评论

Packet-based robust MPC for Wireless Networked Control using co-design

Packet-based robust MPC for Wireless Networked Control using...

引用

American Control Conference

作者： Jian Chen George W. Irwin Adrian McKernan Intelligent System and Control Group School of Electronics Electrical Engineering and Computer Science Queen's University of Belfast UK

ISBN: (纸本)9781424474264

This paper presents a packet-based robust Model Predictive Control (MPC) approach in a co-design framework for Wireless Networked Control systems (WNCS). Lyapunov stability is guaranteed if the optimization problem is feasible. An Inverse Gaussian model which represents the statistical distribution of the round-trip delay (RTD) in a IEEE802.11 WNCS was applied to support a simulation study. Monte-Carlo simulation results on a cart-mounted inverted pendulum are presented to confirm the performance advantages of packet-based robust MPC scheme.

关键词： Co-design statistical distribution cart wireless INVERTED PENDULUM round-trip delay

来源：评论

学校读者我要写书评

暂无评论

Lightpath route management system for IP-over-CWDM networks with ROADMs

Lightpath route management system for IP-over-CWDM networks ...

引用

8th Asia-Pacific Symposium on Information and Telecommunication Technologies, APSITT 2010

作者： Zahilah, Raja Ogino, Yuta Nishiuma, Soichiro Nooruzzaman, Md. Koyama, Osanori Katsuyama, Yutaka Graduate School of Engineering Osaka Prefecture University Gakuen-cho 1-1 Naka-ku Sakai Osaka 599-8531 Japan Faculty of Computer Science and Information System Universiti Teknologi Malaysia 81310 UTM Skudai Johor Bahru Johor Malaysia

ISBN: (纸本)9781424464135

A lightpath route management system with parallel processing capabilities and a flexible upgradability, allowing new functions to be added to the system without any system program changes, has been designed and implemented for IP-over-CWDM networks with ROADMs. The system can process route management functions composed of some sub applications in parallel in multi machines for high speed performance. In addition, the system was designed to have a flexible upgradability which allows adding new functions to the system, i.e. no changes of the system programs are required when adding the new functions. The system functions are to search possible lightpath routes made by ROADMs with specified switch states, and to output the total optical losses of the routes. The system was implemented and the performance was evaluated. By the system with one management and 3 calculation machines for the parallel processing, the total time to obtain the results for a 5-node IP-over-CWDM network was reduced down to 65 % of the total time by the system with a single machine without parallel processing. The system enables the network administrators to manage the lightpath reconfigurations effectively without errors by avoiding making unlinked lightpaths through routes with higher losses to connect nodes, before the reconfiguration.

关键词： Internet protocols

来源：评论

学校读者我要写书评

暂无评论

From scripts to specifications: The evolution of a flight software testing effort 10

From scripts to specifications: The evolution of a flight so...

引用

32nd ACM/IEEE International Conference on Software engineering, ICSE 2010

作者： Groce, Alex Havelund, Klaus Smith, Margaret School of Electrical Engineering and Computer Science Oregon State University Corvallis OR United States Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Pasadena CA United States Software System Engineering Jet Propulsion Laboratory California Institute of Technology Pasadena CA United States

ISBN: (纸本)9781605587196

This paper describes the evolution of a software testing effort during a critical period for the flagship Mars science Laboratory rover project at the Jet Propulsion Laboratory. Formal specification for post-run analysis of log files, using a domain-specific language, LogScope, replaced scripted real-time analysis. Log analysis addresses the key problems of on-the-fly approaches and cleanly separates specification and execution. Mining the test repository suggested the inadequacy of the scripted approach, and encouraged a partly engineer-driven development. LogScope development should hold insights for others facing the tight deadlines and reactionary nature of testing for critical projects. LogScope received a JPL Mariner Award for "improving productivity and quality of the MSL Flight Software" and has been discussed as an approach for other flight missions. We note LogScope features that most contributed to ease of adoption and effectiveness. LogScope is general and can be applied to any software producing logs. © 2010 ACM.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Simplification for texture mapping models with mesh segmentation

Simplification for texture mapping models with mesh segmenta...

引用

International Conference on Virtual systems and MultiMedia

作者： Lili Wang Zhiqiang Ma Bing Xue Zhe Shen State Key Laboratory of Virtual Reality Technology and System School of Computer Science and Engineering Beihang University Beijing China

To reduce the loss of visual details in simplification for textured meshes, this paper presents a simplification method based on mesh segmentation. Firstly, the model is partitioned into some sub-meshes according to their properties of appearance, such as texture, normal, etc. Thus, the correlation between sub-meshes can be decreased. Then, we calculate the error metric for the edge collapse in each sub-mesh. Lastly, we merge the simplified sub-meshes and fix the gap among them to regain an integrated mesh. Because the properties of appearance are used to separate the high-frequency details from low-frequency ones, our approach decreases the loss of the detailed. Therefore, we can not only keep the over whole contours of the model, but also maintain better geometric and appearance details. The results of experiments demonstrate our mesh segmentation based method is effective.

关键词： Mathematical model Measurement Equations Solid modeling Image edge detection Visualization Adaptation model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：