Search results for "T-transitivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Paolo Pilozzi, Danny De Schreye	Proving Termination by Invariance Relations.	ICLP	2009	DBLP DOI BibTeX RDF
12	Mark Kaminski, Sigurd Schneider, Gert Smolka	Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.	TABLEAUX	2009	DBLP DOI BibTeX RDF
12	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
12	Jesse Davis, Pedro M. Domingos	Deep transfer via second-order Markov logic.	ICML	2009	DBLP DOI BibTeX RDF
12	Olivier Hudry	NP-hardness results for the aggregation of linear orders into median orders.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Partially ordered relations, Median relations, Aggregation of preferences, Complexity
12	Jacinto González-Pachón, Carlos Romero	A method for obtaining transitive approximations of a binary relation.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Transitive approximation, Maximal transitive sub-relation, Transitive opening, Transitive closure, Goal programming, Binary relation
12	Steven Schockaert, Martine De Cock, Etienne E. Kerre	Fuzzifying Allen's Temporal Interval Relations.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
12	Birte Glimm, Yevgeny Kazakov	Role Conjunctions in Expressive Description Logics.	LPAR	2008	DBLP DOI BibTeX RDF
12	Charalampos E. Tsourakakis	Fast Counting of Triangles in Large Real Networks without Counting: Algorithms and Laws.	ICDM	2008	DBLP DOI BibTeX RDF
12	Steffen Rendle, Lars Schmidt-Thieme	Active Learning of Equivalence Relations by Minimizing the Expected Loss Using Constraint Inference.	ICDM	2008	DBLP DOI BibTeX RDF
12	Dirk Pattinson, Lutz Schröder	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.	FoSSaCS	2008	DBLP DOI BibTeX RDF
12	Eiko Yoneki	Visualizing communities and centralities from encounter traces.	Challenged Networks	2008	DBLP DOI BibTeX RDF	clustering, social networks, delay tolerant networks, network measurement, centrality
12	Xixiang Zhang, Jianxun Liu, Jing Lei, Baoan Yang	Group Decision Making Method with Incomplete Linguistic 2-tuple Judgement Matrix Based on Additive Consistency.	WKDD	2008	DBLP DOI BibTeX RDF
12	Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wieloch	Fitnessless coevolution.	GECCO	2008	DBLP DOI BibTeX RDF	one-population coevolution, games, selection methods
12	Hsuan-Shih Lee, Pei-Di Shen, Wen-Li Chyr	Prioritization of Incomplete Fuzzy Preference Relation.	KES (2)	2008	DBLP DOI BibTeX RDF	consistent incomplete fuzzy preference relation, incomplete fuzzy preference relation, priority vector
12	Steven C. S. Ng, Allan K. Y. Wong	RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web.	CSSE (5)	2008	DBLP DOI BibTeX RDF
12	Suhua Zheng, Xiaodong Liu, Fenglan Xiong	The Relativity and Properties of Logical Operator, Fuzzy Relationsand General Fuzzy Rough Approximation.	FSKD (1)	2008	DBLP DOI BibTeX RDF
12	Feng Liu 0010, Ming Li, Run Zhang, He Zhang, Zhen Xu	Remaining Delivery Time Estimation Based Routing for Intermittently Connected Mobile Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
12	Andreas Abel 0001, Dulma Rodriguez	Syntactic Metatheory of Higher-Order Subtyping.	CSL	2008	DBLP DOI BibTeX RDF	Higher-order subtyping, bounded quantification, algorithmic subtyping, hereditary substitution
12	He Yuan Huang, Hehui Liu, Zhong Jie Li, Jun Zhu	Surrogate: A Simulation Apparatus for Continuous Integration Testing in Service Oriented Architecture.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	Continuous integration testing, service oriented archi-tecture, simulation
12	Renate A. Schmidt, Ullrich Hustadt	The axiomatic translation principle for modal logic.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Translation approach, small model property, completeness, decidability
12	Klaas van den Berg, José María Conejero, Juan Hernández 0001	Analysis of Crosscutting in Early Software Development Phases Based on Traceability.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	traceability, aspect-oriented software development, crosscutting concerns, scattering, tangling, crosscutting
12	Brigitte Pientka	Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.	TPHOLs	2007	DBLP DOI BibTeX RDF
12	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
12	Francisco Chiclana, Francisco Mata, Sergio Alonso, Enrique Herrera-Viedma, Luis Martínez-López 0001	Group Decision Making: From Consistency to Consensus.	MDAI	2007	DBLP DOI BibTeX RDF
12	Eiko Yoneki, Pan Hui 0001, Jon Crowcroft	Visualizing community detection in opportunistic networks.	Challenged Networks	2007	DBLP DOI BibTeX RDF	distributed community detection, social networks, delay tolerant networks, network measurement
12	Ning Gu, Qiwei Zhang, Jiangming Yang, Wei Ye	Dcv: a causality detection approach for large-scale dynamic collaboration environments.	GROUP	2007	DBLP DOI BibTeX RDF	direct causal vector, CSCW, groupware, concurrency control, group editors, logical clock
12	Yantao Zheng, Shi-Yong Neo, Tat-Seng Chua, Qi Tian 0002	The use of temporal, semantic and visual partitioning model for efficient near-duplicate keyframe detection in large scale news corpus.	CIVR	2007	DBLP DOI BibTeX RDF	corpus partitioning, near-duplicate keyframe detection
12	Hong-Ying Zhang 0001, Wen-Xiu Zhang	Fuzzy-Valued Transitive Inclusion Measure, Similarity Measure and Application to Approximate Reasoning.	RSKT	2007	DBLP DOI BibTeX RDF	Fuzzy-valued inclusion measure, Fuzzy-valued similarity measure, Fuzzy inference
12	Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland	Orthogonal persistence and AOP: a balancing act.	ACP4IS	2007	DBLP DOI BibTeX RDF	locality of join point properties, path expression pointcuts, persisting containers, orthogonal persistence, obliviousness
12	Manfred A. Jeusfeld	Partial Evaluation in Meta Modeling.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
12	Thomas Ball, Orna Kupferman	Better Under-Approximation of Programs by Hiding Variables.	VMCAI	2007	DBLP DOI BibTeX RDF
12	ZhenLiu Zhou, RongSheng Xu	BIOS Security Analysis and a Kind of Trusted BIOS.	ICICS	2007	DBLP DOI BibTeX RDF	Trust Measurement, BIOS, UEFI, Trusted Computing, TPM
12	Solange Coupet-Grimal, William Delobel	An effective proof of the well-foundedness of the multiset path ordering.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Well-foundedness, Multiset path order, Termination, Constructive logic
12	Luciano Basile, Livia D'Apuzzo	Transitive Matrices, Strict Preference Order and Ordinal Evaluation Operators.	Soft Comput.	2006	DBLP DOI BibTeX RDF
12	Tanveer J. Siddiqui	Intelligent techniques for effective information retrieval: (a conceptual graph based approach).	SIGIR Forum	2006	DBLP DOI BibTeX RDF
12	Carl Mooney, Denise de Vries, John F. Roddick	A Multi-level Framework for the Analysis of Sequential Data.	Selected Papers from AusDM	2006	DBLP DOI BibTeX RDF
12	László Babai	On the diameter of Eulerian orientations of graphs.	SODA	2006	DBLP DOI BibTeX RDF
12	Chun Jin, Jaime G. Carbonell	ARGUS: Efficient Scalable Continuous Query Optimization for Large-Volume Data Streams.	IDEAS	2006	DBLP DOI BibTeX RDF
12	Wolf-Tilo Balke, Ulrich Güntzer, Wolf Siberski	Exploiting Indifference for Customization of Partial Order Skylines.	IDEAS	2006	DBLP DOI BibTeX RDF
12	José Ignacio Santos, José Manuel Galán, Ricardo del Olmo	An Agent-Based Model of Personal Web Communities.	IDEAL	2006	DBLP DOI BibTeX RDF	personal homepages, Social Networks, blogs, Agent-Based Modeling
12	Philippe Besnard, Marie-Odile Cordier, Yves Moinard	Configurations for Inference Between Causal Statements.	KSEM	2006	DBLP DOI BibTeX RDF
12	Oskar M. Skrinjar	Point-Based Registration with Known Correspondence: Closed Form Optimal Solutions and Properties.	WBIR	2006	DBLP DOI BibTeX RDF
12	Amal J. Ahmed 0001	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.	ESOP	2006	DBLP DOI BibTeX RDF
12	Luciana S. Buriol, Gereon Frahling, Stefano Leonardi 0001, Alberto Marchetti-Spaccamela, Christian Sohler	Counting triangles in data streams.	PODS	2006	DBLP DOI BibTeX RDF	graph algorithms, network analysis, streaming algorithms
12	Dipti Srinivasan, Lily Rachmawati	An efficient multi-objective evolutionary algorithm with steady-state replacement model.	GECCO	2006	DBLP DOI BibTeX RDF	genetic algorithms, multi-objective optimization
12	Jonathan Lok-Chuen Lo, Michael Brady 0001, Niall Moore	Simultaneous Multiple Image Registration Method for T1 Estimation in Breast MRI Images.	MICCAI (1)	2006	DBLP DOI BibTeX RDF
12	Chao Wang 0001, Aarti Gupta, Malay K. Ganai	Predicate learning and selective theory deduction for a difference logic solver.	DAC	2006	DBLP DOI BibTeX RDF	difference logic, SAT, decision procedure, SMT solver
12	Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
12	Chun Jin, Jaime G. Carbonell, Philip J. Hayes	ARGUS: Rete + DBMS = Efficient Persistent Profile Matching on Large-Volume Data Streams.	ISMIS	2005	DBLP DOI BibTeX RDF
12	Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas	Similarity, Approximations and Vagueness.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
12	Daoxi Xiu, Zhaoyu Liu	A Formal Definition for Trust in Distributed Systems.	ISC	2005	DBLP DOI BibTeX RDF
12	Taek-Hun Kim, Sung-Bong Yang	An Effective Recommendation Algorithm for Clustering-Based Recommender Systems.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
12	Duoqian Miao, Daoguo Li, Shidong Fan	Fuzzy rough set and its improvement.	GrC	2005	DBLP DOI BibTeX RDF
12	John L. Hayden	Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	incidence matrix, Cartesian group, eigenvalues, projective plane
12	Radko Mesiar, Susanne Saminger	Domination of ordered weighted averaging operators over t-norms.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Domination, OWA operators
12	Dafa Li	The equality axioms are not independent.	SIGACT News	2004	DBLP DOI BibTeX RDF
12	Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings.	CAV	2004	DBLP DOI BibTeX RDF
12	Michael Brinkmeier, Thomas Schank	Network Statistics.	Network Analysis	2004	DBLP DOI BibTeX RDF
12	Gerard Kempen, Karin Harbusch	Generating Natural Word Orders in a Semi?free Word Order Language: Treebank-Based Linearization Preferences for German.	CICLing	2004	DBLP DOI BibTeX RDF
12	Ildar Z. Batyrshin, Natalja Shajdullina, Leonid Sheremetov	Strict Valued Preference Relations and Choice Functions in Decision-Making Procedures.	MICAI	2004	DBLP DOI BibTeX RDF
12	Gianpiero Cattaneo, Alberto Dennunzio	Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages.	MCU	2004	DBLP DOI BibTeX RDF
12	Jun Rao, Hamid Pirahesh, Calisto Zuzarte	Canonical Abstraction for Outerjoin Optimization.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
12	Amir Shpilka, Avi Wigderson	Derandomizing homomorphism testing in general groups.	STOC	2004	DBLP DOI BibTeX RDF	homomorphism testing, derandomization, linearity testing
12	Bee-Chung Chen, Jieh Hsiang	A Logical Framework of Knowledge Retrieval with Fuzziness.	Web Intelligence	2004	DBLP DOI BibTeX RDF
12	Samuel Fiorini, Peter C. Fishburn	Extendability of Cyclic Orders.	Order	2003	DBLP DOI BibTeX RDF	poset dimension, polytopes, cyclic orders
12	Dong-Joon Shin, P. Vijay Kumar, Tor Helleseth	3-Designs from the Z4-Goethals Codes via a New Kloosterman Sum Identity.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF	Z 4-Goethals codes, Kloosterman sums, t-designs
12	Bogdan J. Falkowski	A Comment on "Generalized Reed-Muller Forms as a Tool to Detect Symmetries".	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Boolean symmetries, Boolean functions, Reed-Muller transform
12	Ernst-Erich Doberkat	Semi-pullbacks and Bisimulations in Categories of Stochastic Relations.	ICALP	2003	DBLP DOI BibTeX RDF	semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation
12	Kamil Kulesza, Zbigniew Kotulski	Addressing New Challenges by Building Security Protocols Around Graphs.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF	extended capabilities, graph theory, quantum computing, security protocols, secret sharing, data security, graph colouring
12	Yong Luo 0001, Zhaohui Luo	Combining Incoherent Coercions for Sigma-Types.	TYPES	2003	DBLP DOI BibTeX RDF
12	Renate A. Schmidt, Ullrich Hustadt	A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae.	CADE	2003	DBLP DOI BibTeX RDF
12	Jayme Luiz Szwarcfiter	On the Generation of Extensions of a Partially Ordered Set.	CIAC	2003	DBLP DOI BibTeX RDF
12	Rémy-Robert Joseph, Peter Chan, Michael Hiroux, Georges Weil	Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations.	CP	2003	DBLP DOI BibTeX RDF
12	Jingyu Hou 0001, Yanchun Zhang, Jinli Cao	Web Page Clustering: A Hyperlink-Based Similarity and Matrix-Based Hierarchical Algorithms.	APWeb	2003	DBLP DOI BibTeX RDF
12	Stephan Merz, Martin Wirsing, Júlia Zappe	A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.	FASE	2003	DBLP DOI BibTeX RDF
12	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic Subtyping.	LICS	2002	DBLP DOI BibTeX RDF
12	Taek-Hun Kim, Young-Suk Ryu, Seok-In Park, Sung-Bong Yang	An Improved Recommendation Algorithm in Collaborative Filtering.	EC-Web	2002	DBLP DOI BibTeX RDF
12	Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez	A Hybrid Approach for SAT.	CP	2002	DBLP DOI BibTeX RDF
12	Sye Loong Keoh, Emil Lupu	Towards flexible credential verification in mobile ad-hoc networks.	POMC	2002	DBLP DOI BibTeX RDF	credential verification, security, authentication, trust
12	Silvia Bernardi, Giulianella Coletti	A Rational Conditional Utility Model in a Coherent Framework.	ECSQARU	2001	DBLP DOI BibTeX RDF
12	Stefan Schulz 0001, Udo Hahn	Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures.	AIME	2001	DBLP DOI BibTeX RDF
12	Denis Béchet	Universal Interaction Systems with Only Two Agents.	RTA	2001	DBLP DOI BibTeX RDF
12	Toon Calders, Jan Paredaens	Mining Frequent Binary Expressions.	DaWaK	2000	DBLP DOI BibTeX RDF
12	Camilla Schwind	A Theory for Causal Reasoning.	KI	1999	DBLP DOI BibTeX RDF
12	Luciano Margara	On Some Topological Properties of Linear Cellular Automata.	MFCS	1999	DBLP DOI BibTeX RDF	cellular automaton, chaos theory, discrete time dynamical system
12	Michel Serfati	Multivalued Binary Relations and Post Algebras.	ISMVL	1999	DBLP DOI BibTeX RDF
12	Robert Nieuwenhuis, José Miguel Rivero	Solved Forms for Path Ordering Constraints.	RTA	1999	DBLP DOI BibTeX RDF
12	Leo Bachmair, Harald Ganzinger	Ordered Chaining Calculi for First-Order Theories of Transitive Relations.	J. ACM	1998	DBLP DOI BibTeX RDF	chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic
12	Fabio Fagnani, Luciano Margara	Expansivity, Permutivity, and Chaos for Cellular Automata.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
12	Michael Beeson	Automatic Generation of Epsilon-Delta Proofs of Continuity.	AISC	1998	DBLP DOI BibTeX RDF
12	Branko Grünbaum	Isogonal Prismatoids.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
12	Ciarán Bryce	Security Engineering of Lattice-Based Policies.	CSFW	1997	DBLP DOI BibTeX RDF	lattice policy modeling, Security engineering, information flow security
12	Gang Chen	Subtyping Calculus of Construction (Extended Abstract).	MFCS	1997	DBLP DOI BibTeX RDF
12	Gianpiero Cattaneo, Enrico Formenti, Giovanni Manzini, Luciano Margara	On Ergodic Linear Cellular Automata over Zm.	STACS	1997	DBLP DOI BibTeX RDF
12	Bonnie J. Dorr, Mari Broman Olsen	Multilingual generation: The role of telicity in lexical choice and syntactic realization.	Mach. Transl.	1996	DBLP DOI BibTeX RDF	syntax-semantics interface, syntactic alternations, semantic classes, (a)telicity, multilingual generation, lexical conceptual structure, interlingua
12	Hideki Tsuiki	On Typed Calculi with a Merge Operator.	FSTTCS	1994	DBLP DOI BibTeX RDF
12	Zohar Manna, Richard J. Waldinger	The Special-Relation Rules are Incomplete.	CADE	1992	DBLP DOI BibTeX RDF
12	Larry M. Hines	The Central Variable Strategy of Str+ve.	CADE	1992	DBLP DOI BibTeX RDF
12	Max J. Egenhofer	Reasoning about Binary Topological Relations.	SSD	1991	DBLP DOI BibTeX RDF