Search results for "transitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Bernard De Baets, Hans 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
3	Jingwei Huang, 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
3	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
3	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
3	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
3	Hassan Bezzazi, Ramón Pino Pérez	Rational Transitivity and its Models. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	preferential models, rational monotony, injective models, contraposition, transitivity, Nonmonotonic logic
2	Francisco Chiclana, Enrique Herrera-Viedma, Sergio Alonso, Francisco Herrera	Cardinal Consistency of Reciprocal Preference Relations: A Characterization of Multiplicative Transitivity.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
2	Giancarlo Guizzardi	The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited.	CAiSE	2009	DBLP DOI BibTeX RDF
2	Koen Thas	A generalized quadrangle of order (s, t) with center of transitivity is an elation quadrangle if s <= t.	Des. Codes Cryptography	2008	DBLP DOI BibTeX RDF	05B25, 20B25, AMS Classifications 51E12
2	Li Lifen	Trust Derivation and Transitivity in a Recommendation Trust Model.	CSSE	2008	DBLP DOI BibTeX RDF
2	Elena Grigorescu, Tali Kaufman, Madhu Sudan	2-Transitivity Is Insufficient for Local Testability.	IEEE Conference on Computational Complexity	2008	DBLP DOI BibTeX RDF	error correcting codes, property testing, sublinear time algorithms
2	Elia Zardini	A Model of Tolerance.	Studia Logica	2008	DBLP DOI BibTeX RDF	sorites paradox, transitivity of consequence, many-valued logics, vagueness, lattice theory
2	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
2	Susana Díaz, Susana Montes, Bernard De Baets	Transitivity Bounds in Additive Fuzzy Preference Structures.	IEEE T. Fuzzy Systems	2007	DBLP DOI BibTeX RDF
2	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
2	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	2007	DBLP DOI BibTeX RDF	Incomplete fuzzy preference relation, Estimation, Transitivity
2	Natasa Jonoska, Joni Burnette Pirnot	Finite State Automata Representing Two-Dimensional Subshifts.	CIAA	2007	DBLP DOI BibTeX RDF	two-dimensional subshift, transitivity, periodicity
2	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
2	Lian Li, Ma Jun, Song Ling	A Formal Study on the Transitivity of the Part-Whole Relations.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
2	Lidia Tendera	Counting in the Two Variable Guarded Logic with Transitivity.	STACS	2005	DBLP DOI BibTeX RDF
2	Shu Li	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
2	Susana Díaz, Bernard De Baets, Susana Montes	On the Transitivity of Fuzzy Indifference Relations.	IFSA	2003	DBLP DOI BibTeX RDF
2	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
2	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
2	Gianpiero Cattaneo, Alberto Dennunzio	Chaotic Subshifts Generated by One Dimensional Elementary CA. The Role of Transitivity.	ACRI	2002	DBLP DOI BibTeX RDF
2	Yong Luo, Zhaohui Luo, Sergei Soloviev	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
2	Yong Luo, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
2	Michael Poppleton, Richard Banach	Retrenchment: Extending the Reach of Refinement. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	development calculus, simulation, composition, refinement, monotonicity, transitivity, B-Method, weakest precondition, predicate transformer, retrenchment, stepwise development
2	Yukiko Sasaki Alam	Machine Translation among Languages with Transitivity Divergences Using the Causal Relation in the Interlingual Lexicon.	AMTA	1998	DBLP DOI BibTeX RDF
2	B. Bayerdorffer	Broadcast Time Warp.	HICSS	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
2	Aline Deruyver, Yann Hodé	Semantic graph and arc consistency in "true" three dimensional image labeling. (PDF / PS)	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
2	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
2	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
1	André Galligo, Laurent Miclo	On the cut-off phenomenon for the transitivity of randomly generated subgroups.	Random Struct. Algorithms	2012	DBLP DOI BibTeX RDF
1	Joseph A. Laronge	A Generalizable Argument Structure Using Defeasible Class-inclusion Transitivity for Evaluating Evidentiary Probative Relevancy in Litigation.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
1	Steffen Bartsch, Karsten Sohr, Michaela Bunke, Oliver Hofrichter, Bernhard J. Berger	The Transitivity of Trust Problem in the Interaction of Android Applications	CoRR	2012	DBLP BibTeX RDF
1	Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade	Qualitative and quantitative conditions for the transitivity of perceived causation: - Theoretical and experimental results.	Ann. Math. Artif. Intell.	2012	DBLP DOI BibTeX RDF
1	Rino Falcone, Cristiano Castelfranchi	Trust and Transitivity: How Trust-Transfer Works.	PAAMS (Special Sessions)	2012	DBLP DOI BibTeX RDF
1	Audun Jøsang, Tanja Azderska, Stephen Marsh	Trust Transitivity and Conditional Belief Reasoning.	IFIPTM	2012	DBLP DOI BibTeX RDF
1	Franklin Camacho, Ramón Pino Pérez	Dominance plausible rule and transitivity.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Conal Duddy, Juan Perote-Peña, Ashley Piggins	Arrow's theorem and max-star transitivity.	Social Choice and Welfare	2011	DBLP DOI BibTeX RDF
1	Tobias Wittkop, Sven Rahmann, Richard Röttger, Sebastian Böcker, Jan Baumbach	Extension and Robustness of Transitivity Clustering for Protein-Protein Interaction Network Analysis.	Internet Mathematics	2011	DBLP DOI BibTeX RDF
1	Andreas I. Reppas, Konstantinos G. Spiliotis, Constantinos I. Siettos	On the effect of the path length and transitivity of small-world networks on epidemic dynamics	CoRR	2011	DBLP BibTeX RDF
1	Vladimir Anashin, Andrei Khrennikov, Ekaterina Yurova	T-functions revisited: New criteria for bijectivity/transitivity	CoRR	2011	DBLP BibTeX RDF
1	Tianqiu Yu	The transitivity in simultaneous stabilization.	Systems & Control Letters	2011	DBLP DOI BibTeX RDF
1	Davide Martinetti, Ignacio Montes, Susana Díaz, Susana Montes	A study on the transitivity of probabilistic and fuzzy relations.	Fuzzy Sets and Systems	2011	DBLP DOI BibTeX RDF
1	Shuaa Aldhafeeri, Robert T. Curtis	A Character Condition for Quadruple Transitivity.	Int. J. Math. Mathematical Sciences	2011	DBLP DOI BibTeX RDF
1	Robert Demolombe	Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic.	CLIMA	2011	DBLP DOI BibTeX RDF
1	Mohsen Jamali, Martin Ester	A Transitivity Aware Matrix Factorization Model for Recommendation in Social Networks.	IJCAI	2011	DBLP BibTeX RDF
1	You-Shan Chung, Keh-Jiann Chen	動補結構的及物性及修飾對象 (Transitivity of a Chinese Verb-result Compound and Affected Argument of the Result Verb) [In Chinese].	ROCLING	2011	DBLP BibTeX RDF
1	Ioan Alfred Letia, Radu Razvan Slavescu	FloodTrust for Improved Trust Transitivity.	IAT	2011	DBLP DOI BibTeX RDF
1	Zhijun Zhang, David J. Sahn, Xubo B. Song	Temporal Diffeomorphic Motion Analysis from Echocardiographic Sequences by Using Intensity Transitivity Consistency.	STACOM	2011	DBLP DOI BibTeX RDF
1	Guanfeng Liu, Yan Wang, Mehmet A. Orgun	Trust Transitivity in Complex Social Networks.	AAAI	2011	DBLP BibTeX RDF
1	Zohar Itzhaki, Eyal Akiva, Hanah Margalit	Preferential use of protein domain pairs as interaction mediators: order and transitivity.	Bioinformatics	2010	DBLP DOI BibTeX RDF
1	Willem Waegeman, Bernard De Baets	A transitivity analysis of bipartite rankings in pairwise multi-class classification.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
1	Serkan Genç, Fatih Emre Boran, Diyar Akay, Zeshui Xu	Interval multiplicative transitivity for consistency, missing values and priority weights of interval fuzzy preference relations.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
1	Xiang Qiu, Li Zhang, Shouxin Wang, Guanqun Qian	A Trust Transitivity Model Based-on Dempster-Shafer Theory.	JNW	2010	DBLP DOI BibTeX RDF
1	Xiaoke Xu, Jie Zhang, Michael Small	Rich-club connectivity dominates assortativity and transitivity of complex networks	CoRR	2010	DBLP BibTeX RDF
1	Oliver Richters, Tiago P. Peixoto	Trust transitivity in social networks	CoRR	2010	DBLP BibTeX RDF
1	Serban E. Vlad	The dependence on the initial states and the transitivity of the regular autonomous asynchronous systems	CoRR	2010	DBLP BibTeX RDF
1	Arif Mahmood, Sohaib Khan	Exploiting Transitivity of Correlation for Fast Template Matching.	IEEE Transactions on Image Processing	2010	DBLP DOI BibTeX RDF
1	Bernard De Baets, Hans De Meyer, Karel De Loof	On the cycle-transitivity of the mutual rank probability relation of a poset.	Fuzzy Sets and Systems	2010	DBLP DOI BibTeX RDF
1	Henning Köhler, Kai Zheng, Jing Yang, Xiaofang Zhou	Transitivity-Preserving Skylines for Partially Ordered Domains.	DASFAA	2010	DBLP DOI BibTeX RDF
1	Taylor Phillips, Chris GauthierDickey, Ramki Thurimella	Using Transitivity to Increase the Accuracy of Sample-Based Pearson Correlation Coefficients.	DaWak	2010	DBLP DOI BibTeX RDF
1	Rino Falcone, Cristiano Castelfranchi	Transitivity in Trust. A Discussed Property.	WOA	2010	DBLP BibTeX RDF
1	Scott A. Golder, Sarita Yardi	Structural Predictors of Tie Formation in Twitter: Transitivity and Mutuality.	SocialCom/PASSAT	2010	DBLP DOI BibTeX RDF
1	Zhen Xie, Yeli Geng, Jingping Bi	STTM: Similarity Transitivity Chain Based Trust Model in P2P Environment.	ICC	2010	DBLP DOI BibTeX RDF
1	Susana Montes, Davide Martinetti, Ignacio Montes, Susana Díaz	Min-transitivity of graded comparisons for random variables.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
1	Jaesung Ku, Yangwoo Ko, Jisun An, Dongman Lee	A social transitivity-based data dissemination scheme for opportunistic networks.	WOWMOM	2010	DBLP DOI BibTeX RDF
1	Shahriar Tanvir Hasan Murshed, Mohammed Shahadat Uddin, Liaquat Hossain	Understanding Communication Network Cohesiveness during Organizational Crisis: Effects of Clique and Transitivity.	ICIS	2010	DBLP BibTeX RDF
1	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
1	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
1	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
1	Patricia Peratto	Structural Operational Semantics with transitivity rules and execution time.	CLEI Electron. J.	2009	DBLP BibTeX RDF
1	Suhua Wang, Enhui Shi, Lizhen Zhou, Xunli Su	Topological Transitivity and Chaos of Group Actions on dendrites.	I. J. Bifurcation and Chaos	2009	DBLP DOI BibTeX RDF
1	José M. Peña, Roland Nilsson, Johan Björkegren, Jesper Tegnér	An Algorithm for Reading Dependencies from the Minimal Undirected Independence Map of a Graphoid that Satisfies Weak Transitivity.	Journal of Machine Learning Research	2009	DBLP DOI BibTeX RDF
1	Saeed Rasouli, D. Heidari, Bijan Davvaz	η-Relations and Transitivity Conditions of η on Hyper-MV Algebras.	Multiple-Valued Logic and Soft Computing	2009	DBLP BibTeX RDF
1	Bernard De Baets, Saskia Janssens, Hans De Meyer	On the transitivity of a parametric family of cardinality-based similarity measures.	Int. J. Approx. Reasoning	2009	DBLP DOI BibTeX RDF
1	Sergiy Kolyada, L'ubomír Snoha	Topological transitivity.	Scholarpedia	2009	DBLP BibTeX RDF
1	Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu	Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Susana Díaz, Susana Montes, Bernard De Baets	Decomposition of the Transitivity for Additive Fuzzy Preference Structures.	IFSA/EUSFLAT Conf.	2009	DBLP BibTeX RDF
1	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
1	Jesse Davis, Pedro Domingos	Deep transfer via second-order Markov logic.	ICML	2009	DBLP DOI BibTeX RDF
1	Yun Li, Xin Li, Qilie Liu, Zhanjun Liu	E-PROPHET: a novel routing protocol for intermittently connected wireless networks.	IWCMC	2009	DBLP DOI BibTeX RDF	intermittently connected networks, probabilistic routing
1	Charalampos E. Tsourakakis, U. Kang, Gary L. Miller, Christos Faloutsos	DOULION: counting triangles in massive graphs with a coin.	KDD	2009	DBLP DOI BibTeX RDF	social networks, hadoop, triangles, sparsification
1	Zhen Guo, Shenghuo Zhu, Yun Chi, Zhongfei Zhang, Yihong Gong	A latent topic model for linked documents.	SIGIR	2009	DBLP DOI BibTeX RDF	document clustering, topic model
1	Jérôme Kunegis, Andreas Lommatzsch, Christian Bauckhage	The slashdot zoo: mining a social network with negative edges.	WWW	2009	DBLP DOI BibTeX RDF	negative edge, slashdot zoo, social network, link prediction
1	Vetle I. Torvik, Neil R. Smalheiser	Author name disambiguation in MEDLINE.	TKDD	2009	DBLP DOI BibTeX RDF	Name disambiguation, bibliographic databases
1	Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari	Non-linear Rewrite Closure and Weak Normalization.	LICS	2009	DBLP DOI BibTeX RDF
1	Yevgeny Kazakov, Ian Pratt-Hartmann	A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics.	LICS	2009	DBLP DOI BibTeX RDF
1	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
1	Alan Eckhardt, Tomás Skopal, Peter Vojtás	On Fuzzy vs. Metric Similarity Search in Complex Databases.	FQAS	2009	DBLP DOI BibTeX RDF
1	Sine Zambach	A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts.	FQAS	2009	DBLP DOI BibTeX RDF	Formal relations, domain analysis, biomedical ontologies, corpus analysis
1	Paolo Pilozzi, Danny De Schreye	Proving Termination by Invariance Relations.	ICLP	2009	DBLP DOI BibTeX RDF
1	Richard Dapoigny, Patrick Barlatier	Reasoning about Relations with Dependent Types: Application to Context-Aware Applications.	ISMIS	2009	DBLP DOI BibTeX RDF
1	Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán	A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.	IWANN	2009	DBLP DOI BibTeX RDF
1	Mark Kaminski, Sigurd Schneider, Gert Smolka	Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Dimitris Mostrous, Nobuko Yoshida	Session-Based Communication Optimisation for Higher-Order Mobile Processes.	TLCA	2009	DBLP DOI BibTeX RDF
1	Mathias Weller, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	On Making Directed Graphs Transitive.	WADS	2009	DBLP DOI BibTeX RDF
1	Anthony Bonato, Noor Hadi, Paul Horn, Pawel Pralat, Changping Wang	A Dynamic Model for On-Line Social Networks.	WAW	2009	DBLP DOI BibTeX RDF