5,828 Hits in 2.0 sec

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules [chapter]

Pedro R. D'Argenio, Daniel Gebler, Matias David Lee
2014 Lecture Notes in Computer Science  
The construction is based on the method of Aceto, Bloom and Vaandrager developed for non-deterministic transition system specifications.  ...  Furthermore, we generalize this method to axiomatize the strong and convex metric bisimulation distance of PTSS.  ...  In order to guarantee ground-completeness, we adapt the notion of semantic wellfoundedness of [1] to our setting.  ... 
doi:10.1007/978-3-642-54830-7_19 fatcat:dg53fmunxfc6hlomlm7pbk7e7q

Multi-dimensional keyword-based image annotation and search

Ilaria Bartolini, Paolo Ciaccia
2010 Proceedings of the 2nd International Workshop on Keyword Search on Structured Data - KEYS '10  
Then, we describe how semantic tags can be effectively used for the purpose of improving the precision of keyword search.  ...  Scenique is based on a multi-dimensional model, where each dimension is a tree-structured taxonomy of concepts, also called semantic tags, that are used to describe the content of images.  ...  Figure 4 ( 4 b) completes the example of Figure 4 (a) showing the utility values of all candidates.  ... 
doi:10.1145/1868366.1868371 dblp:conf/sigmod/BartoliniC10 fatcat:piaexsnorzgadd57teuavpf7ni

A New Metadata Language for Software Requirements

A. Chikh, F. Al-Qershi
2013 Lecture Notes on Software Engineering  
The main aim of this paper is to elucidate how we can provide a set of more powerful software requirements targeted to facilitate their retrieval.  ...  So a central challenge for this research work is to define a new concept of software requirement object as combining two kinds of knowledge: 1) requirements knowledge and 2) metadata knowledge.  ...  5 Req. specific This category describes the key semantic characteristics of the RK as a requirement. 5.1 Level The level of RK according the goal level scale.  ... 
doi:10.7763/lnse.2013.v1.58 fatcat:rhcohhwxlvaszilibwiap3dtpy

Kripke semantics for fuzzy logics

Parvin Safari, Saeed Salehi
2016 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
It turns out that the only fuzzy logics (logics containing the Basic Fuzzy Logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the G\"odel Logic (or  ...  Kripke frames (and models) provide a suitable semantics for sub-classical logics, for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with  ...  It could be expected that a class of Kripke frames could provide a suitable semantics for the Basic Fuzzy Logic (introduced in [4] ).  ... 
doi:10.1007/s00500-016-2387-4 fatcat:dzdu6o55sbcpxc4uvefusrbg4q

Page 3645 of Mathematical Reviews Vol. , Issue 94g [page]

1994 Mathematical Reviews  
{For the entire collection see MR 94d:68005.} 942:03040 03B46 03B45 Mares, Edwin D. (3-DLHS-Q; Halifax, NS) The semantic completeness of RK. (English summary) Rep. Math.  ...  ., to appear] to show that the system RK is complete over an exten- sion of the Routley-Meyer semantics.” 949:03041 03B48 Gauthier, Yvon (3-MTRL; Montreal, PQ) La logique interne de la théorie des probabilités  ... 


S.М. Altybayeva, Doctor of Philology, Head researcher of Ablai Khan Kazakh university of international relations and world languages, Е.S. Sagyndykov,,, Master of pedagogical sciences, Junior researcher of Ablai Khan Kazakh university of international relations and world languages, Almaty, Kazakhstan,;
However, in any case, the mythology of the text increases, especially in the paradoxical case of complete destruction of the semantics and stylistics of the classical myth-base.  ...  Akunin), retaining the external attributes of the archaic myth (mythonymss, myth toponyms, body and portrait characteristics, the general scheme of the myth), but almost completely modifying the semantics  ...  The editors have complete responsibility and authority to reject or accept a paper, and they will only accept a paper when reasonably certain.  ... 
doi:10.32014/2018.2224-5294.1 fatcat:hgrynwdabjhxxk5bqrdcpc36jy


Aigul Bizhkenova, Sagima Sultanbekova
The article contains theoretical and practical results of the study of the internal and semantic content of new words in the modern Kazakh language.  ...  The author offers to consider modeling as a basis in the process of forming a new language unit, notes the lingo-communicative features of the model, and also demonstrates the results of perception of  ...  of formations that have a uniform direction of the expressed semantics.  ... 
doi:10.32014/2019.2224-5294.50 fatcat:lpwhup35kjhdnmb4sviufgfaqu

