The WWW became the main resource of mathematical knowledge. Currently available full text search engines can be used on these documents but they are deficient in almost all cases. By applying axioms, equal transformations, and by using different notation each formula can be expressed in numerous ways. Most of these documents do not contain semantic information; therefore, precise mathematical i...

Emergence of heterogeneous engineering domains that cross disciplinary boundaries lead to design flows that span multiple Domain Specific Modeling Languages (DSML). Analyzing system level behavior and pursuing cross-domain trade-offs requires the semantic integration of modeling domains. Driven by the specific needs of and our experience with design automation tool suites for Cyber-Physical Sys...

In this paper we discuss projective, exact and extendable formulas of the intuitionistic propositional calculus IPC. Exact formulas were introduced in [6] as the formulas that axiomatize the theories of substitutions. In an attempt to find a semantic characterization of exact formulas, de Jongh and Visser [7] defined the notion of extendable formulas and proved that every exact formula is exten...

EFFECTS Effect representing class of specific effects named abstract effect (AE). All kinds of specific effects (SE) can be collected into classes of AE. It is true not only for effects but for different kinds of information from literature in general. Any types of documents from different fields can be classified by extracting of different kinds of AE from them. Let’s analyze effect of change ...

Content-based video retrieval is emerging as an important part in the process of utilization of various multimedia documents. In this report we present a novel system for the automatic indexing and content-based retrieval of multimedia documents. We chose the domain of Formula 1 sport videos because the manual annotation of Formula 1 races is complicated and time consuming. Our system uses mult...

In this paper, we attempt to capture the notion of usefulness in propositional language. We believe that classical implication captures a certain kind of usefulness, and name it strict usefulness. We say that a formula P is strictly useful to a formula Q under a formula set Γ if and only if P implies Q under Γ in classical propositional logic. We also believe that classical implication is too s...

The ARXMLIV corpus is a remarkable collection of text containing scientific mathematical discourse. With more than half a million documents, it is an ambitious target for large scale linguistic and semantic analysis, requiring a generalized and distributed approach. In this paper we implement an architecture which solves and automates the issues of knowledge representation and knowledge managem...

How much is 131 million US dollars? To help readers put such numbers in context, we propose a new task of automatically generating short descriptions known as perspectives, e.g. “$131 million is about the cost to employ everyone in Texas over a lunch period”. First, we collect a dataset of numeric mentions in news articles, where each mention is labeled with a set of rated perspectives. We then...