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.
Robot with different personality have different behavior patterns, and personality will improve the emotional intelligence of robot, while it provide more possibilities for robots cooperative work. A personalized multi robot pursuit task allocation algorithm is proposed, in which personalitys regulatory role is made full use in the process of robot pursuit task allocation. Using emotional cooperation...
Epimenides is a system that can be used in the context of digital archives and digital libraries for helping archivists in checking whether the archived digital artifacts remain intelligible and functional, and in identifying the consequences of probable losses. A distinctive feature of Epimenides is that it can model also converters and emulators, and the adopted modelling approach enables the automatic...
Designing and developing digital technological systems and their interactive interfaces as better companion with hominine characteristics is an active research hot-spot. Exploring the domain of facilitating machines with affective and cognitive intelligence and understanding the users is increasingly attracting the interest of researchers who are working in the field of humancomputer interaction....
In natural language, “or” sometimes means “inclusive or” and sometimes means “exclusive or”. To adequately describe commonsense and expert knowledge, it is therefore important to have not only t-conorms describing fuzzy “inclusive or” operations, but also fuzzy “inclusive or” operations f⊕(a, b). Since the degrees of certainty are only approximately defined, it is reasonable to require that the corresponding...
Spatial ability is not only the daily necessity of our life but also an important skill for mechanists, architects, chemists, surgeons, surveyors and cartographers. At present, whether within our country or abroad, the mathematical programs of elementary and junior high schools both list spatial ability as one of the geometry course materials. Spatial ability correlates with the concept of volume,...
The satisfiability (SAT) problem is an important problem of automated reasoning. In the past decades, many methods of SAT are proposed, such as method based on resolution, method based on tableau and method based on extension rule. Based on the study of extension rule, we find that the SAT problem can be solved with hitting set algorithms. If we can find a hitting set of a clause set, and if there...
For inconsistent decision tables, this paper presents a new data reduction idea. Compared with the traditional data reduction method, the first step in this paper is attribute value reduction, then this paper simply deletes the inconsistent individuals sets. The last step is attribute reduction, which could avoid the negative factor of inconsistent individuals set.
In the field of computer science, lots of studies have made concrete theories and techniques rapidly developed. Relatively studies on philosophy of these theories and techniques are very few and have fallen far behind with concrete science. Pansystems methodology just provides a platform for further study on philosophy of concrete science, which is what we do in this paper. Two main results are obtained...
The platform of intelligent test is one of the core content for modern distant education system. The reasonable evaluation of intelligence test is the key technology for the embodiment of excellence in intelligent test platform. In this paper, in order to more accurately analyze and evaluate the students' distance learning behavior, process and achievement, we design a remote intelligent test platform,...
Aiming at challenging problem in building autonomic computing system, policy based management technology and intelligent agent technology was combined to build autonomic elements and autonomic computing system. Through importing policy into agent BDI model, a flexible agent model (PD-agent) is built to satisfy the requirement of autonomic element. To solve logic omniscience problem and related problems...
College instruction may be primarily concerned in most cases with the content of their academic lessons, and not very much with their instructional delivery. However, the effective application of learning theories in higher education has an impact on student performance. This paper surveys the applicability of constructivism, cognitive information processing and behaviorism in computer science education...
Methodology is the theory of methods in recognizing and reforming the world. It is divided into three layers: philosophy methodology, general science methodology and concrete science methodology. System methodology as one of the basic methods that research computer science, is a general science methodology. This paper aims to discuss the fundamental principles of system methodology, at the same time,...
Statistical default logic is an expansion of classical (i.e. Reiter's) default logic that allows us to model common inference patterns found in standard inferential statistics, which is an expansion with an error-bound parameter. This paper proposes statistical default inference based on dynamic fuzzy logic (DFL) and constructs a method of computing extensions of fuzzy statistical default theory.
Matching search technology based on query keyword has been widely used by traditional search way. It still belongs to pure keyword matching and can not acquire satisfactory search results. The essential reason is that traditional Web search lacks semantic understanding to user's search behaviors. In this study, we propose a novel ontology-based framework for semantic expansion search. Based on constructed...
Coding advantage refers to the potential for network coding to improve end-to-end throughput or reduce routing cost. How large can the coding advantage be? We investigate this fundamental question in the classic undirected network model. So far, all known networks where such potential exists are based on a special class of topologies known as combinatorial networks. We try to prove a rather small...
Software testing plays an important role in the life cycle of software development. Because software testing is very costly and tedious, many techniques have been proposed to automate it. One technique that has achieved good results is the use of search algorithms. Because most previous work on search algorithms has been of an empirical nature, there is a need for theoretical results that confirm...
The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying. In this context performance of model queries becomes an important issue...
Compliance management (CM) is the management process that an organization implements to ensure organizational compliance with relevant requirements and expectations. Compliance auditing (CA) is a child-process of CM where compliance rules and policies are individually checked against the organization to determine the level of compliance achieved by the organization. In this paper, we arrange organizational...
This study involved an evaluation of our V/Q system by five radiologists using forty-nine clinical data sets. The experts compared the quality of the registration and the color visualization methods. A Web-based user interface was developed to display color-enhanced images and to manipulate those images. The original gray scale image sets were also transformed to a green color table for ventilation...
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.