The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Formal concept analysis (FCA) is a method used for deriving implicit relationships between objects by attributes. Aim at the expensive cost problem in mutation testing caused by the large number of mutants and large number of test cases generated to kill these mutants. This paper proposed a test suite reduce method for mutation testing based on FCA. In order to reduce the number of test cases, a test...
Formal specification and runtime detection of contextual properties is one of the primary approaches to enabling context awareness in pervasive computing environments. Due to the intrinsic dynamism of the pervasive computing environment, dynamic properties, which delineate concerns of context-aware applications on the temporal evolution of the environment state, are of great importance. However, detection...
The concept lattice is an efficient tool of data analysis and knowledge processing. This paper first puts forward the close-degree of information concept lattice, define the significance of attribute and design a heuristic algorithm for attribute reduction on information concept lattice. Finally, a real example is used to demonstrate both its feasibility and effectiveness.
The successful design of collaborative filtering system for recommending depends hardly on finding the nearest neighbors. In this paper, we provide a new collaborative filtering method based on concept lattices to generate more precise recommendation. Firstly, we analyze the log files and construct a formal context which is then used to build a concept lattice. Based on the concept lattice, we propose...
Concept lattice is a new mathematical tool for data analysis and knowledge processing. Attribute reduction is very important in the theory of concept lattice because it can make the discovery of implicit knowledge in data easier and the representation simpler. In this paper the reduction of the concept lattice was investigated. First, we present a close-degree of concept to measure the close-degree...
The concept lattice is useful in knowledge processing and analyzing. And it has been used with a high intensity to knowledge reduction and data mining. This paper, from the viewpoint of concept extents, studies new and relatively reasonable formulas measuring attribute significance and proposes a theory for justifying whether an attribute set is a reduction on concept lattice, and then uses those...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.