In this paper, we tackle a novel problem of mining contrast subspaces. Given a set of multidimensional objects in two classes C+ and C - and a query object o, we want to find top-k subspaces S that maximize the ratio ...
详细信息
Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems(FMSs).This work,by adding monitors,develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called-S3 ...
详细信息
ISBN:
(纸本)9781479947249
Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems(FMSs).This work,by adding monitors,develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called-S3 PR ***,an algorithm is given to reduce an S3 PR via *** on it,-resources in-S3 PRs are classified into A--resources and ***,for an-S3 PR with only B--resources,it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons(SMSs).For an-S3 PR containing A--resources,a liveness-enforcing supervisor can be designed by iteratively reducing the net via A--resources and adding the corresponding ***,a comprehensive deadlock prevention algorithm for-S3 PRs is *** FMS example is used to illustrate its application.
To reduce pre-bond and post-bond test cost for 3D IP (Three Dimensional Intellectual Property) cores, this paper proposed a test wrapper optimization technique using BFD(Best Fit Decreasing) and GA (Genetic Algorithm)...
详细信息
Petri nets are widely used to model flexible manufacturing systems(FMSs) because they can help analyze the properties and synthesize deadlock-free supervisory controllers of *** System of Simple Sequential Processes w...
详细信息
ISBN:
(纸本)9781479947249
Petri nets are widely used to model flexible manufacturing systems(FMSs) because they can help analyze the properties and synthesize deadlock-free supervisory controllers of *** System of Simple Sequential Processes with Resources(WS3PR) is an important subclass of Petri nets that can well model many *** work first gives new algorithms to check liveness for a WS3 PR net via its subnet trees and *** the computation complexity for the proposed method is shown in this paper,to be polynomial under certain ***,sufficient conditions for deciding liveness of a WS3 PR are *** example is used to illustrate the results.
Learning vocabulary is a very important part of learning a new language. It is vitally important for beginners and children to learn the keywords needed to understand what they hear and read, and to express their own ...
详细信息
Learning vocabulary is a very important part of learning a new language. It is vitally important for beginners and children to learn the keywords needed to understand what they hear and read, and to express their own ideas. Despite this importance, vocabulary acquisition stills the hardest part of the language and faces the problem of low motivation of learners. One of the effective ways of raising motivation and increase learners' desire to learn is to use learning games. This paper describes a learning version of memory match game specifically designed for second language acquisition. The objective of this learning game is to render the learning experience with more fun, to engage learners and to keep them motivated.
Recently, many works have investigated the identification of learner's working memory capacity (WMC) from his/her behavior in learning systems. These works used a mechanism, called dichotomic node network, able to...
详细信息
Recently, many works have investigated the identification of learner's working memory capacity (WMC) from his/her behavior in learning systems. These works used a mechanism, called dichotomic node network, able to create representation of the learner's WMC taking into account different theories from the literature. However, this mechanism could only provide a binary representation of learner's WMC (High or Low), whereas the WMC is estimated by 7 (plus or minus two) items. This paper presents an alternative based on fuzzy logic for precisely estimate the WMC of the learner while using learning system or playing educational games. The proposed approach can improve the accuracy of learner model and then enable the fine grained recommendations that positively affect the learners' learning.
The high resolution and widescreen mobile devices have tremendous applications in our daily *** this paper,we demonstrate a specific bi-screen video sharing application called WeWatch that a high resolution video is p...
详细信息
The high resolution and widescreen mobile devices have tremendous applications in our daily *** this paper,we demonstrate a specific bi-screen video sharing application called WeWatch that a high resolution video is played across screens of two mobile *** helps users to enhance their watching experience on the Android *** order to efficiently use idle mobile devices,we develop a novel algorithm to share videos with devices with different screen sizes and *** research provides a method which automatically controls videos based on different distances between *** distance is determined by the empirical WiFi RSSI values obtained through the experimental *** have prototyped the system and conducted a real-world energy efficiency and user experience *** show that WeWatch has negligible impact on battery lifetime while over 80%users like our application.
The AAAI-14 Workshop program was held Sunday and Monday, July 27-28, 2014, at the Québec City Convention Centre in Québec, Canada. The AAAI-14 workshop program included 15 workshops covering a wide range of ...
详细信息
cloudcomputing is a novel computing paradigm that utilizes remote cloud resources to achieve a high-performance *** provides infrastructure,platform and software as different on-demand *** has made remarkable progres...
详细信息
cloudcomputing is a novel computing paradigm that utilizes remote cloud resources to achieve a high-performance *** provides infrastructure,platform and software as different on-demand *** has made remarkable progress in cloudbased products and operating system *** government,enterprises and research institutions are all active in the development of cloudcomputing-related *** the progress,many important
Jobs scheduling and load balancing functionalities are crucial for best Grid performance and utilization. In this paper, we present a dynamic and adaptive polyhedron topology-aware Grid load balancing method which we ...
详细信息
ISBN:
(纸本)9781479979820
Jobs scheduling and load balancing functionalities are crucial for best Grid performance and utilization. In this paper, we present a dynamic and adaptive polyhedron topology-aware Grid load balancing method which we called Tun Grid. Its main objective is the extreme decentralization of the scheduling and the load balancing processes at the lowest processing and networking cost. It ensures load balancing through an adaptive local neighborhood propagation strategy of overload. Tun Grid was experimented using the Grid Sim simulator and compared to other methods. Experimental results are presented and discussed.
暂无评论