Standard Sequent Calculi for Lewis' Logics of Counterfactuals [chapter]

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2016 Lecture Notes in Computer Science  
In the second version, the calculi comprise invertible rules, they allow for terminating proof search and semantical completeness.  ...  We present two equivalent versions of the calculi: in the first one, the calculi comprise simple rules; we show that for the basic case of logic V, the calculus allows for syntactic cut-elimination, a  ...  Semantic Completeness In this section we prove the semantic completeness of I i L . In order to simplify the proof we adopt a cumulative version of rules → L , → R , R and com i .  ... 
doi:10.1007/978-3-319-48758-8_18 fatcat:grbbjbw6xfh7dhf7ma46drr4ke

The Hippocampus Remains Activated over the Long Term for the Retrieval of Truly Episodic Memories

Caroline Harand, Françoise Bertran, Renaud La Joie, Brigitte Landeau, Florence Mézenge, Béatrice Desgranges, Philippe Peigneux, Francis Eustache, Géraldine Rauchs, Erik C. Johnson
2012 PLoS ONE  
At variance, memories becoming semantic over time consolidate through strengthening of cortico-cortical connections and progressive disengagement of the hippocampus.  ...  The role of the hippocampus in declarative memory consolidation is a matter of intense debate.  ...  Bontempi for insightful comments on earlier versions of the manuscript. Author Contributions  ... 
doi:10.1371/journal.pone.0043495 pmid:22937055 pmcid:PMC3427359 fatcat:6ycklpez3bgyneg3aydghpzfzi

Semantics and Proof Theory of the Epsilon Calculus [article]

Richard Zach
2016 arXiv   pre-print
The system itself is discussed, also relative to possible semantic interpretations. The problems facing the development of proof-theoretically well-behaved systems are outlined.  ...  The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and accessible presentations of its theory on the other.  ...  Below we present the first two versions of the semantics of the ε-calculus and sketch completeness results.  ... 
arXiv:1610.06289v1 fatcat:ibevxc36lrg4zfznvwpyebfllq


D.K Nygmanova
Clothing in the structure of the lexicon-semantic groups of the Kazakh language is of great cognitiveethno-linguistic interest from the point of view of science, so the words belonging to this group inform  ...  At the same time, the ethno-linguistic study of the everyday vocabulary of the Kazakhs within the framework of the language material of the Kazakh epos is an important task of historical lexicology.  ...  The following classification of semantic units was obtained.  ... 
doi:10.32014/2019.2224-5294.21 fatcat:4ptlc7a2mbd5pdyb4wmhdhuf4a

A Plausibility Semantics for Abstract Argumentation Frameworks [article]

Emil Weydert
2014 arXiv   pre-print
In this context, we consider the path from structured to logical to shallow semantic instantiations. The resulting well-justified JZ-extension semantics diverges from more traditional approaches.  ...  We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking construction  ...  Up to boolean isomorphy, it is completely characterized by the cardinality of A.  ... 
arXiv:1407.4234v1 fatcat:szqs67eml5hnjigcm4rxkdprmm

The HWS hybrid web search

Lixin Han, Guihai Chen
2006 Information and Software Technology  
The widespread availability of machine understandable information on the Semantic Web offers some opportunities to improve traditional search.  ...  The components in HWS are described in detail, including several novel algorithms proposed to support the hybrid web search. q  ...  Thus, through using the RK algorithm, all frequent itemsets can be obtained. The RK algorithm only finds part of related frequent itemsets instead of all of them.  ... 
doi:10.1016/j.infsof.2005.07.005 fatcat:rvycgjhwrvfhdfvpvjrwysbbti

A Generative Model for Exploring Structure Regularities in Attributed Networks [article]

Zhenhai Chang, Caiyan Jia, Xianjun Yin, Yimei Zheng
2019 arXiv   pre-print
provides good semantic interpretation for each community via the learned relationship between the community and its related attributes.  ...  Experimental results on artificial networks and real networks containing various structures have shown that the proposed model PSB_PG is not only competitive with the state-of-the-art models, but also  ...  We select the top 100 attributes for each community according to their values of inferred φ rk . The semantics implied in each community can be visualized by Figure 5 .  ... 
arXiv:1901.08696v1 fatcat:224ozuskzzfztl4kj6jbvjhzwe

Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity [chapter]

Herman J. ter Horst
2005 Lecture Notes in Computer Science  
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailment.  ...  Almost all examples in the DAML set of test rules are covered by our approach. For a set of rules R, we define a general notion of R-entailment.  ...  Many thanks to Warner ten Kate, Jan Korst and the anonymous reviewers for their useful comments about the manuscript.  ... 
doi:10.1007/11574620_48 fatcat:p4t7sw7x55herh6obwmlalr3ki
« Previous Showing results 1 — 15 out of 5,828 results