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

7th International Conference on Web Reasoning and Rule Systems, RR 2013

作者： Nguyen, Linh Anh Nguyen, Thi-Bich-Loc Szalas, Andrzej Institute of Informatics University of Warsaw Banacha 2 02-097 Warsaw Poland Faculty of Information Technology VNU University of Engineering and Technology 144 Xuan Thuy Hanoi Viet Nam Department of Information Technology Hue University of Sciences 77 Nguyen Hue Hue City Viet Nam Dept. of Computer and Information Science Linköping University SE-581 83 Linköping Sweden

ISBN: (纸本)9783642396656

We introduce a Horn description logic called Horn-DL, which is strictly and essentially richer than Horn-scriptSscriptRscriptOscriptIscriptQ, while still has PTime data complexity. In comparison with Horn- scriptSscriptRscriptOscriptIscriptQ, Horn-DL additionally allows the universal role and assertions of the form irreflexive (s), ¬s(a, b), a ≠ b. More importantly, in contrast to all the well-known Horn fragments scriptEscriptL, DL-Lite, DLP, Horn-scriptSscriptHscriptIscriptQ, Horn- scriptSscriptRscriptOscriptIscriptQ of description logics, Horn-DL allows a form of the concept constructor "universal restriction" to appear at the left hand side of terminological inclusion axioms. Namely, a universal restriction can be used in such places in conjunction with the corresponding existential restriction. In the long version of this paper, we present the first algorithm with PTime data complexity for checking satisfiability of Horn-DL knowledge bases. © 2013 Springer-Verlag.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

Improvizing security levels in WLAN via novel BSPS

Improvizing security levels in WLAN via novel BSPS

引用

International Conference on Emerging Trends in Communication, Control, Signal Processing & Computing Applications (C2SPCA)

作者： Rajesh Duvvuru P. Jagadeeswara Rao Sunil Kumar Singh Dept. of Computer Science & Engineering National Inst. of Technology Jamshedpur Jamshedpur INDIA Dept. of Geo-Engineering Andhra Univ. College of Engineering Visakhapatnam INDIA

In the last decade of Wireless Network security, using text and biometrics for various types of security problems has gained popularity. This research work merges both, the concepts of packet scheduling and the network security issues of the wireless data packets exchange. To achieve the high Quality-of-Service (QoS) in WLAN, we have replaced the existing Automated Security Aware Packet Scheduling Algorithm (ASPS) with novel Bio-cryptic Security-Aware Packet Scheduling-Algorithm (BSPS). This BSPS Algorithm besides assuring the best performance in packet delivery ratio, load on network switch and also intensifying the security level to the desirable WN by applying Bio-cryptographic methods in each security level. Our simulation outcome proves that our scheme is performing better than existing algorithms in terms of the quality of security.

关键词： Authentication Biometrics (access control) Feature extraction Encryption Biological system modeling Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Robustness of multimodal processes itineraries

引用

IFAC Proceedings Volumes 2013年第9期46卷 2092-2097页

作者： G. Bocewicz Z. Banaszak I. Nielsen Dept. of Computer Science and Management Koszalin University of Technology Sniadeckich 2 75-453 Koszalin Poland Dept. of Business Informatics Warsaw University of Technology Narbutta 85 02-524 Warsaw Poland Department of Mechanical and Manufacturing Engineering Aalborg University Aalborg East Denmark

This paper concerns multimodal transport systems (MTS) represented by a supernetworks in which several unimodal networks are connected by transfer links and focuses on the scheduling problems encountered in these systems. Assuming unimodal networks are modeled as cyclic lines, i.e. the routes determining stream-like moving transportation means, a problem of an alternative itinerary selection for an origin-destination (O-D) trip in the context of emergency relief is considered. Emergency relief dealing with the contingency events and deciding on MTS robustness can be evaluated in terms of feasible itineraries for assumed (O-D) trip. Since itinerary planning problem, constitutes a common routing and scheduling decision faced by travelers, hence the main question regards of itinerary re-planning and particularly a method aimed at prototyping of mode sequences and paths selections. The declarative model of multimodal processes driven itinerary planning problem is our main contribution. Illustrative examples providing alternative itineraries in some cases of MTS malfunction are presented.

关键词： cyclic / multimodal process itinerary planning transport system declarative modeling

来源：评论

学校读者我要写书评

暂无评论

Step-by-step cyclic processes scheduling

引用

IFAC Proceedings Volumes 2013年第7期46卷 300-305页

