Search results for "distributive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Ying Jiang, Guo-Qiang Zhang 0001	Weakly distributive domains (II).	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category
92	Jacques Calmet, Peter Kullmann, Morio Taneda	Composite Distributive Lattices as Annotation Domains for Mediators.	AISC	2000	DBLP DOI BibTeX RDF	Dual Transform, Free Distributive Lattice Product, Mediator, Distributive Lattices, Annotated Logic, SLG Resolution
78	Ying Jiang, Guo-Qiang Zhang 0001	Weakly Distributive Domains.	TLCA	2007	DBLP DOI BibTeX RDF
77	Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation	The Jónsson-Kiefer Property.	Stud Logica	2006	DBLP DOI BibTeX RDF	Meet semi-distributive lattice, pseudo-complemented lattice, meet-prime element, join semi-distributive lattice, join-prime element
75	Christian Ronse	Reconstructing masks from markers in non-distributive lattices.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	Geodesic dilation and reconstruction, Non-distributive lattices, Mathematical morphology
64	Roman Wienands, Francisco José Gaspar, Francisco Javier Lisbona, Cornelis W. Oosterlee	An Efficient Multigrid Solver based on Distributive Smoothing for Poroelasticity Equations.	Computing	2004	DBLP DOI BibTeX RDF	Poroelasticity, staggered discretization, distributive relaxation, local Fourier analysis, multigrid
64	Kathryn C. Kinsley, Charles E. Hughes	Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	database update schemes, performance evaluation, distributive systems, performance analysis, relational databases, distributed databases, distributed databases, concurrency control, queueing theory, queueing theory, database theory, relational model
54	Michal Kozak	Distributive Full Lambek Calculus Has the Finite Model Property.	Stud Logica	2009	DBLP DOI BibTeX RDF	Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice
54	Viorica Sofronie-Stokkermans	On unification for bounded distributive lattices.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving
54	Elena Barcucci, Antonio Bernini, Luca Ferrari 0001, Maddalena Poneti	A Distributive Lattice Structure Connecting Dyck Paths, Noncrossing Partitions and 312-avoiding Permutations.	Order	2005	DBLP DOI BibTeX RDF	Dyck paths, noncrossing partitions, 312-avoiding permutations, Bell and Catalan numbers, strong Bruhat order, distributive lattice
54	Peter Che Bor Lam, Heping Zhang	A Distributive Lattice on the Set of Perfect Matchings of a Plane Bipartite Graph.	Order	2003	DBLP DOI BibTeX RDF	Z-transformation graph, plane bipartite graph, poset, perfect matching, distributive lattice
54	Jonathan David Farley	Quasi-Differential Posets and Cover Functions of Distributive Lattices II: A Problem in Stanley's Enumerative Combinatorics.	Graphs Comb.	2003	DBLP DOI BibTeX RDF	Differential poset, Fibonacci lattice, (partially) Ordered set, Cover function, Distributive lattice
54	Soon Myoung Chung, Arindam Chatterjee	Parallel Distributive Join Algorithm on the Intel Paragon.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	Hybrid-hash join, Performance analysis, Parallel processing, Intel Paragon, Distributive join
54	Soon Myoung Chung, Jaerheen Yang	A Parallel Distributive Join Algorithm for Cube-Connected Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	cube-connected processors, performance analysis, parallel processing, hashing join, Distributive join
53	B. N. Waphare, Vinayak Joshi	Characterizations of Standard Elements in Posets.	Order	2004	DBLP DOI BibTeX RDF	distributive pair, semi-distributive pair, modular pair, standard element, distributive element, ?-standard element and p-element
52	J. Balasubramaniam 0001, C. Jagan Mohan Rao	On the distributivity of implication operators over T and S norms.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
52	Kenneth A. Ross, Divesh Srivastava, Damianos Chatziantoniou	Complex Aggregation at Multiple Granularities.	EDBT	1998	DBLP DOI BibTeX RDF
49	Marcel Erné, Dongsheng Zhao	Z-Join Spectra of Z-Supercompactly Generated Lattices.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	(Z-)below relation, (Z-super)compact, completely distributive lattice, (Z-)continuous posets, (Z-join) ideal completion, (Z-super)sober space, spectrum
47	David Shui Wing Hui, Vincent K. N. Lau	Distributive Delay-Sensitive Cross-Layer Design for OFDMA Systems.	ICC	2008	DBLP DOI BibTeX RDF
47	Brian A. Davey, Miroslav Haviar, Hilary A. Priestley	Boolean Topological Distributive Lattices and Canonical Extensions.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D05, Secondary 06B30, 06D50, 06B23, 03G10
47	Djavvat Khadjiev, Funda Karaçal	The Description of All V-Distributive Triangular Norms of Lengths 2 and 3.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
46	Louis J. Billera, Samuel K. Hsiao, J. Scott Provan	Enumeration in Convex Geometries and Associated Polytopal Subdivisions of Spheres.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Abstract convexity, Quasisymmetric functions, Meet-distributive lattice, Join-distributive lattice
44	Yu Hen Hu, Xiaohong Sheng	Dynamic Sensor Self-Organization for Distributive Moving Target Tracking.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	moving target track, dynamic sensor clustering, wireless sensor network, distributive algorithm, self-organization, tasking
44	Miki Tanaka, John Power	Pseudo-distributive laws and axiomatics for variable binding.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
44	Rudolf Wille	Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories.	Order	2003	DBLP DOI BibTeX RDF	formal concept analysis, implications, distributive lattices
44	David Kruml	Distributive Quantales.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	algebraic quantale, spatial quantale, distributive quantale, prime
44	Jürg Schmid	Quasiorders and Sublattices of Distributive Lattices.	Order	2002	DBLP DOI BibTeX RDF	quasiorder, sublattice, distributive lattice, representation theory
44	Soon Myoung Chung, Arindam Chatterjee	Performance Analysis of a Parallel Distributive Join Algorithm on the Intel Paragon.	ICPADS	1997	DBLP DOI BibTeX RDF	Hybrid Hash join, Parallel Processing, Intel Paragon, Distributive join
41	Cuiping Li 0001, Shan Wang 0001	Efficient Incremental Maintenance for Distributive and Non-Distributive Aggregate Functions.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	quotient cube, OLAP, incremental maintenance
41	Nic Wilson	A logic of soft constraints based on partially ordered preferences.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
41	Apostolos Syropoulos, Lefteris Mamatas, Peter C. Allilomes, Konstantinos T. Sotiriades	A Distributed Simulation of Transition P Systems.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF	Javas Remote Method Invocation, Object-oriented programming and Simulation, Distributed Computing, P systems, Natural computation
38	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
38	Jeremy E. Dawson	Compound monads in specification languages.	PLPV	2007	DBLP DOI BibTeX RDF	angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
38	Marcel Erné	Z-Continuous Posets and Their Topological Manifestation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	closure space, completely distributive, continuous poset, sober space, completion, compact, core
38	Viorica Sofronie-Stokkermans	Representation Theorems and Theorem Proving in Non-Classical Logics.	ISMVL	1999	DBLP DOI BibTeX RDF	distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics
36	Lufeng Shi, Jindong Tan	Distributive target tracking in sensor networks with a markov random field model.	IROS	2009	DBLP DOI BibTeX RDF
36	Hans Bruun, Dion Coumans, Mai Gehrke	Distributive Lattice-Structured Ontologies.	CALCO	2009	DBLP DOI BibTeX RDF
36	Chang-Jiang Liu, Fang Hao	Distributive Justice and Cooperation in a Public Good Dilemma.	CSSE (5)	2008	DBLP DOI BibTeX RDF
36	Yalin Zheng, Guang Yang 0002, Jing Zheng, Jinsheng Xing	Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning.	FSKD (1)	2008	DBLP DOI BibTeX RDF
36	Gui-ying Chen	Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions.	FSKD (1)	2008	DBLP DOI BibTeX RDF
36	Mohammad Al-Shurman, Seong-Moo Yoo, Bonam Kim	Distributive Key Management for Mobile Ad Hoc Networks.	MUE	2008	DBLP DOI BibTeX RDF	ad hoc networks, threshold cryptography, mobile security, symmetric key, MDS code
36	Be Birchall	Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras.	TbiLLC	2005	DBLP DOI BibTeX RDF
33	Li-Xia Song	On Nilpotent Matrices over Bounded Distributive Lattice.	IITSI	2009	DBLP DOI BibTeX RDF	Bounded distributive lattice, Nilpotent matrices, Prime filter, Directed graph
31	Jun Tao Wang 0001, Yanhong She, Pengfei He 0001, Na Na Ma	On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices.	Stud Logica	2023	DBLP DOI BibTeX RDF
31	Luciano J. González	The Free Distributive Semilattice Extension of a Distributive Poset.	Order	2019	DBLP DOI BibTeX RDF
31	Wilmari Morton, Clint J. van Alten	Distributive and completely distributive lattice extensions of ordered sets.	Int. J. Algebra Comput.	2018	DBLP DOI BibTeX RDF
31	Tatyana Ivanova, Dimiter Vakarelov	Distributive mereotopology: extended distributive contact lattices.	Ann. Math. Artif. Intell.	2016	DBLP DOI BibTeX RDF
31	Sergio A. Celani, Ismael Calomino	On homomorphic images and the free distributive lattice extension of a distributive nearlattice.	Reports Math. Log.	2016	DBLP BibTeX RDF
31	Funda Karaçal, Djavvat Khadjiev	Internal direct product of integral V-distributive binary aggregation functions and the classification of all integral V-distributive binary aggregation functions of length 3.	Inf. Sci.	2015	DBLP DOI BibTeX RDF
31	Funda Karaçal, Djavvat Khadjiev	Distributive and infinitely-distributive t-norms on complete lattices.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
31	Radomír Halas	The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.	Stud Logica	2008	DBLP DOI BibTeX RDF	Lattice effect algebra, basic algebra, antitone involution, variety
31	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
31	Dominique Bourn	Congruence Distributivity in Goursat and Mal'cev Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence distributivity, Goursat, Malcev and arithmetical category, preservation of intersections by direct image
31	Stephen Binns, Stephen G. Simpson	Embeddings into the Medvedev and Muchnik lattices of pi01classes.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
31	Michael Reeves, Jihan Zhu	Moomba - A Collaborative Environment for Supporting Distributed Extreme Programming in Global Software Development.	XP	2004	DBLP DOI BibTeX RDF	CSCW, coordination, groupware, awareness, eXtreme Programming, distributed teams
31	Bernhard Schwarz	The Complexity of Satisfiability Problems over Finite Lattices.	STACS	2004	DBLP DOI BibTeX RDF
31	Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska	Lattice-Based Relation Algebras and Their Representability.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
28	Rajab Ali Borzooei, Mahmood Bakhshi, Mashaallah Mashinchi	Lattice structure on some fuzzy algebraic systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Distributive (Modular) lattice, (BCC) BCK-algebra, Fuzzy (normal) subgroup, G-fuzzy subgroup, Fuzzy hyperideal
28	Joseph M. Morris, Malcolm Tyrrell	Dually nondeterministic functions.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
28	Keith A. Kearnes	Quasivarieties of Modules Over Path Algebras of Quivers.	Stud Logica	2006	DBLP DOI BibTeX RDF	quiver, path algebra, Quasivariety, distributive lattice
28	Richard N. Ball, Ales Pultr, Jirí Sichler	Configurations in Coproducts of Priestley Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Priestley space, ultrafilter, coproduct, distributive lattice
28	Jon A. Sjogren	Principal Rings and their Invariant Factors.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF	Bézoutian ring, Module capacity, Smith canonical form, Distributive semi-group lattice, Invariant basis property
28	Alexander Kleymenov, Alexander Semenov	Using a Cooperative Solving Approach to Global Optimization Problems.	COCOS	2003	DBLP DOI BibTeX RDF	cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations
28	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
28	Branimir Seselja, Andreja Tepavcevic	Collection of Finite Lattices Generated by a Poset.	Order	2000	DBLP DOI BibTeX RDF	finite distributive lattice, finite lattice, meet-irreducible, representation of lattices
28	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
28	Stan Y. Li	Relaxation labeling using Lagrange-Hopfield method.	ICIP	1995	DBLP DOI BibTeX RDF	Lagrange-Hopfield method, relaxation labeling algorithm, Lagrangian multiplier method, graded Hopfield neural network, optimized objective value, analog implementation, parallel iterative numerical procedures, parallel algorithms, image processing, distributive algorithm, optimisation, image analysis, iterative methods, experimental results, solution, Hopfield neural nets, constrained optimization problem
28	Svante Carlsson, Jyrki Katajainen, Jukka Teuhola	In-place Linear Probing Sort.	STACS	1992	DBLP DOI BibTeX RDF	Distributive sorting, Sorting, Analysis of algorithm, Average-case analysis
26	Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler	A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Recognizable tree series, Rational tree series, Multioperator monoids, Semirings
26	Yasuo Kawahara, Michael Winter 0001	Cardinal Addition in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
26	Michael Winter 0001	Complements in Distributive Allegories.	RelMiCS	2009	DBLP DOI BibTeX RDF
26	Mahbobeh Hosseinyazdi	The optimization problem over a distributive lattice.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06Dxx, 34A30, 20M14, 16Y60
26	Vincenzo Marra	A characterization of MV-algebras free over finite distributive lattices.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 06D35, Secondary 06F20
26	Mohamad Iskandar Petra, David J. Holding, Peter N. Brett	Implementation of Hardwired Distributive Tactile Sensing for Innovative Flexible Digit.	BMEI (2)	2008	DBLP DOI BibTeX RDF
26	Hsiao-Chun Wu, Yiyan Wu 0001	Distributive Pilot Arrangement Based on Modified M-sequences for OFDM Intercarrier Interference Estimation.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
26	Barbara Sorensen, Judith Riess, Eric Allely	Distributive Medical Management System.	HCI (7)	2007	DBLP DOI BibTeX RDF	medical skills training, training management, remote treatment, First responder
26	Masaaki Ohnishi, Shinji Tsuboi, Masao Hirayama, Takayuki Eguchi, Shinichi Ueshima	Distributive Generation Algorithm of Long Range Contact for Remote Spatial-data Access on P2P Delaunay Network.	C5	2007	DBLP DOI BibTeX RDF
26	U. Pattananupong, Nachol Chaiyaratana, R. Tongpadungrod	Genetic programming and neural networks as interpreters for a distributive tactile sensing system.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
26	Bernhard Ganter, Léonard Kwuida	Finite Distributive Concept Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G25, 06B15, 03G10
26	Jürg Schmid	Bialgebraic Contexts for Distributive Lattices - Revisited.	ICFCA	2005	DBLP DOI BibTeX RDF
26	Bernhard Ganter	Congruences of Finite Distributive Concept Algebras.	ICFCA	2004	DBLP DOI BibTeX RDF
26	Joonseon Ahn, Yong Jin Kwon	A Differential Fixpoint Evaluation Framework for Non-distributive Systems.	APLAS	2003	DBLP DOI BibTeX RDF	fixpoint computation, worklist algorithm, differential evaluation, static analysis, abstract interpretation
26	James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal	Inference for Annotated Logics over Distributive Lattices.	ISMIS	2002	DBLP DOI BibTeX RDF
26	Viorica Sofronie-Stokkermans	On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.	TABLEAUX	2002	DBLP DOI BibTeX RDF
26	Viorica Sofronie-Stokkermans	On Unification for Bonded Distributive Lattices.	CADE	2000	DBLP DOI BibTeX RDF
26	Viorica Sofronie-Stokkermans	On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.	CADE	1999	DBLP DOI BibTeX RDF
26	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
26	Manfred Schmidt-Schauß	An Algorithm for Distributive Unification.	RTA	1996	DBLP DOI BibTeX RDF
26	Ulrich Faigle	The Bandwidth of Planar Distributive Lattices.	WG	1986	DBLP DOI BibTeX RDF
21	Anvar M. Nurakunov, Michal M. Stronkowski	Quasivarieties with Definable Relative Principal Subcongruences.	Stud Logica	2009	DBLP DOI BibTeX RDF	2000 Mathematics Subject Classification 08C15, 08B10, 08A30
21	Yoshihiro Maruyama	A Duality for Algebras of Lattice-Valued Modal Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
21	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
21	Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud	Characterizing the Outcomes of Argumentation-Based Integrative Negotiation.	IAT	2008	DBLP DOI BibTeX RDF
21	Mikhail Sizintsev, Konstantinos G. Derpanis, Andrew Hogue	Histogram-based search: A comparative study.	CVPR	2008	DBLP DOI BibTeX RDF
21	Eric Tze Kuan Lim, Yu-Ting Caisy Hung	Understanding the Relationship between Justice and Team Goal Commitment in Virtual Project Teams: An Empirical Investigation.	HICSS	2008	DBLP DOI BibTeX RDF
21	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
21	Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin	Small Witnesses for Abstract Interpretation-Based Proofs.	ESOP	2007	DBLP DOI BibTeX RDF
21	Heiko Reppe	An FCA Perspective on n -Distributivity.	ICCS	2007	DBLP DOI BibTeX RDF
21	Léonard Kwuida, Branimir Seselja, Andreja Tepavcevic	On the MacNeille Completion of Weakly Dicomplemented Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF	MacNeille completion, weakly dicomplemneted lattices, Formal Concept Analysis
21	Nick Bezhanishvili, Alexander Kurz 0001	Free Modal Algebras: A Coalgebraic Perspective.	CALCO	2007	DBLP DOI BibTeX RDF