Results 261 to 270 of about 15,062 (305)
Some of the next articles are maybe not open access.

On computing the transitive closure of a state transition relation

Proceedings of the 30th international on Design automation conference - DAC '93, 1993
We describe a new, recursive-descent procedure for the computation of the transitive closure of a transition relation. This procedure is the classic binary matrix procedure of [1], adapted to a BDD data structure. We demonstrate its efficacy when compared to standard iterative methods.
Yusuke Matsunaga   +2 more
openaire   +1 more source

Transitivity in semantic relation learning

Proceedings of the 6th International Conference on Natural Language Processing and Knowledge Engineering(NLPKE-2010), 2010
Text understanding models exploit semantic networks of words as basic components. Automatically enriching and expanding these resources is then an important challenge for NLP. Existing models for enriching semantic resources based on lexical-syntactic patterns make little use of structural properties of target semantic relations.
Francesca Fallucchi   +1 more
openaire   +1 more source

On computing the transitive closure of a relation

Acta Informatica, 1977
An algorithm is presented for computing the transitive closure of an arbitrary relation which is based upon Tarjan's algorithm [7] for finding the strongly connected components of a directed graph. A new formulation, justifying a somewhat simplified statement of the latter, characterises weaker restrictions on the form of the graph traversal than ...
J. Eve, Reino Kurki-Suonio
openaire   +1 more source

Transitivity frameworks for reciprocal relations: cycle-transitivity versus -transitivity

Fuzzy Sets and Systems, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bernard De Baets, Hans E. De Meyer
openaire   +1 more source

‘Transitivity’ of Consequence Relations

2015
A binary relation R on a set S is transitive iff for all a, b, c ∈ S, if aRb and bRc, then aRc. This almost never applies to the relations logicians tend to think of as consequence relations; where such relations are relations on a set at all, they are rarely transitive.
openaire   +1 more source

Partition Relations and Transitivity Domains of Binary Relations

Journal of the London Mathematical Society, 1967
The main theorem is Theorem 2: For all positive integers \(m\) and \(n\), for some positive integer \(l(m,n)\), for each ordinal number \(\alpha\), \(\omega_\alpha l(m,n) \to (m,\omega_\alpha n)^2\); if \(l_\alpha(m,n)\) is the least such \(l(m,n)\) for a given \(\alpha\), then \(\gamma \mapsto(m,\omega_\alpha n)^2\) for each \(\gamma > \omega_\alpha ...
Erdős, Paul, Rado, R.
openaire   +2 more sources

Peer relations in the transition to adolescence

2002
Publisher Summary This chapter deals with two social and emotional competencies—friendship quality and self-regulation. Children's perceptions of the quality of their close friendships are direct measure of an affective peer relationship. Self-regulation as perceived by others may be considered an indirect measure of peer relations.
Carollee, Howes, Julie Wargo, Aikins
openaire   +2 more sources

On the Transitivity of Fuzzy Indifference Relations

2003
Transitivity is an essential property in preference modelling. In this work we study this property in the framework of fuzzy preference structures. In particular, we discuss the relationship between the transitivity of a fuzzy large preference relation R and the transitivity of the fuzzy indifference relation I obtained from R by some of the most ...
Susana Díaz   +2 more
openaire   +1 more source

Relational Transition System in Maude

2017
Transition systems in which the state is described by a relational database found applications in artifact centric business process modeling, where the business artifacts are often modeled relationaly. We describe a framework implemented in term rewriting system Maude for specifying and model checking relational transition systems.
Bartosz Zielinski 0002, Pawel Maslanka
openaire   +1 more source

Cyclic Evaluation of Transitivity of Reciprocal Relations

Social Choice and Welfare, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
De Baets, B.   +3 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy