A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
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
2010
Proceedings of the 2nd International Workshop on Keyword Search on Structured Data - KEYS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Lecture Notes on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
{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 ...
CULTURAL CODE AND MYTH POETIC MODELING IN THE STRUCTURE OF THE ARTISTIC TEXT
2018
SERIES OF SOCIAL AND HUMAN SCIENCES
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
ISSUES OF WORD FORMATION MEANING IN CONTEMPORARY KAZAKH LANGUAGE DERIVATIVE MODELS
2019
SERIES OF SOCIAL AND HUMAN SCIENCES
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
PLoS ONE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
CLOTHES IN THE STRUCTURE OF THE LEXICO-SEMANTIC GROUPS OF THE KAZAKH LANGUAGE
2019
SERIES OF SOCIAL AND HUMAN SCIENCES
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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