Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact with other systems, or agents. Many times these agents have objectives of their own, other than to fail the system. Thus, it makes sense to model system environments not as hostile, but as composed of rational agents;...

Many interesting concepts in mathematics are essentially ‘cross-domain’ in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a mathematical theory. Often, the introduction of cross-domain concepts to an investigation seems to exercise a mathematician’s creative ability. The HR program, (Colton et al., 199...

Model reuse is a longstanding challenge within the simulation modeling community. While other disciplines successfully apply component-based approach to build systems, it has proven more difficult to apply in simulation development. A model is reusable to the extent that the assumptions and constraints of the experimental frame it is situated in are satisfied. Hence, without contextual informat...

In this paper, we describe our participation in the ImageCLEF 2014 Scalable Concept Image Annotation task. In this participation, we propose a novel approach of automatic image annotation by using ontology at several steps of supervised learning. In this regard, we construct tree-like ontology for each annotating concept of images using WordNet and Wikipedia as primary source of knowledge. The ...

Information extraction from large data repositories is critical to Information Management solutions. In addition to prerequisite corpus analysis, to determine domain-specific characteristics of text resources, developing, refining and evaluating analytics entails a complex and lengthy process, typically requiring more than just domain expertise. Modern architectures for text processing, while f...

The rapid development of information technology has enabled many systems that support creative work. However, it has gradually become obvious that the latest information systems have a serious drawback in that instead of promoting creative work, they often discourage it or let us stop thinking actively while doing it. In this paper, we begin by explaining that such drawbacks of these systems or...

Existing systems to acquire knowledge from expository texts do not perform any learning beyond interpreting the contents of the text. The opportunity to learn from examples included in texts is not exploited. This is a needless limitation because examples in texts usually show the reader how to integrate the declarative part of the text into an operational concept or procedure. Explanation-base...

Students’ learning experience can be affected by difficulties in understanding the interrelationships between concepts and also between topics. Concept maps have been used in many disciplines (Kremer & Gains, 1996) to structure information and express relationships between them. Their holistic approach with multiple pathways through the learning resource can make relationships and linkages betw...

In this paper, we propose a large-scale image annotation system for the ImageCLEF 2014 Scalable Concept Image Annotation task. The annotation task, of this year, concentrated on developing annotation algorithms that rely only on data obtained automatically from the web. Since the sophisticated SVM based annotation techniques had been widely applied in the task last year (ImageCLEF 2013), for th...

One of the most ancient humankind concerns is knowledge formalization i.e. what a concept is. Concept Analysis, a branch of analytical philosophy, relies on the purpose of decompose the elements, relations and meanings of a concept. This paper aims at presenting a method to make a concept analysis obtaining a knowledge representation suitable to be processed by a computer system using either ob...