作者： G. Bocewicz I. Nielsen Z. Banaszak Dept. of Computer Science and Management Koszalin University of Technology Sniadeckich 2 75-453 Koszalin Poland Department of Mechanical and Manufacturing Engineering Aalborg University Aalborg East Denmark Dept. of Business Informatics Warsaw University of Technology Narbutta 85 02-524 Warsaw Poland

Automated Guided Vehicles (AGVs) fleet scheduling is one of the big problems in Flexible Manufacturing System (FMS) control. The problem is more complicated when concurrent multi-product manufacturing and resource deadlock avoidance policies are considered. The objective of the research is to provide a declarative model enabling to state a constraint satisfaction problem aimed at AGVs fleet scheduling subject to assumed itineraries of concurrently manufactured product types. In other words, assuming a given layout of FMS's material handling and production routes of simultaneously manufactured orders, the main objective is to provide the declarative framework aimed at conditions allowing one to calculate the AGVs fleet schedule in online mode. An illustrative example of the relevant algebra-like driven step-by-stem cyclic scheduling is provided.

关键词： Cyclic/multimodal process AGVs fleet scheduling declarative modeling cyclic scheduling

来源：评论

学校读者我要写书评

暂无评论

Efficient background modeling using nonparametric histogramming

Efficient background modeling using nonparametric histogramm...

引用

ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC

作者： Horng-Horng Lin Li-Chen Shih Jen-Hui Chuang Dept. of Computer Science & Information Engineering Southern Taiwan Univ. of Science and Technology Taiwan Inst. of Multimedia Engineering National Chiao Tung Univ Taiwan Dept. of Computer Science National Chiao Tung Univ Taiwan

With rapid increase in the deployment of high-definition surveillance cameras, the need of efficient video analytics for extracting video objects from high-resolution surveillance videos in real time has become more and more demanding. Conventional background modeling methods, e.g., the Gaussian mixture modeling (GMM), although having long been proven to be effective for foreground object extraction, are actually not efficient enough for the real-time analysis of high-resolution videos. We thus propose a novel background modeling approach using nonparametric histogramming that can derive a holistic, histogram-based background model for each pixel with low computational complexity. Due to the simple algorithm design, the proposed approach can be easily implemented by fixed-point computation. Without using any accelerator (like CUDA, Intel SIMD, or Intel IPP library), multi-threading or sub-sampling technique, our implementation of the proposed algorithm achieves high efficiency for the processing of 1920×1080 color videos at ~18.81 fps on a general computer (Intel Core i7 3.4GHz CPU). In the experimental comparisons, the proposed approach is ~3.9 times faster than the GMM, while giving comparable foreground segmentation results.

关键词： Videos Computational modeling Three-dimensional displays Histograms Irrigation

来源：评论

学校读者我要写书评

暂无评论

Reliability challenges of real-time systems in forthcoming technology nodes 13

Reliability challenges of real-time systems in forthcoming t...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Said Hamdioui Dimitris Gizopoulos Groeseneken Guido Michael Nicolaidis Arnaud Grasset Philippe Bonnot Computer Engineering Delft University of Technology he Netherlands TIMA laboratory Grenoble France Department of Informatics University of Athens Greece Thales Research & Technology Palaiseau France Imec Leuven Belgium & ESAT Dept KU Leuven Belgium

ISBN: (纸本)9781450321532

Forthcoming technology nodes are posing major challenges on the manufacturing of reliable (real-time) systems: process variations, accelerated degradation aging, as well as external and internal noise are key examples. This paper focuses on real-time systems reliability and analyzes the state-of-the-art and the emerging reliability bottlenecks from three different perspectives: technology, circuit/IP and full system.

关键词： Clocks Integrated circuit reliability Delays Reliability engineering Circuit faults Logic gates

来源：评论

学校读者我要写书评

暂无评论

Modelling the recovery of acute stroke survivors during adaptive rob ot-assisted training

引用

Gait & Posture 2014年 40卷 S28-S29页

作者： Tamagnone, I. Sterpi, I. Squeri, V. Basteris, A. Casadio, M. Sanguineti, V. Sessarego, P. Dept. Informatics Bioengineering Robotics and System Engineering University of Genoa Italy Service of Rehabilitation Eng. IRCCS Salvatore Maugeri Foundation Pavia Italy Dept. of Robotics Brain and Cognitive Sciences Italian Institute of Technology Genoa Italy School of Computer Science Hertfordshire UK Rehabilitation Institute IRCCS Salvatore Maugeri Foundation Genoa Italy

