Search results for "Lattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Zongtian Liu, Liansheng Li, Qing Zhang	Research on a Union Algorithm of Multiple Concept Lattices.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis
113	Hilary A. Priestley	Ordered Sets and Complete Lattices.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
104	Chris Peikert, Alon Rosen	Lattices that admit logarithmic worst-case to average-case connection factors.	STOC	2007	DBLP DOI BibTeX RDF	algebraic number theory, worst-case to average-case reductions, lattices
93	Luigi Santocanale	On the Join Dependency Relation in Multinomial Lattices.	Order	2007	DBLP DOI BibTeX RDF	Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies
88	Jesús M. Carnicer, Mariano Gasca	Interpolation on lattices generated by cubic pencils.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	cubic pencils, principal lattices, multivariate interpolation
76	Phong Q. Nguyen, Jacques Stern	The Two Faces of Lattices in Cryptology.	CaLC	2001	DBLP DOI BibTeX RDF
73	Hugh Thomas	An Analogue of Distributivity for Ungraded Lattices.	Order	2006	DBLP DOI BibTeX RDF	left modular lattice, extremal lattice, supersolvable lattice, Tamari lattice, Cambrian lattice
72	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
72	Anna Maria Radzikowska, Etienne E. Kerre	Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical connectives, Fuzzy sets, Residuated lattices
71	Sumit Gulwani, Ashish Tiwari 0001	Combining abstract interpreters.	PLDI	2006	DBLP DOI BibTeX RDF	Nelson-Oppen combination, logical product, reduced product, abstract interpreter
65	Phong Q. Nguyen	The Two Faces of Lattices in Cryptology.	Selected Areas in Cryptography	2001	DBLP DOI BibTeX RDF
63	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
59	Remo Moresi	A Test-Example of a Quadratic Lattice.	Order	2000	DBLP DOI BibTeX RDF	Hermitean lattices, orthogonal geometry, quadratic lattices, semilattices, modular lattices, Galois lattices
59	Mårten Trolin	The Shortest Vector Problem in Lattices with Many Cycles.	CaLC	2001	DBLP DOI BibTeX RDF	Lattices, LLL algorithm, shortest vector problem
58	Kaloian Petkov, Feng Qiu, Zhe Fan, Arie E. Kaufman, Klaus Mueller 0001	Efficient LBM Visual Simulation on Face-Centered Cubic Lattices.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
58	Radim Belohlávek, Vilém Vychodil	Scales behind computational intelligence: exploring properties of finite lattices.	FOCI	2007	DBLP DOI BibTeX RDF
58	Mohammad-Reza Sadeghi 0001, Amir H. Banihashemi, Daniel Panario	Low-Density Parity-Check Lattices: Construction and Decoding Analysis.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
58	Chao Tian 0002, Sheila S. Hemami	Staggered Lattices in Multiple Description Quantization.	DCC	2005	DBLP DOI BibTeX RDF
58	Haris Widjaya, Torsten Möller, Alireza Entezari	Voxelization in Common Sampling Lattices.	PG	2003	DBLP DOI BibTeX RDF
57	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
56	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Multi-adjoint Concept Lattices: Definition and Representation Theorem.	ICFCA	2007	DBLP DOI BibTeX RDF	multi-adjoint lattices, implication triples, concept lattices, Galois connection
56	Eloy Renedo, Enric Trillas, Claudi Alsina	On the law (a·b')'=b+a'·b' in de Morgan algebras and orthomodular lattices.	Soft Comput.	2003	DBLP DOI BibTeX RDF	de Morgan Algebras, Orthomodular lattices, Elkan''s law, Lattices
55	Weichi Yu, Yu Zheng, Dake He	Constructing SVK_Lattices from Cyclic Bases.	PDCAT	2005	DBLP DOI BibTeX RDF	SVK-lattice, Cyclic Lattice, Pseudo-cyclic Lattice, Lattice Reduction
55	John Case, Dayanand S. Rajan, Anil M. Shende	Lattice computers for approximating Euclidean space.	J. ACM	2001	DBLP DOI BibTeX RDF
55	John H. Reif, Thomas H. LaBean, Nadrian C. Seeman	Challenges and Applications for Self-Assembled DNA Nanostructures.	DNA Computing	2000	DBLP DOI BibTeX RDF
52	Jon Ducrou, Peter W. Eklund, Tim Wilson	An Intelligent User Interface for Browsing and Searching MPEG-7 Images Using Concept Lattices.	CLA	2006	DBLP DOI BibTeX RDF
52	Amir J. Salomon, Ofer Amrani	Augmented product codes and lattices: Reed-Muller codes and Barnes-Wall lattices.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
50	Gábor Czédli	Sums of Lattices and a Relational Category.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06B05
50	Martin Farach-Colton, Yang Huang	A Linear Delay Algorithm for Building Concept Lattices.	CPM	2008	DBLP DOI BibTeX RDF
50	Jyrki T. Lahtonen, Roope Vehkalahti	Dense MIMO Matrix Lattices - A Meeting Point for Class Field Theory and Invariant Theory.	AAECC	2007	DBLP DOI BibTeX RDF
50	Amir J. Salomon, Ofer Amrani	Encoding and Decoding Binary Product Lattices.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
50	Véronique Ventos, Henry Soldano	Alpha Galois Lattices: An Overview.	ICFCA	2005	DBLP DOI BibTeX RDF
50	Antonio Neme, Pedro Miramontes	Statistical Properties of Lattices Affect Topographic Error in Self-organizing Maps.	ICANN (1)	2005	DBLP DOI BibTeX RDF
50	Ming Li, Tong Wang	An Approach to Image Retrieval Based on Concept Lattices and Rough Set Theory.	PDCAT	2005	DBLP DOI BibTeX RDF
50	Sergei P. Odintsov	On the Representation of N4-Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	N4-lattice, paraconsistent logic, strong negation
50	Genyuan Wang, Huiyong Liao, Haiquan Wang, Xiang-Gen Xia 0001	Systematic and optimal cyclotomic lattices and diagonal space-time block code designs.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
50	Piotr Berman, Bhaskar DasGupta, Dhruv Mubayi, Robert H. Sloan, György Turán, Yi Zhang 0002	The Protein Sequence Design Problem in Canonical Model on 2D and 3D Lattices.	CPM	2004	DBLP DOI BibTeX RDF
50	Haibin Kan, Hong Shen 0001, Hong Zhu 0004	The Closest Vector Problem on Some Lattices.	GCC (2)	2003	DBLP DOI BibTeX RDF	dual lattice, closest vector, root lattice, Lattice
50	Lee Middleton	The co-occurrence matrix in square and hexagonal lattices.	ICARCV	2002	DBLP DOI BibTeX RDF
50	Gregory Poltyrev	Lattices Based on Linear Codes.	Algebraic Coding	1993	DBLP DOI BibTeX RDF
49	Yan-Qing Yao, Ju-Sheng Mi	Fuzzy Concept Lattices Determined by (theta, sigma)-Fuzzy Rough Approximation Operators.	RSKT	2009	DBLP DOI BibTeX RDF	Fuzzy concept lattices, (?and ?)-fuzzy rough sets, Lukasiewicz implicator, Approximation operators
49	Peter Jipsen	From Semirings to Residuated Kleene Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	action algebras, congruence properties, Gentzen systems, residuated lattices, Semirings, Kleene algebras, Kleene algebras with test
49	Mårten Trolin	Lattices with Many Cycles Are Dense.	STACS	2004	DBLP DOI BibTeX RDF	lattices, shortest vector problem, closest vector problem
49	Rudolf Wille	Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories.	Order	2003	DBLP DOI BibTeX RDF	formal concept analysis, implications, distributive lattices
49	Ewa Orlowska, Anna Maria Radzikowska	Double Residuated Lattices and Their Applications.	RelMiCS	2001	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical operators, Fuzzy sets, Residuated lattices
47	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
44	Min-Qian Liu, Ling Wei, Wei Zhao	The Reduction Theory of Object Oriented Concept Lattices and Property Oriented Concept Lattices.	RSKT	2009	DBLP DOI BibTeX RDF
44	Azaria Paz, Claus-Peter Schnorr	Approximating Integer Lattices by Lattices with Cyclic Factor Groups.	ICALP	1987	DBLP DOI BibTeX RDF
42	Yongquan Wang, Xiaohong Zhang 0001, Zhiqing Shao	Boolean Filters and Prime Filters of Residual Lattices.	FSKD (1)	2007	DBLP DOI BibTeX RDF
42	Christian Burgmann, Rudolf Wille	The Basic Theorem on Preconcept Lattices.	ICFCA	2006	DBLP DOI BibTeX RDF
42	Laurent Condat, Dimitri Van De Ville, Thierry Blu	Hexagonal versus orthogonal lattices: a new comparison using approximation theory.	ICIP (3)	2005	DBLP DOI BibTeX RDF
42	Venkatesan Guruswami, Daniele Micciancio, Oded Regev 0001	The Complexity of the Covering Radius Problem on Lattices and Codes.	CCC	2004	DBLP DOI BibTeX RDF
42	Léonard Kwuida	When Is a Concept Algebra Boolean?	ICFCA	2004	DBLP DOI BibTeX RDF
42	Emmanuel Coquery, François Fages	Subtyping Constraints in Quasi-lattices.	FSTTCS	2003	DBLP DOI BibTeX RDF
42	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
42	Richard Cole 0002	Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams.	ACSC	2001	DBLP DOI BibTeX RDF
42	Stefano Baratella, Carlo Toffalori	The theory of [(Z)\vec]C(2)2{\vec Z}C(2)^2-lattices is decidable.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03B25, 03C52
42	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
41	Dan A. Simovici	Betweenness, Metrics and Entropies in Lattices.	ISMVL	2008	DBLP DOI BibTeX RDF	compatible metric, sub-modularity, modular lattices
41	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
41	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
41	Jianhua Dai, Weidong Chen 0002, Yunhe Pan	Rough Sets and Brouwer-Zadeh Lattices.	RSKT	2006	DBLP DOI BibTeX RDF	Brouwer-Zadeh lattices, orthocomplementation, Rough sets
41	Jingyu Jin, Keyun Qin, Zheng Pei 0001	Reduction-Based Approaches Towards Constructing Galois (Concept) Lattices.	RSKT	2006	DBLP DOI BibTeX RDF	Galois (concept) lattices, CL–Axiom, attribute reduction
41	Alexis Bonnecaze, Patrick Solé	Quaternary constructions of formally self-dual binary codes and unimodular lattices.	Algebraic Coding	1993	DBLP DOI BibTeX RDF	Weight Enumerators, Self-Dual Quaternary Codes, Formally Self-Dual Binary Codes, Unimodular Lattices, Codes
39	Tee Kiah Chia, Khe Chai Sim, Haizhou Li 0001, Hwee Tou Ng	A lattice-based approach to query-by-example spoken document retrieval.	SIGIR	2008	DBLP DOI BibTeX RDF	lattice-based spoken document retrieval, probabilistic retrieval approach, retrieval of conversational telephone speech, language modeling, query by example
39	Achill Schürmann, Frank Vallentin	Computational Approaches to Lattice Packing and Covering Problems.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
39	Vadim Lyubashevsky, Daniele Micciancio	Generalized Compact Knapsacks Are Collision Resistant.	ICALP (2)	2006	DBLP DOI BibTeX RDF
39	Nicolas Gama, Nick Howgrave-Graham, Phong Q. Nguyen	Symplectic Lattice Reduction and NTRU.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
39	Jürgen Reinhold	Finite Intervals in the Lattice of Topologies.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomistic, lattice of topologies, T 0-topology, interval
39	Klaus Biedermann	Powerset Trilattices.	ICCS	1998	DBLP DOI BibTeX RDF
39	Ishay Haviv, Oded Regev 0001	Tensor-based hardness of the shortest vector problem to within almost polynomial factors.	STOC	2007	DBLP DOI BibTeX RDF	lattices, hardness of approximation, tensor product
39	Anna Maria Radzikowska	Rough Approximation Operations Based on IF Sets.	ICAISC	2006	DBLP DOI BibTeX RDF	IF sets, Fuzzy logical connectives, Rough sets, Fuzzy sets, Residuated lattices
39	Johannes Buchmann 0001, Sachar Paulus	A One Way Function Based on Ideal Arithmetic in Number Fields.	CRYPTO	1997	DBLP DOI BibTeX RDF	number fields, shortest vectors in lattices, One way function
36	Radim Belohlávek, Jan Outrata, Vilém Vychodil	Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data.	CLA	2006	DBLP DOI BibTeX RDF
36	Kira V. Adaricheva, Friedrich Wehrung	Embedding Finite Lattices into Finite Biatomic Lattices.	Order	2003	DBLP DOI BibTeX RDF	atomistic, biatomic, join-semidistributive, congruence extension property, lower bounded, lattice, convex geometry
34	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Stud Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
34	Damien Stehlé, Ron Steinfeld, Keisuke Tanaka, Keita Xagawa	Efficient Public Key Encryption Based on Ideal Lattices.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
34	Viet Bac Le, Sopheap Seng, Laurent Besacier, Brigitte Bigi	Word/sub-word lattices decomposition and combination for speech recognition.	ICASSP	2008	DBLP DOI BibTeX RDF
34	Nicolas Jay, François Kohler, Amedeo Napoli	Analysis of Social Communities with Iceberg and Stability-Based Concept Lattices.	ICFCA	2008	DBLP DOI BibTeX RDF
34	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
34	Amir J. Salomon, Ofer Amrani	Reed-Muller codes and Barnes-Wall lattices: Generalized multilevel constructions and representation over GF(2q).	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classification 68P30, 94B12, 94B05
34	Yue M. Lu, Minh N. Do	Finding Optimal Integral Sampling Lattices for a given Frequency Support in Multidimensions.	ICIP (2)	2007	DBLP DOI BibTeX RDF
34	Radim Belohlávek, Vilém Vychodil	Counting Finite Residuated Lattices.	IFSA (1)	2007	DBLP DOI BibTeX RDF
34	Radim Belohlávek, Bernard De Baets, Jan Outrata, Vilém Vychodil	Trees in Concept Lattices.	MDAI	2007	DBLP DOI BibTeX RDF
34	Aurélie Bertaux, Agnès Braud, Florence Le Ber	Mining Complex Hydrobiological Data with Galois Lattices.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
34	Rudolf Wille	The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices.	ICFCA	2007	DBLP DOI BibTeX RDF
34	Xiaojing Liu, Wenbing Wu, Fei Yu, Deng Chang	The Algorithms of Constructing Concept Lattices Based On CAT With Cognitive Diagnosis.	IITA	2007	DBLP DOI BibTeX RDF
34	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions on Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice
34	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
34	Christian Zschalig	Characterizing Planar Lattices Using Left-Relations.	ICFCA	2006	DBLP DOI BibTeX RDF
34	Richard Cole 0002, Jon Ducrou, Peter W. Eklund	Automated Layout of Small Lattices Using Layer Diagrams.	ICFCA	2006	DBLP DOI BibTeX RDF
34	Mario Giacobini, Marco Tomassini, Andrea Tettamanzi, Enrique Alba 0001	Selection intensity in cellular evolutionary algorithms for regular lattices.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
34	Pranav Dayal, Mahesh K. Varanasi	An algebraic family of complex lattices for fading channels with application to space-time codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
34	Gregor Snelting	Concept Lattices in Software Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
34	Sascha Karl Dörflein, Rudolf Wille	Coherence Networks of Concept Lattices: The Basic Theorem.	ICFCA	2005	DBLP DOI BibTeX RDF
34	Michel Serfati	A Note on Triangulation of PostAlgebras and "Leibnizian" Lattices.	ISMVL	2005	DBLP DOI BibTeX RDF
34	Xiajiong Shen, Zongtian Liu, Qing Zhang, Yun Li, Baisheng Shi	Isomorphic generating of concept lattices.	GrC	2005	DBLP DOI BibTeX RDF
34	Sylvia Pulmannová	Commutator-Finite D-Lattices.	Order	2004	DBLP DOI BibTeX RDF	D-lattice, Riesz ideal, block-finite, commutator-finite, block, MV-algebra, congruence, commutator, ideal, effect algebra
34	Stephen Binns, Stephen G. Simpson	Embeddings into the Medvedev and Muchnik lattices of pi01classes.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF
34	Kathryn L. Nyman	Linear Inequalities for Rank 3 Geometric Lattices.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF