Search results for "T-transitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
164	Bernard De Baets, Hans E. De Meyer, Karel De Loof	The Omnipresence of Cycle-Transitivity in the Comparison of Random Variables.	SMPS	2008	DBLP DOI BibTeX RDF	Cycle-transitivity, Random variables comparison, Reciprocal relation, T-transitivity, Transitivity, Poset, t-Norm, Copula
78	Susana Díaz, Bernard De Baets, Susana Montes	On the Transitivity of Fuzzy Indifference Relations.	IFSA	2003	DBLP DOI BibTeX RDF
78	Gianpiero Cattaneo, Alberto Dennunzio	Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity.	ACRI	2002	DBLP DOI BibTeX RDF
74	Pierluigi Minari	Analytic combinatory calculi and the elimination of transitivity.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Extensionality, Elimination of transitivity, Equational logic, Combinatory logic
66	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Francisco Herrera	Cardinal Consistency of Reciprocal Preference Relations: A Characterization of Multiplicative Transitivity.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
66	Randal E. Bryant, Miroslav N. Velev	Boolean satisfiability with transitivity constraints.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	formal verification, decision procedures, Boolean satisfiability
62	Jingwei Huang 0002, Mark S. Fox	An ontology of trust: formal semantics and transitivity.	ICEC	2006	DBLP DOI BibTeX RDF	transitivity of trust, trust formalization, web of trust, trust ontology
62	Wieslaw Szwast, Lidia Tendera	On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity.	LPAR	2005	DBLP DOI BibTeX RDF	computational complexity, transitivity, decision problem, guarded fragment, finite model
62	Hassan Bezzazi, Ramón Pino Pérez	Rational Transitivity and its Models.	ISMVL	1996	DBLP DOI BibTeX RDF	preferential models, rational monotony, injective models, contraposition, transitivity, Nonmonotonic logic
61	Orly Meir, Ofer Strichman	Yet Another Decision Procedure for Equality Logic.	CAV	2005	DBLP DOI BibTeX RDF
61	Bart De Schuymer, Hans E. De Meyer, Bernard De Baets	A Fuzzy Approach to Stochastic Dominance of Random Variables.	IFSA	2003	DBLP DOI BibTeX RDF
54	Giancarlo Guizzardi	The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited.	CAiSE	2009	DBLP DOI BibTeX RDF
54	Susana Díaz, Susana Montes, Bernard De Baets	Transitivity Bounds in Additive Fuzzy Preference Structures.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
54	Lian Li, Ma Jun, Song Ling	A Formal Study on the Transitivity of the Part-Whole Relations.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
54	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
54	Yukiko Sasaki Alam	Machine Translation among Languages with Transitivity Divergences Using the Causal Relation in the Interlingual Lexicon.	AMTA	1998	DBLP DOI BibTeX RDF
52	Bernard De Baets, Hans E. De Meyer	Transitivity frameworks for reciprocal relations: cycle-transitivity versus FG-transitivity.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
50	Chong-Wah Ngo, Wanlei Zhao, Yu-Gang Jiang	Fast tracking of near-duplicate keyframes in broadcast domain with transitivity propagation.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	keyframe tracking, keypoint matching, pattern entropy, transitivity propagation, near-duplicate detection
45	Gang Chen	Coercive subtyping for the calculus of constructions.	POPL	2003	DBLP DOI BibTeX RDF	calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion
42	Koen Thas	A generalized quadrangle of order (s, t) with center of transitivity is an elation quadrangle if s <= t.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	05B25, 20B25, AMS Classifications 51E12
42	Pierluigi Minari	Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05
42	Yong Luo 0001, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
36	Mathias Weller, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	On Making Directed Graphs Transitive.	WADS	2009	DBLP DOI BibTeX RDF
36	Miroslav N. Velev, Ping Gao 0002	Efficient SAT Techniques for Relative Encoding of Permutations with Constraints.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
36	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Francisco Herrera	Consistency of Reciprocal Preference Relations.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
36	Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen	Completeness in Two-Party Secure Computation: A Computational View.	J. Cryptol.	2006	DBLP DOI BibTeX RDF
36	Zaiwu Gong, Sifeng Liu	On Properties and the Corresponding Problems of Triangular Fuzzy Number Complementary Preference Relations.	FSKD	2006	DBLP DOI BibTeX RDF
36	Karel De Loof, Hans E. De Meyer, Bernard De Baets	Graded Stochastic Dominance as a Tool for Ranking the Elements of a Poset.	SMPS	2006	DBLP DOI BibTeX RDF
36	Xiujuan Geng, Dinesh K. Kumar, Gary E. Christensen	Transitive Inverse-Consistent Manifold Registration.	IPMI	2005	DBLP DOI BibTeX RDF
36	Aaron Stump, Li-Yang Tan	The Algebra of Equality Proofs.	RTA	2005	DBLP DOI BibTeX RDF
36	Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen	Completeness in two-party secure computation: a computational view.	STOC	2004	DBLP DOI BibTeX RDF	oblivious tansfer, completeness, secure computation
36	Miroslav N. Velev	Automatic Abstraction of Equations in a Logic of Equality.	TABLEAUX	2003	DBLP DOI BibTeX RDF
36	Gary E. Christensen	Minimizing sources of errors in medical image registration.	ISBI	2002	DBLP DOI BibTeX RDF
36	Soichi Kozai	A Mental Space Account for Speaker's Empathy: Japanese Profiling Identity vs. English Shading Identity.	CONTEXT	1999	DBLP DOI BibTeX RDF
36	Matthias Weber 0003	Deriving Transivity of VDM-Reification in DEVA.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
35	David Dekker, David Krackhardt, Tom A. B. Snijders	Transitivity correlation: A descriptive measure of network transitivity.	Netw. Sci.	2019	DBLP DOI BibTeX RDF
35	Susana Díaz, Susana Montes, Bernard De Baets	On Some Properties of the Negative Transitivity Obtained from Transitivity.	MDAI	2012	DBLP DOI BibTeX RDF
35	Susana Díaz, Bernard De Baets, Susana Montes	Transitivity and Negative Transitivity in the Fuzzy Setting.	Eurofuse	2011	DBLP DOI BibTeX RDF
33	Elia Zardini	A Model of Tolerance.	Stud Logica	2008	DBLP DOI BibTeX RDF	sorites paradox, transitivity of consequence, many-valued logics, vagueness, lattice theory
33	Zeshui Xu, Jian Chen	Group decision-making procedure based on incomplete reciprocal relations.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Incomplete reciprocal relation, Auxiliary reciprocal relation, Additive transitivity, Aggregation, Group decision making
33	Natasa Jonoska, Joni Burnette Pirnot	Finite State Automata Representing Two-Dimensional Subshifts.	CIAA	2007	DBLP DOI BibTeX RDF	two-dimensional subshift, transitivity, periodicity
33	Hsuan-Shih Lee, Ming-Tao Chou, Hsin-Hsiung Fang, Wei-Kuo Tseng, Chen-Huei Yeh	Estimating Missing Values in Incomplete Additive Fuzzy Preference Relations.	KES (2)	2007	DBLP DOI BibTeX RDF	Incomplete fuzzy preference relation, Estimation, Transitivity
33	Shu Li 0001	A Behavioral Choice Model When Computational Ability Matters.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	intuitive abilities, behavioural choice model, prominence effect, independence axiom, transitivity axiom
33	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement.	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
33	Aline Deruyver, Yann Hodé	Semantic graph and arc consistency in "true" three dimensional image labeling.	ICIP	1995	DBLP DOI BibTeX RDF	semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency
33	B. Bayerdorffer	Broadcast Time Warp.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation
33	Renate Motschnig-Pitrik	The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling	CAiSE	1993	DBLP DOI BibTeX RDF	data/knowledge modelling, part-of relations, knowledge representation, conceptual modelling, aggregation, object-oriented databases, inference, transitivity, semantic data models
33	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
30	Li Lifen	Trust Derivation and Transitivity in a Recommendation Trust Model.	CSSE (3)	2008	DBLP DOI BibTeX RDF
30	Elena Grigorescu, Tali Kaufman, Madhu Sudan 0001	2-Transitivity Is Insufficient for Local Testability.	CCC	2008	DBLP DOI BibTeX RDF	error correcting codes, property testing, sublinear time algorithms
30	Susanne Saminger, Ulrich Bodenhofer, Erich-Peter Klement, Radko Mesiar	Aggregation of Fuzzy Relations and Preservation of Transitivity.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
30	Lidia Tendera	Counting in the Two Variable Guarded Logic with Transitivity.	STACS	2005	DBLP DOI BibTeX RDF
24	Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar	Timetraveler: exploiting acyclic races for optimizing memory race recording.	ISCA	2010	DBLP DOI BibTeX RDF	race recording, debugging, determinism, replay
24	Anthony Bonato, Noor Hadi, Paul Horn, Pawel Pralat, Changping Wang	A Dynamic Model for On-Line Social Networks.	WAW	2009	DBLP DOI BibTeX RDF
24	Hsuan-Shih Lee, Chen-Huei Yeh	Fuzzy Multi-criteria Decision Making Based on Fuzzy Preference Relation.	KES (2)	2008	DBLP DOI BibTeX RDF
24	Francesco Buccafurri, Gianluca Lax	Enabling Selective Flooding to Reduce P2P Traffic.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
24	Laurent Bienvenu, Mathieu Sablik	The Dynamics of Cellular Automata in Shift-Invariant Topologies.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
24	Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz 0001, Kent A. Spackman	Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators.	AIME	2007	DBLP DOI BibTeX RDF
24	Ji-bin Lan, Fang Liu	A Convex Combination Approach for the Weights of Interval Fuzzy Preference Relation.	FSKD (1)	2007	DBLP DOI BibTeX RDF
24	Jian Huang 0002, Seyda Ertekin, C. Lee Giles	Efficient Name Disambiguation for Large-Scale Databases.	PKDD	2006	DBLP DOI BibTeX RDF
24	Audun Jøsang, Stephen Marsh 0001, Simon Pope	Exploring Different Types of Trust Propagation.	iTrust	2006	DBLP DOI BibTeX RDF
24	Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
24	Masahito Kurihara, Hisashi Kondo	Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.	IEA/AIE	2004	DBLP DOI BibTeX RDF
24	Ángel Mora 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán	An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.	CAEPIA	2003	DBLP DOI BibTeX RDF
24	David A. Randell, Anthony G. Cohn 0001, Zhan Cui	Computing Transivity Tables: A Challenge For Automated Theorem Provers.	CADE	1992	DBLP DOI BibTeX RDF
24	Larry M. Hines	Str+ve-Subset: The Str+ve-based Subset Prover.	CADE	1990	DBLP DOI BibTeX RDF
20	Rachid Saadi, Jean-Marc Pierson, Lionel Brunie	T2D: a peer to peer trust management system based on disposition to trust.	SAC	2010	DBLP DOI BibTeX RDF	disposition to trust, trust propagation, trust transitivity, trust, P2P network, subjectivity
20	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
20	Wit Forys, Piotr Oprocha	Infinite Traces and Symbolic Dynamics.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Shift on traces, Entropy, Trace, Transitivity, Word, Dynamical language, Shift
20	Jure Leskovec, Lars Backstrom, Ravi Kumar 0001, Andrew Tomkins	Microscopic evolution of social networks.	KDD	2008	DBLP DOI BibTeX RDF	triadic closure, social networks, maximum likelihood, transitivity, network evolution, graph generators
20	Danko Nikolic	Non-parametric detection of temporal order across pairwise measurements of time delays.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Phase offset, Temporal-order code, Transitivity, Additivity, Cross correlation
20	Zeshui Xu	A Method for Estimating Criteria Weights from Intuitionistic Preference Relations.	ICFIE	2007	DBLP DOI BibTeX RDF	Intuitionistic preference relation, consistent intuitionistic preference relation, weak transitivity, priority vector, linear programming model
20	Eunryoung Lee, Ae-sun Yoon, Hyuk-Chul Kwon	Exploiting Morpho-syntactic Features for Verb Sense Distinction in KorLex.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	KorLex, Korean wordnet, verb sense distinction, transitivity alternation, Korean middle verbs, WordNet
20	Peter Dawyndt, Hans E. De Meyer, Bernard De Baets	The complete linkage clustering algorithm revisited.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Similarity-based clustering, Transitive opening, Hierarchical clustering, Transitivity, Similarity relation
20	Stephen Marsh 0001, Pamela Briggs, Waleed Wagealla	Considering trust in ambient societies.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	ambient trust, clarity of explanation, ubiquitous computing, trust, transitivity
20	Bernard De Baets, Hans E. De Meyer	Transitive approximation of fuzzy relations by alternating closures and openings.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Min-transitive approximation, Transitive opening, Transitivity, Transitive closure, Fuzzy relation, Copula, Triangular norm
20	Johanna Seibt	Formal process ontology.	FOIS	2001	DBLP DOI BibTeX RDF	count term, mass term, stuff, substance, thing, ontology, process, event, emergence, aspect, action, transitivity, category, individual, mereology, noun, verb
20	Harald Ganzinger, Christoph Meyer 0001, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
20	S. G. Foss	On the ergodicity conditions for stochastically recursive sequences.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	metrical transitivity, stochastically recursive sequence, ergodicity, Stationarity
17	Yassin Mohamadi, Mostafa Haghir Chehreghani	Strong Transitivity Relations and Graph Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
17	Van Thuy Hoang, O-Joun Lee	Transitivity-Preserving Graph Representation Learning for Bridging Local Connectivity and Role-Based Similarity.	AAAI	2024	DBLP DOI BibTeX RDF
17	Mark D. Tomenes, Ma. Louise Antonette De Las Penas	Construction of Tilings with Transitivity Properties on the Square Grid.	DGMM	2024	DBLP DOI BibTeX RDF
17	Artem Chernikov, Byunghan Kim, Nicholas Ramsey	Transitivity, Lowness, and ranks in Nsop Theories.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
17	Yu Tai, Hui He, Weizhe Zhang, Hongwei Yang, Xinglong Wu, Yan Wang 0002	Predicting information diffusion using the inter- and intra-path of influence transitivity.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
17	Pranava K. Jha	Vertex transitivity and distance metric of the quad-cube.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
17	Fang Liu 0017, Shu-Cai Zou, Witold Pedrycz	Measuring Weak Consistency and Weak Transitivity of Pairwise Comparison Matrices.	IEEE Trans. Cybern.	2023	DBLP DOI BibTeX RDF
17	Chuck Bradley, Ronnie B. Wilbur	Visual Form and Event Semantics Predict Transitivity in Silent Gestures: Evidence for Compositionality.	Cogn. Sci.	2023	DBLP DOI BibTeX RDF
17	Lantao You, Jianfeng Jiang, Yuejuan Han	Communication performance and vertex-transitivity on folded locally twisted cube.	Int. J. Comput. Math. Comput. Syst. Theory	2023	DBLP DOI BibTeX RDF
17	Abhra Chaudhuri, Massimiliano Mancini, Zeynep Akata, Anjan Dutta 0001	Transitivity Recovering Decompositions: Interpretable and Robust Fine-Grained Relationships.	CoRR	2023	DBLP DOI BibTeX RDF
17	Anthony Bonato, Ketan Chaudhary	The Iterated Local Transitivity Model for Tournaments.	CoRR	2023	DBLP DOI BibTeX RDF
17	Amir M. Mir, Mehdi Keshani, Sebastian Proksch	On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem.	CoRR	2023	DBLP DOI BibTeX RDF
17	Yang Li, Kun Xiong, Yingping Zhang, Jiangcheng Zhu, Stephen McAleer, Wei Pan, Jun Wang 0012, Zonghong Dai, Yaodong Yang 0001	JiangJun: Mastering Xiangqi by Tackling Non-Transitivity in Two-Player Zero-Sum Games.	CoRR	2023	DBLP DOI BibTeX RDF
17	Van Thuy Hoang, O-Joun Lee	Transitivity-Preserving Graph Representation Learning for Bridging Local Connectivity and Role-based Similarity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Olga V. Demler, Ilona A. Demler	Non-Transitivity of the Win Ratio and the Area Under the Receiver Operating Characteristics Curve (AUC): a case for evaluating the strength of stochastic comparisons.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shuyun Yang, Hongying Zhang 0001, Guang Shi, Yingjian Zhang	Attribute reductions of quantitative dominance-based neighborhood rough sets with A-stochastic transitivity of fuzzy preference relations.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
17	Natalie C. Behague, Anthony Bonato, Melissa A. Huggan, Rehan Malik, Trent G. Marbach	The iterated local transitivity model for hypergraphs.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
17	Guillaume Péron	Weighting the transitivity of undirected weighted social networks with triadic edge dissimilarity scores.	Soc. Networks	2023	DBLP DOI BibTeX RDF
17	Subhabrata Paul, Kamal Santra	Transitivity on subclasses of bipartite graphs.	J. Comb. Optim.	2023	DBLP DOI BibTeX RDF
17	Subhabrata Paul, Kamal Santra	Transitivity on Subclasses of Chordal Graphs.	CALDAM	2023	DBLP DOI BibTeX RDF
17	Amir M. Mir, Mehdi Keshani, Sebastian Proksch	On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem.	SANER	2023	DBLP DOI BibTeX RDF