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.
Proactive forensics uses the investigative principles of digital forensics to develop automated techniques that prevent cybercrime. One such prevention-minded methodology is PROFORMA, a prototype system that continuously evaluates the trustworthiness and risk of social communications.
Online news media is a popular and effective source of information about everyday events. News headlines contain all the primary entities of the news article and can be used to identify relations among them. Since the relation between two entities can vary with time, we need to have a time-aware relation extraction mechanism for the entities. In this paper, we identify entities and temporal relations...
As bearing vibration signal is of nonlinear and nonstationary characteristics, and the condition-indicating information distribution in the vibration signal is complex, a new rolling bearing vibration signal analysis approach based on dual-entropy, holder coefficient and gray relation theory was proposed in this paper. Firstly, a dual-entropy and holder coefficient algorithm was proposed to extract...
Cultural heritage is typically not on the people's top lists when searching for entertainment activities. Publicized temporary exhibitions can draw many visitors to a museum, urged by the opportunity of seeing certain items, but in general there are no particular stimuli and the visits are postponed once and again, if not forever. In this paper, we argue that it is possible to instigate curiosity...
How can we analyze tensors that are composed of 0's and 1's? How can we efficiently analyze such Boolean tensors with millions or even billions of entries? Boolean tensors often represent relationship, membership, or occurrences of events such as subject-relation-object tuples in knowledge base data (e.g., 'Seoul'-'is the capital of'-'South Korea'). Boolean tensor factorization (BTF) is a useful tool...
The relation of knowledge is vividly represented by hypergraph in big knowledge base. In this paper, hierarchical quotient space theory in granular computing model is applied to weighted hypergraph, so uncertainty inference of knowledge in big knowledge base is converted to the optimal path approximate of weighted hypergraph based on granular computing model. Thus, the complex degree of solving problem...
Lifelong learning models are popularly used with big data analysis as it learns better with the volume and variety of data. The model learns independently through an augmented learning mechanism that does not require manual support. Learning wrong and irrelevant rules are expected as it follows an unsupervised approach and therefore, the model is supported with a filtering mechanism. The rules that...
Huge volume of content is produced on multiple online sources every day. It is not possible for a user to go through these articles and read about topics of interest. Secondly professional articles, blog and forum have many topics discussed in a single discussion. Automatic knowledge-based topic models is a recent approach in Natural Language Processing that extract high quality topics from a large...
Troubleshooting system is incorporated in each organization to provide a quick technical support for the end-users. It provides end-users with on time support in different forms and thus enable them to maintain high quality service. This paper proposes an innovative troubleshooting system which has been developed based on real users' requirements that have gathered during requirement generation phase...
Online Social Networks are ubiquitous, bringing not only numerous new possibilities but also big threats and challenges. Privacy is one of them. Most social networks today offer a limited set of (static) privacy settings, not being able to express dynamic policies. For instance, users might decide to protect their location during the night, or share information with difference audiences depending...
We introduce comparisons with respect to information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. As bisimilarity is a natural notion for characterizing indiscernibility in modal and description logics, it is useful for concept learning in description logics also when inconsistencies occur. We give preservation results and the Hennessy-Milner...
Autonomous ontology learning is a critical task to reduce the cost of ontology construction for knowledge based systems. This paper provides a cognitive model for ontology learning system, which aims to develop a novel model for knowledge structuring based on the interaction between the process of ontology construction and cognitive psychology. During cognitive process, we simulate human's cognitive...
There are many challenges people face while learning and writing English. Learning the proper use of punctuation is challenging for people of all ages. Due to enormous breakthroughs in computer technology, there has been a huge interest in the development of Intelligent Tutoring Systems (ITS) to help learners learn a language. We developed an ITS that helps students to learn the rules of English punctuation...
In this paper a concept of intelligent support of decision making in waste management using knowledge-based approach is presented, which is a promising way to increase efficiency of waste management system in the cities. Analysis of the domain of waste management shows that the appropriate support of decision making can be implemented using contemporary technologies of artificial intelligent such...
In many applications, such as video processing, data are often provided by several and potentially conflicting sources having different reliability levels. This paper deals with the problem of handling inconsistency in lightweight ontologies when the set of assertions (facts) is prioritized. We propose a safe and efficient way to restore consistency using the concept of free assertions, assertions...
Generation of problem sets and quizzes forms animportant part of education technologies. Although some systemshave been built for quiz generation, they mostly focus on abstractlogic and mathematical constructs. Knowledge in other domainsis relational rather than propositional, and many systems usededicated knowledge databases. We present a method to presentthis knowledge in the form of objective question...
Clinical documents are vital resources for radiologists to have a better understanding of patient history. The use of clinical documents can complement the often brief reasons for exams that are provided by physicians in order to perform more informed diagnoses. With the large number of study exams that radiologists have to perform on a daily basis, it becomes too time-consuming for radiologists to...
Huge amount of entities and theirs relationships are posted on the Web. Those entities and theirs relationship networks help many activities. In this paper, we focus on the task of extracting academic entity network from homepages. Homepages usually contain many entities, such as persons, conference/journal and organization and theirs relationship. However, homepages don't follow a unified layout...
In this paper we want to investigate how to measure changes that occur when ontologies evolve in time. In the modern semantic online environments users cannot assume that initially created ontologies will remain static throughout the whole lifespan of particular application. Moreover, alignments originally established between such ontologies can become stale and invalid when certain changes have been...
We apply the synthesis method introduced in our previous work in order to synthesize from proofs certain algorithms operating on sorted lists without duplications (“monotone lists”). The corresponding prover and algorithm extractor are implemented in the Theorema system. Three algorithms are automatically discovered from proofs: symmetrical difference, cartesian product and the cardinality. The larger...
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.