来源：评论

学校读者我要写书评

暂无评论

EMPPC-an evolutionary model based privacy preserving technique for cloud digital data storage

EMPPC-an evolutionary model based privacy preserving techniq...

引用

IEEE International Advance Computing Conference, IACC

作者： D Chandramohan. T Vengattaraman. D Rajaguru. R Baskaran. P Dhavachelvan. Department of Computer Science Pondicherry University India Pondicherry University Pondicherry Tamil Nadu IN Dept.of Inf.Technology Perunthalaivar Kamarajar Inst.of Eng. & Technology Karaikal India Department of Computer Science and Engineering Anna University Chennai India

This paper spank out the enormity of unknown users hand on web service users' and their data protection level bump up as an issue in cloud users mind. Once hiring a data space in cloud it's the responsibility of both to accustomed the stored information's privacy and preserving it in a secret way. It is noticed by the academicians and researchers oodles and masses of privacy breaches relentlessly observable fact dealt globally. It is one of the hottest research topics. This work targets data privacy and its preservation by proposing an evolutionary approach to safeguard the confidential data stored in the cloud. It also focuses on prominent study of users' privacy need and to preserve data distorted from intermediate digital data thieves.

关键词： Data privacy Privacy Cloud computing Data models Authentication Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Multi-agent programming contest 2013: The teams and the design of their systems

Multi-agent programming contest 2013: The teams and the desi...

引用

1st International Workshop on engineering Multi-Agent Systems, EMAS 2013

作者： Ahlbrecht, Tobias Bender-Saebelkampf, Christian De Brito, Maiquel Christensen, Nicolai Christian Dix, Jürgen Franco, Mariana Ramos Heller, Hendrik Hess, Andreas Viktor Heßler, Axel Hübner, Jomi Fred Jensen, Andreas Schmidt Johnsen, Jannick Boese Köster, Michael Li, Chengqian Liu, Lu Morato, Marcelo Menezes Ørum, Philip Bratt Schlesinger, Federico Schmitz, Tiago Luiz Sichman, Jaime Simão De Souza, Kaio Siqueira Uez, Daniela Maria Villadsen, Jørgen Werner, Sebastian Woller, Øyvind Grønland Zatelli, Maicon Rafael Department of Informatics Clausthal University of Technology Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld Germany Dept. of Computer Science Sun Yat-sen University Guangzhou 510006 China Algorithms Logic and Graphs Section Department of Applied Mathematics and Computer Science Technical University of Denmark Matematiktorvet DK-2800 Kongens Lyngby Denmark Brazil Distributed Artificial Intelligence Laboratory Technische Universität Berlin Germany Department of Automation and Systems Engineering Federal University of Santa Catarina CP 476 88040-900 Florianópolis - SC Brazil

ISBN: (纸本)9783642453427

Five teams participated in the Multi-Agent Programming Contest in 2013: All of them gained experience in 2012 already. In order to better understand which paradigms they used, which techniques they considered important and how much work they invested, the organisers of the contest compiled together a detailed list of questions (circa 50). This paper collects all answers to these questions as given by the teams. © 2013 Springer-Verlag.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Semiglobal Stabilization of Nonlinear Uncertain Systems via a Lyapunov-based Switching Logic

Semiglobal Stabilization of Nonlinear Uncertain Systems via ...

引用

IEEE Annual Conference on Decision and Control

作者： Simone Baldi Elias B. Kosmatopoulos Petros A. Ioannou Informatics & Telematics Institute Center for Research and Technology Hellas (ITI-CERTH) Thessaloniki Greece Dept. of Electrical and Computer Engineering Democritus University of Thrace Xanthi Greece Department of Electrical Engineering University of Southern California Los Angeles CA USA

ISBN: (纸本)9781467357159

An adaptive supervisory switching control scheme for nonlinear uncertain systems is developed. Such a scheme comprises: a family of nonlinear candidate controllers, designed using a convex control design methodology;and a Lyapunovbased switching criterion that orchestrates which of the candidate controllers should be put in feedback with the uncertain plant. The family of candidate controllers is designed in such a way that, for every portion of the uncertainty set there is one Lyapunov function whose derivative is decreasing with a prescribed rate. Such Lyapunov functions are used by the switching logic to assess which is the most suitable controller to be put in feedback. The resulting scheme guarantees semi-global stability with desired transient performance, in terms of decaying rate of the derivative of the Lyapunov function.

关键词： Switches Lyapunov methods Telematics Robustness

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：