Search results for "distributive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Satoru Fujishige	A decomposition of distributive lattices.	Discret. Math.	1985	DBLP DOI BibTeX RDF
16	Axel Poigné	A Note on Distributive Laws and Power Domains.	CTCS	1985	DBLP DOI BibTeX RDF
16	Egidio Astesiano, Gerardo Costa	Distributive Semantics for Nondeterministic Typed lambda-Calculi.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
16	Lucian Beznea	A topological characterization of complete distributive lattices.	Discret. Math.	1984	DBLP DOI BibTeX RDF
16	Charles E. Blair	Every Finite Distributive Lattice Is a Set of Stable Matchings.	J. Comb. Theory, Ser. A	1984	DBLP DOI BibTeX RDF
16	Yuri Gurevich	Decision Problem for Separated Distributive Lattices.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
16	David E. Daykin, Anthony J. W. Hilton, D. Miklós	Pairings from Down-Sets and Up-Sets in Distributive Lattices.	J. Comb. Theory, Ser. A	1983	DBLP DOI BibTeX RDF
16	W. B. van Dam, J. B. G. Frenk, Alexander H. G. Rinnooy Kan	The asymptotic behaviour of a distributive sorting method.	Computing	1983	DBLP DOI BibTeX RDF	Sorting, probabilistic analysis
16	Jürg Schmid	Model Companions of Distributive p-Algebras.	J. Symb. Log.	1982	DBLP DOI BibTeX RDF
16	C. M. McCulloch	QUICKSHUNT - A Distributive Sorting Algorithm.	Comput. J.	1982	DBLP DOI BibTeX RDF
16	Luc Devroye, T. Klincsek	Average time behavior of distributive sorting algorithms.	Computing	1981	DBLP DOI BibTeX RDF
16	Alon Itai, Michael Rodeh	Symmetry Breaking in Distributive Networks	FOCS	1981	DBLP DOI BibTeX RDF
16	Sandra L. Browne, Adrian Browne	Using an APL micro computer for distributive processing.	APL	1981	DBLP DOI BibTeX RDF
16	Donald C. S. Allison, M. T. Noga	Selection by Distributive Partitioning.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
16	M. van der Nat	A Fast Sorting Algorithm, a Hybrid of Distributive and Merge Sorting.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
16	George Markowsky	The level polynomials of the free distributive lattices.	Discret. Math.	1980	DBLP DOI BibTeX RDF
16	Martin Huits, Vipin Kumar	The Practical Significance of Distributive Partitioning Sort.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
16	Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski	Complexity of Sorting by Distributive Partitioning.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
16	Jürg Schmid	Algebraically and Existentially Closed Distributive Lattices.	Math. Log. Q.	1979	DBLP DOI BibTeX RDF
16	Robert W. Quackenbush	Pseudovarieties of finite algebras isomorphic to bounded distributive lattices.	Discret. Math.	1979	DBLP DOI BibTeX RDF
16	I. Rabinovitch, I. Rival	The rank of a distributive lattice.	Discret. Math.	1979	DBLP DOI BibTeX RDF
16	Andrzej Lingas	The complexity of distributive computations.	FCT	1979	DBLP BibTeX RDF
16	Andrew Chi-Chih Yao	Some Complexity Questions Related to Distributive Computing (Preliminary Report)	STOC	1979	DBLP DOI BibTeX RDF
16	F. Warren Burton	Comments on: Sorting by Distributive Partitioning.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
16	Wlodzimierz Dobosiewicz	Author's Reply to Warren Burton's Comments on Distributive Partitioning Sorting.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
16	Wlodzimierz Dobosiewicz	Sorting by Distributive Partitioning.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
16	Henner Kröger	Distributive lattices as a generalization of Brouwerian lattices.	Discret. Math.	1977	DBLP DOI BibTeX RDF
16	Paul C. Berry	Distributive rounding in commercial applications.	APL	1976	DBLP DOI BibTeX RDF
16	Saburo Tamura	Two identities for lattices, distributive lattices and modular lattices with a constant.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
16	Alan C. Wilde	Generalizations of the distributive and associative laws.	Notre Dame J. Formal Log.	1974	DBLP DOI BibTeX RDF
16	C. C. Chen, Khee Meng Koh	A characterization of finite distributive planar lattices.	Discret. Math.	1973	DBLP DOI BibTeX RDF
16	Richard P. Stanley	An Extremal Problem for Finite Topologies and Distributive Lattices.	J. Comb. Theory, Ser. A	1973	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	Certain sets of postulates for distributive lattices with the constant elements.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	An abbreviation of Croisot's axiom-system for distributive lattices with I.	Notre Dame J. Formal Log.	1972	DBLP DOI BibTeX RDF
16	Stephen A. Szygenda, Michael J. Flynn	Coding techniques for failure recovery in a distributive modular memory organization.	AFIPS Spring Joint Computing Conference	1971	DBLP DOI BibTeX RDF
16	Robert H. Wilkinson	On the number of regions in input domain of a free distributive lattice.	IEEE Trans. Electron. Comput.	1964	DBLP DOI BibTeX RDF
16	Boleslaw Sobocinski	Six new sets of independent axioms for distributive lattices with O and I.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
10	Konstantinos Georgoulas, Yannis Kotidis	Random hyperplane projection using derived dimensions.	MobiDE	2010	DBLP DOI BibTeX RDF	sensor networks, similarity, locality sensitive hashing
10	Richard Ehrenborg, Michael Slone	A Geometric Approach to Acyclic Orientations.	Order	2009	DBLP DOI BibTeX RDF	Periodic graphic hyperplane arrangement, Regions
10	Gianni Bosi, Javier Gutiérrez García, Esteban Induráin	Unified Representability of Total Preorders and Interval Orders through a Single Function: The Lattice Approach.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 54F05
10	Jouni Järvinen, Sándor Radeleczki, Laura Veres	Rough Sets Determined by Quasiorders.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06A06, Secondary 06D10, 06D15, 68T37
10	Weijin Jiang, Lianmei Zhang, Pu Wang	Dynamic scheduling model of computing resource based on MAS cooperation mechanism.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	resource scheduling model, cooperation mechanism, multi-agent system (MAS), utility function, evolutionary game
10	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Stud Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
10	E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka	semQA: SPARQL with Idempotent Disjunction.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
10	Wolfram Kahl	Collagories for Relational Adhesive Rewriting.	RelMiCS	2009	DBLP DOI BibTeX RDF
10	Majid Alizadeh	Completions of Basic Algebras.	WoLLIC	2009	DBLP DOI BibTeX RDF	Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
10	James Guo Ming Fu, Tirthankar Bandyopadhyay, Marcelo H. Ang	Local Voronoi Decomposition for multi-agent task allocation.	ICRA	2009	DBLP DOI BibTeX RDF
10	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
10	Ke Yang, Yinan Li, Qiong Luo 0001, Pedro V. Sander, Jiaoying Shi	I3DC: Interactive Three-Dimensional Cubes.	ICDE	2009	DBLP DOI BibTeX RDF
10	Joubert de Castro Lima, Celso Massaki Hirata	Computing data cubes using exact sub-graph matching: the sequential MCG approach.	SAC	2009	DBLP DOI BibTeX RDF	LFN, LSUN and graph_path, MCG
10	Ingmar Meinecke	A Weighted µ-Calculus on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
10	Nick Bezhanishvili, Mai Gehrke	Free Heyting Algebras: Revisited.	CALCO	2009	DBLP DOI BibTeX RDF
10	Vesna Sesum-Cavic, Eva Kühn	Peer-to-Peer Overlay Network Based on Swarm Intelligence.	ESAW	2009	DBLP DOI BibTeX RDF	lookup mechanisms, swarm intelligence, unstructured P2P, space based computing
10	Ting Chen, Yongjian Wang, Yinan Ren, Cheng Luo, Depei Qian, Zhongzhi Luan	R-ECS: reliable elastic computing services for building virtual computing environment.	ICIS	2009	DBLP DOI BibTeX RDF	elastic computing service, exception detection, grid computing, fault recovery, virtual computing environment
10	Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner	Recursion in XQuery: put your distributivity safety belt on.	EDBT	2009	DBLP DOI BibTeX RDF
10	Guram Bezhanishvili, Jacob Vosmaer	Comparison of MacNeille, Canonical, and Profinite Completions.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 06D20, 06D50
10	Jun Lu, Tatsuya Suda	Differentiated Surveillance for Static and Random Mobile Sensor Networks.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
10	Andrea Corradini 0001, Frank Hermann 0001, Pawel Sobocinski 0001	Subobject Transformation Systems.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42
10	Siddhartha Sahi	Higher correlation inequalities.	Comb.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05A20, 26D07, 82B20, 60E15
10	Arpan Biswas, Steven J. Fenves, Vadim Shapiro, Ram D. Sriram	Representation of heterogeneous material properties in the Core Product Model.	Eng. Comput.	2008	DBLP DOI BibTeX RDF
10	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
10	Yindi Jing, Hamid Jafarkhani	Distributed differential space-time coding for wireless relay networks.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
10	Steven Robbins	A three pronged approach to teaching undergraduate operating systems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
10	Carl Mummert	Subsystems of second-order arithmetic between RCA0 and WKL0.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B30, 03F35
10	Joshua A. Cole	Embedding FD(omega) into Ps densely.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF
10	Roland Meyer 0001, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
10	Marius Preda, Paulo Villegas, Francisco Morán, Gauthier Lafruit, Robert-Paul Berretty	A model for adapting 3D graphics based on scalable coding, real-time simplification and remote rendering.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	3D graphics compression and adaptation, On-line games
10	Timothy G. Griffin, Alexander J. T. Gurney	Increasing Bisemigroups and Algebraic Routing.	RelMiCS	2008	DBLP DOI BibTeX RDF
10	Simon Reymann, David S. Alves, Artur Lugmayr	Personalized social networking: an applied scenario in a portable personality environment.	MindTrek	2008	DBLP DOI BibTeX RDF	distributed social interdependencies, personalized environments, portable personality, social networking, social communities
10	Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner	An Inflationary Fixed Point Operator in XQuery.	ICDE	2008	DBLP DOI BibTeX RDF
10	Jules Desharnais, Georg Struth	Modal Semirings Revisited.	MPC	2008	DBLP DOI BibTeX RDF
10	Atanas Rountev, Mariana Sharp, Guoqing Xu 0001	IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.	CC	2008	DBLP DOI BibTeX RDF
10	Fritz Henglein	Generic discrimination: sorting and paritioning unshared data in linear time.	ICFP	2008	DBLP DOI BibTeX RDF	multiset discrimination, total preorder, partitioning, generic, sorting, functional, equivalence, discrimination, discriminator, order
10	Sunny Chang, Seong-Lyun Kim	Multi-User Water-Filling in Uplink OFDMA Systems.	WCNC	2008	DBLP DOI BibTeX RDF
10	Pan Zhou, Wei Liu 0004, Wei Yuan, Wenqing Cheng	Energy-Efficient Joint Power and Rate Control via Pricing in Wireless Data Networks.	WCNC	2008	DBLP DOI BibTeX RDF
10	Mariusz Oszust, Marian Wysocki	A Distributed Immune Algorithm for Solving Optimization Problems.	IDC	2008	DBLP DOI BibTeX RDF
10	Shi-Zhong Bai, Lei Fan, Wan-Liang Wang	LaTeX Strong-I Nß-Compactness in L-Topological Spaces.	FSKD (1)	2008	DBLP DOI BibTeX RDF
10	Salvatore Greco, Benedetto Matarazzo, Roman Slowinski	Dominance-Based Rough Set Approach and Bipolar Abstract Rough Approximation Spaces.	RSCTC	2008	DBLP DOI BibTeX RDF
10	Longzhuang Li, John Fernandez, Hongyu Guo	A Framework for Query Capabilities and Interface Design of Mediators on the Gulf of Mexico Data Sources.	APWeb	2008	DBLP DOI BibTeX RDF	mediator query capability, base view, Data integration
10	Hans Weber 0002	On Lattices of Uniformities.	Order	2007	DBLP DOI BibTeX RDF	Lattice uniformities, Distributivity, Modularity, Lattices, Uniformities, Complements
10	Ke Ding, Nan-Jing Huang, Xing Xu	Global Robust Exponential Stability of Interval BAM Neural Network with Mixed Delays under Uncertainty.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	mixed delays, uncertainty, robust stability, LMI, interval neural networks
10	Oleh R. Nykyforchyn	Capacities with Values in Compact Hausdorff Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B30, 06F30, 54B30
10	Richard N. Ball, Ales Pultr, Jirí Sichler	More on Configurations in Priestley Spaces, and Some New Problems.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D55, 06A11, Secondary 06D20, 03C05, 54F05
10	Mohamed Bekkali, Maurice Pouzet, Driss Zhani	Incidence structures and Stone-Priestley duality.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G05, 08A62, 03G10
10	Baohua Wang, Pinaki Mazumder	Accelerated Chip-Level Thermal Analysis Using Multilayer Green's Function.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
10	Zhu Han 0001, Zhu Ji, K. J. Ray Liu	Non-Cooperative Resource Competition Game by Virtual Referee in Multi-Cell OFDMA Networks.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
10	Mai Gehrke, Hilary A. Priestley	Duality for Double Quasioperator Algebras via their Canonical Extensions.	Stud Logica	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) primary 06D50, secondary 06A23, 18A99, 06D35
10	Yindi Jing, Hamid Jafarkhani	Using Orthogonal and Quasi-Orthogonal Designs in Wireless Relay Networks.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
10	Jouni Järvinen	Lattice Theory for Rough Sets.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
10	Susanne Saminger-Platz, Radko Mesiar, Didier Dubois	Aggregation Operators and Commuting.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
10	Michael J. Healy, Thomas P. Caudell	Generalized Lattices Express Parallel Distributed Concept Learning.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
10	Panagiotis Karras, Nikos Mamoulis	The Haar+ Tree: A Refined Synopsis Data Structure.	ICDE	2007	DBLP DOI BibTeX RDF
10	Shahid Khattak, Gerhard P. Fettweis	Distributed Iterative Detection in an Interference Limited Cellular Network.	VTC Spring	2007	DBLP DOI BibTeX RDF
10	Russell Harmer, Martin Hyland, Paul-André Melliès	Categorical Combinatorics for Innocent Strategies.	LICS	2007	DBLP DOI BibTeX RDF
10	Jung Min Park, Seong-Lyun Kim	Distributed throughput-maximization using the up- and downlink duality in wireless networks.	IWCMC	2007	DBLP DOI BibTeX RDF	distributed power control, network duality, Lagrangian relaxation, throughput maximization
10	Yongjun Liu, Guihua Nie	Implementation of Supply Chains Coordination Using Semantic Web Service Composition.	SOCA	2007	DBLP DOI BibTeX RDF
10	Denis Gopan, Thomas W. Reps	Guided Static Analysis.	SAS	2007	DBLP DOI BibTeX RDF
10	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov	Instrumenting where it hurts: an automatic concurrent debugging technique.	ISSTA	2007	DBLP DOI BibTeX RDF	feature selection, concurrency, debugging
10	Francine Blanchet-Sadri, Joshua D. Gafni, Kevin H. Wilson	Correlations of Partial Words.	STACS	2007	DBLP DOI BibTeX RDF
10	Azadeh Farzan, P. Madhusudan	Causal Dataflow Analysis for Concurrent Programs.	TACAS	2007	DBLP DOI BibTeX RDF