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.
Meta-data is a kind of data which can be used to describe and locate resources. The paper has investigated the meta-data and put up with the framework architecture of a semantic meta-data based on ontology. A semantic ontology library for Beijing Opera is built in this paper, and gets the conclusion that it is feasible to describing with semantic meta-data based on ontology.
Craig interpolants are widely used in program verification as a means of abstraction. In this paper, we (i) introduce Partial Variable Assignment Interpolants (PVAIs) as a generalization of Craig interpolants. A variable assignment focuses computed interpolants by restricting the set of clauses taken into account during interpolation. PVAIs can be for example employed in the context of DAG interpolation,...
We report here how depth of field (DOF) affects the aesthetic appeal of photographs for different content categories. 339 photographs spanning eight categories were selected from Flickr, Google+, and personal collections. First, we classified the 339 photographs into three levels of depth of field: small, medium, and large. Then, we asked participants to rate the aesthetic appeal of these photographs...
Verification of concurrent systems is difficult because of their inherent nondeterminism. Modern verification requires clean specifications of inter-thread interferences and modular reasoning over separated components. But for message-passing models, a general reasoning system, which meets these standards, is still in demand. Here we propose a new logic for verifying distributed programs modularly...
BPEL has emerged as the de facto industry standard for composing web services. In this paper, we focus on a core subset of BPEL, called BPEL, and provide a set of rules for translating BPEL into the process algebra language mCRL2, which can be used to verify properties of BPEL processes. An employee travel arrangement example is provided to show our approach.
The significance of time in information production and consumption has been recognised in information retrieval research. Temporal information plays an important role in the webpage retrieval. The webpage has both the temporal metadata and temporal semantics in the content. However, the existing search engines conduct the information retrieval based on text keywords rather than temporal semantics...
In a Secure Multiparty Computation (SMC), mutually distrusting parties use cryptographic techniques to cooperatively compute over their private data, in the process each party learns only explicitly revealed outputs. In this paper, we present Wysteria, a high-level programming language for writing SMCs. As with past languages, like Fairplay, Wysteria compiles secure computations to circuits that are...
Tibetan information processing technology has made some advances. However it still does not keep up with the development of today's information age. The semantic study based on the Tibetan Ontology is important and valuable. In this paper, we propose an approach of Tibetan concept similarity computation based on Ontology. It considers four aspects such as the semantic coincidence degree, the semantic...
We provide a general method for generating cut-free and/or analytic hyper sequent Gent Zen-type calculi for a variety of normal modal logics. The method applies to all modal logics characterized by Kripke frames, transitive Kripke frames, or symmetric Kripke frames satisfying some properties, given by first-order formulas of a certain simple form. This includes the logics KT, KD, S4, S5, K4D, K4.2,...
We employ the well-developed and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron's bilattice logic, itself based on Belnap's four-valued logic. We obtain soundness and completeness of a Hilbert-style derivation system for this logic with respect to four-valued Kripke frames, the standard notion of model in this...
We show that all (not necessarily normal or monotone) modal logics that can be axiomatised in rank-1 have the interpolation property, and that in fact interpolation is uniform if the logics just have finitely many modal operators. As immediate applications, we obtain previously unknown interpolation theorems for a range of modal logics, containing probabilistic and graded modal logic, alternating...
This paper presents the solution of the team "ISSSID" for the Consumer Products Contest #1(CPROD1) of ICDM 2012. The contest provides a dataset including hundreds of thousands of text items, a product catalog with over fifteen million products, and hundreds of manually annotated product mentions. The goal of the competition is to automatically recognize product mentions in the textual content...
Schema versioning is an indispensable feature for applications using temporal databases and requiring an entire history of data and schema. ôXSchema [7] is an infrastructure for constructing and validating temporal XML documents, but any explicit support for XML schema versioning is offered. A ôXSchema schema is composed of a conventional XML Schema document annotated with physical and logical annotations...
Measure of medium truth degree MMTD is a new numerical quantification approach processing vague phenomenon, which has found effective application in some fields. MMTD is based on medium logics ML whose major philosophical background is the opposite that limits the application area of MMTD. To counter de-emphasizing ‘the greatest difference’ between the two sites of inverse opposite concept, the idea...
SPARQL is a standard query language for RDF data that are commonly used to represent and store Semantic Web data. There are a lot of SPARQL endpoints to retrieve and see the data by SPARQL queries. Although it greatly helps us query semantic data with ontologies, their diversity of ontologies make it difficult to query the data without understanding of their target ontologies. Although it is possible...
Sentiment (or opinionated) lexicon plays an important part in sentiment analysis (or opinion mining) tasks. With the popularity of Social Network platforms such as tweeter and microblog, net neologisms welcome the spring of development and popularity. With the blooming of net neologisms, it is quite necessary to identify new sentiment words and improve current sentiment lexicon. This paper proposes...
There is a plethora of international courses for applicants to choose from. Recent economic developments have triggered the proliferation of alternative studying modes and educational provision around the globe. There is an increasing focus on course pathways leading to more complex study modes and possibly a combination of academic provision and employer focused professional development. It is evident...
We equip labelled transition systems (LTSs) with unidirectional counters (UCs) which can be initialised to an arbitrary positive value and decremented but not incremented. This formalism, called UCLTSs, enables one to express fairness properties of concurrent systems in a finite form and reason about them in a compositional, refinement-based fashion. Technically, we first show how to apply CSP-style...
The classical ReliefF and F-statistic feature selections can not be directly applied into multi-label problems due to the ambiguity produced from a data point attributed to multiple classes simultaneously. In this paper, we present MReliefF and MF-statistic algorithms for multi-label feature selections. Discriminant features are selected to boost the multi-label classification accuracy. The proposed...
In healthcare there are perceived benefits in the integration of multi-institutional patient data. The use of multiagent systems may facilitate the discovery and retrieval of patient data from the multiple health institutions that the patient has come into contact with. The main objective of this work is to define an architecture that allows agents to seek and collect health data from an HL7 based...
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.