Search results for "lattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Ashish Tiwari 0001, Sumit Gulwani	Logical Interpretation: Static Program Analysis Using Theorem Proving.	CADE	2007	DBLP DOI BibTeX RDF
24	Iskander Aliev, Peter M. Gruber	Lattice Points in Large Borel Sets and Successive Minima.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
24	Janusz Konrad, P. Agniel	Subsampling models and anti-alias filters for 3-D automultiscopic displays.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
24	Vaibhava Goel, Shankar Kumar, William Byrne	Corrections to "Segmental minimum Bayes-risk decoding for automatic speech recognition".	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
24	Wojciech Buszkowski	On the Complexity of the Equational Theory of Relational Action Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
24	Markus Krötzsch, Grit Malik	The Tensor Product as a Lattice of Regular Galois Connections.	ICFCA	2006	DBLP DOI BibTeX RDF
24	Vaibhava Goel, Shankar Kumar, William Byrne	Segmental minimum Bayes-risk decoding for automatic speech recognition.	IEEE Trans. Speech Audio Process.	2004	DBLP DOI BibTeX RDF
24	John H. Reif, Thomas H. LaBean, Sudheer Sahu, Hao Yan, Peng Yin 0003	Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors.	UPP	2004	DBLP DOI BibTeX RDF
24	Gerd Stumme	Efficient Data Mining Based on Formal Concept Analysis.	DEXA	2002	DBLP DOI BibTeX RDF
24	Anne Berry, Alain Sigayret	Maintaining Class Membership Information.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
24	Uriel Feige, Daniele Micciancio	The Inapproximability of Lattice and Coding Problems with Preprocessing.	CCC	2002	DBLP DOI BibTeX RDF
24	Carsten Fritz	Some Fixed Point Basics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
24	Michael Huth 0001	Linear Domains and Linear Maps.	MFPS	1993	DBLP DOI BibTeX RDF
24	Chris Hankin, Sebastian Hunt	Approximate Fixed Points in Abstract Interpretation.	ESOP	1992	DBLP DOI BibTeX RDF
24	Brigitte Vallée, Marc Girault, Philippe Toffin	How to Break Okamoto's Cryptosystem by Reducing Lattice Bases.	EUROCRYPT	1988	DBLP DOI BibTeX RDF
23	Phong Q. Nguyen, Oded Regev 0001	Learning a Parallelepiped: Cryptanalysis of GGH and NTRU Signatures.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	GGH, NTRUSign, Lattices, Moment, Gradient descent, Public-key cryptanalysis
23	Ishay Haviv, Vadim Lyubashevsky, Oded Regev 0001	A Note on the Distribution of the Distance from a Lattice.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Second moment, Computational complexity, Lattices, Geometrical invariants, Covering radius
23	Jeremy T. Engle, Edward L. Robertson	Depth first algorithms and inferencing for AFD mining.	IDEAS	2009	DBLP DOI BibTeX RDF	Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search
23	Bénédicte Le Grand, Michel Soto, Marie-Aude Aufaure	Conceptual and Spatial Footprints for Complex Systems Analysis: Application to the Semantic Web.	DEXA	2009	DBLP DOI BibTeX RDF	Conceptual footprint, Clustering, Ontologies, Visualization, Semantic Web, Navigation, Formal Concept Analysis, Topic Maps, Galois lattices
23	Johannes Buchmann 0001, Richard Lindner	Secure Parameters for SWIFFT.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	hash functions, lattices, post-quantum cryptography
23	Yoshinori Hamahata	Finite Dedekind Sums.	WAIFI	2008	DBLP DOI BibTeX RDF	Dedekind sums, Drinfeld modules, lattices
23	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
23	Minfen Shen, Lanxin Lin, Guoliang Chang	Novel Coupled Map Lattice Model for Prediction of EEG Signal.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Couple Map Lattices, Normalized Radial Basis Function, EEG
23	Christophe Alias, Fabrice Baray, Alain Darte	Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.	LCTES	2007	DBLP DOI BibTeX RDF	program analysis, lattices, source-to-source transformations, memory reduction
23	Camilla Hollanti, Hsiao-feng Lu	Normalized Minimum Determinant Calculation for Multi-block and Asymmetric Space-Time Codes.	AAECC	2007	DBLP DOI BibTeX RDF	Asymmetric space-time block codes (ASTBCs), cyclic division algebras (CDAs), dense lattices, diversity-multiplexing tradeoff (DMT), maximal orders, multi-block, multiple-input multiple-output (MIMO) channels, nonvanishing determinant (NVD), discriminants
23	Sylvia B. Encheva, Sharil Tumin	Efficient Knowledge Assessment Based on Convex Geometries.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	lattices, Knowledge
23	Ellen Jochemsz, Alexander May 0001	A Strategy for Finding Roots of Multivariate Polynomials with New Applications in Attacking RSA Variants.	ASIACRYPT	2006	DBLP DOI BibTeX RDF	small roots, Coppersmith’s method, RSA variants, cryptanalysis, lattices
23	Daniel Bleichenbacher, Alexander May 0001	New Attacks on RSA with Small Secret CRT-Exponents.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	small exponents, Coppersmith’s method, RSA, lattices
23	L. John Old	Homograph Disambiguation Using Formal Concept Analysis.	ICFCA	2006	DBLP DOI BibTeX RDF	Type-10 chains, Roget’s Thesaurus, plus operator, word fields, neighbourhood lattices, components, partitions
23	Gianpiero Cattaneo, Davide Ciucci	Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part II.	RSKT	2006	DBLP DOI BibTeX RDF	topological operators, BZ lattices, similarity approximations
23	Piero Pagliani	Notes on Rough Sets and Formal Concepts.	RSKT	2006	DBLP DOI BibTeX RDF	rough sets, concept lattices, Approximation spaces
23	Ming-Wen Shao, Min Liu 0013, Wen-Xiu Zhang	Rough Fuzzy Set Approximations in Fuzzy Formal Contexts.	RSCTC	2006	DBLP DOI BibTeX RDF	rough sets, concept lattices, Approximation operators, formal concepts
23	Phong Q. Nguyen, Jacques Stern	Adapting Density Attacks to Low-Weight Knapsacks.	ASIACRYPT	2005	DBLP DOI BibTeX RDF	Lattices, Knapsack, Public-Key Cryptanalysis, Subset Sum
23	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
23	Robert C. Powers, Thomas Riedel	Z-Semicontinuous Posets.	Order	2003	DBLP DOI BibTeX RDF	continuous lattices, Z-semicontinuous posets, Z-continuous posets
23	Oded Regev 0001	New lattice based cryptographic constructions.	STOC	2003	DBLP DOI BibTeX RDF	average-case hardness, cryptography, quantum computing, lattices, public key encryption
23	Daniele Micciancio	Improved Cryptographic Hash Functions with Worst-Case/Average-Case Connection.	CCC	2002	DBLP DOI BibTeX RDF	worst-case/average-case connection, computational complexity, cryptography, hash functions, lattices
23	Wil M. P. van der Aalst, Twan Basten	Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.	ICATPN	2001	DBLP DOI BibTeX RDF	Petri nets, inheritance, lattices, workflow management, object-oriented methods, partial orders
23	Phong Q. Nguyen, Igor E. Shparlinski	On the Insecurity of a Server-Aided RSA Protocol.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	Server-aided protocol, Cryptanalysis, Lattices, RSA signature
23	Dan Boneh, Shai Halevi, Nick Howgrave-Graham	The Modular Inversion Hidden Number Problem.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	Coppersmith's attack, Approximations, MAC, Lattices, PRNG, Modular inversion, Hidden number problems
23	Harry M. Sneed	Source Animation as a Means of Program Comprehension.	IWPC	2000	DBLP DOI BibTeX RDF	Control Flow Slicing, UML, Animation, Object-Orientation, C++, Dynamic Analysis, Concept Lattices, Sequence Diagrams, State Transition
23	Marcos Cordeiro d'Ornellas, Rein van den Boomgaard	Developing Morphological Building Blocks: From Design to Implementation.	SIBGRAPI	1999	DBLP DOI BibTeX RDF	image algebra, morphological algorithms, mathematical morphology, complete lattices
23	George Wolberg	Nonuniform Image Reconstruction Using Multilevel Surface Interpolation.	ICIP (1)	1997	DBLP DOI BibTeX RDF	nonuniform image reconstruction, multilevel surface interpolation, multiresolution approach, C/sup 2/-continuous surface, irregularly spaced samples, coarse-to-fine hierarchy, control lattices, high fidelity reconstruction, sparse samples, image reconstruction
23	Rodney G. Downey, André Nies	Undecidability Results for Low Complexity Degree Structures.	CCC	1997	DBLP DOI BibTeX RDF	undecidability results, low complexity degree structures, EXPTIME degrees, polynomial time Turing, many-one reducibility, coding method, ideal lattices, hyper-polynomial time classes, Boolean algebra, Boolean algebras
23	Clifford A. Pickover	A note on visualizing the Omega Prism.	Vis. Comput.	1996	DBLP DOI BibTeX RDF	Smooth numbers, Visualization, Perception, Lattices, Factorization, Puzzles
23	Reiner Hähnle	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers
23	Hugues Ripoche, Jean Sallantin	Knowledge discovery in a genetic database: the MINOS system.	HICSS (5)	1995	DBLP DOI BibTeX RDF	genetic database, MINOS system, genetic sequence management, genetic sequences, functional inference, prediction functions, query processing, indexing, knowledge discovery, knowledge acquisition, query languages, object-oriented databases, object-oriented database, object-oriented languages, index, knowledge extraction, concept lattices, genetics, biology computing, object-oriented query language
23	Lars Wiedenhifer, Hans-Günther Hein, Andreas Dengel 0001	Post-processing of OCR results for automatic indexing.	ICDAR	1995	DBLP DOI BibTeX RDF	OCR result post-processing, inaccurately recognized OCR text, index terms, document quality, character hypothesis lattices, generate-and-test, rule based substitution system, trigram correction, word candidates, elimination routine, German words, classification, classification, indexing, knowledge based systems, experiments, optical character recognition, quality, document image processing, morphology, vocabulary, word recognition, automatic indexing, document archiving
23	Henk J. A. M. Heijmans	Theoretical Aspects of Gray-Level Morphology.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	gray-level morphology, threshold set, flat operators, picture processing, picture processing, lattices, set theory, dilations, erosions
23	Shmuel Katz, Doron A. Peled	An efficient verification method for parallel and distributed programs.	REX Workshop	1988	DBLP DOI BibTeX RDF	Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
23	John J. Cannon	Computers in group theory: a survey.	Commun. ACM	1969	DBLP DOI BibTeX RDF	character tables, commutator calculus, coset enumeration, nonnumerical programming, subgroup lattices, topology, survey, symbol manipulation, group theory, discrete mathematics, permutation groups, Abelian groups, automorphism groups, crystallography
20	Gábor Czédli, Ali Molkhasi	Absolute Retracts for Finite Distributive Lattices and Slim Semimodular Lattices.	Order	2023	DBLP DOI BibTeX RDF
20	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
20	Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran	Reductions from module lattices to free module lattices, and application to dequantizing module-LLL.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
20	Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran	Reductions from Module Lattices to Free Module Lattices, and Application to Dequantizing Module-LLL.	CRYPTO (5)	2023	DBLP DOI BibTeX RDF
20	Henri Mühle	Hochschild lattices and shuffle lattices.	Eur. J. Comb.	2022	DBLP DOI BibTeX RDF
20	Dmitry I. Ignatov	On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom.	CoRR	2022	DBLP DOI BibTeX RDF
20	Alexander P. Sostak, Maris Krastins, Ingrida Uljane	Graded concept lattices in fuzzy rough set theory.	CLA	2022	DBLP BibTeX RDF
20	Domingo López-Rodríguez, Ángel Mora 0001, Manuel Ojeda-Hernández	Revisiting Algorithms for Fuzzy Concept Lattices.	CLA	2022	DBLP BibTeX RDF
20	Edward Kissin, Victor Shulman, Yuri Turovskii	Relations and Radicals in Abstract Lattices and in Lattices of Subspaces of Banach Spaces and of Ideals of Banach Algebras. Amitsur's Theory Revisited.	Order	2021	DBLP DOI BibTeX RDF
20	Jinbo Yang, Xiaoyong Xi	Which Distributive Lattices are Lattices of Open Sets of P-Spaces?	Order	2021	DBLP DOI BibTeX RDF
20	Damian Sawicki, Adam Grabowski	On Weakly Associative Lattices and Near Lattices.	Formaliz. Math.	2021	DBLP DOI BibTeX RDF
20	Zhiyong Zheng, Fengxia Liu, Yunfan Lu, Kun Tian	Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter.	CoRR	2021	DBLP BibTeX RDF
20		Jonathan E. Leech: Noncommutative Lattices: Skew Lattices, Skew Boolean Algebras and Beyond.	Ars Math. Contemp.	2021	DBLP BibTeX RDF
20	Peng He, Xue-Ping Wang 0001	Congrunce lattices of rectangular lattices.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
20	Bing Yao	Graphic Lattices and Matrix Lattices Of Topological Coding.	CoRR	2020	DBLP BibTeX RDF
20	Ivan Chajda, Helmut Länger	Left residuated lattices induced by lattices with a unary operation.	Soft Comput.	2020	DBLP DOI BibTeX RDF
20	Alain Gély, Miguel Couceiro, Laurent Miclet, Amedeo Napoli	Steps in the Representation of Concept Lattices and Median Graphs.	CLA	2020	DBLP BibTeX RDF
20	Jelena Jovanovic 0004, Andreja Tepavcevic	Ω-lattices from skew lattices.	Art Discret. Appl. Math.	2019	DBLP DOI BibTeX RDF
20	Huiying Yu, Qingguo Li, Mingjie Cai	Characteristics of three-way concept lattices and three-way rough concept lattices.	Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
20	Jan Konecny 0001	On efficient factorization of standard fuzzy concept lattices and attribute-oriented fuzzy concept lattices.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
20	Giacomo Kahn	A structural study of lattices, d-lattices and some applications in data analysis. (Une étude structurelle des treillis, d-treillis, et quelques applications en analyse de données).		2018	RDF
20	Sébastien Ferré, Peggy Cellier	How Hierarchies of Concept Graphs Can Facilitate the Interpretation of RCA Lattices?	CLA	2018	DBLP BibTeX RDF
20	Bernhard Ganter	Order-embedded Complete Lattices.	CLA	2018	DBLP BibTeX RDF
20	Christian Jäkel, Stefan E. Schmidt	Cover Problems, Dimensions And The Tensor Product Of Complete Lattices.	CLA	2018	DBLP BibTeX RDF
20	Kuanyun Zhu, Bao Qing Hu	A new study on soft rough fuzzy lattices (ideals, filters) over lattices.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
20	Jesús Medina 0001	Notes on "solution sets of inf- αT fuzzy relational equations on complete Brouwerian lattices" and "fuzzy relational equations on complete Brouwerian lattices".	Inf. Sci.	2017	DBLP DOI BibTeX RDF
20	Nathalie Girard, Karell Bertet, Muriel Visani	Dichotomic lattices and local discretization for Galois lattices.	Adv. Data Anal. Classif.	2017	DBLP DOI BibTeX RDF
20	Fan Zhou 0005, Brian M. Kurkoski	Shaping LDLC Lattices Using Convolutional Code Lattices.	IEEE Commun. Lett.	2017	DBLP DOI BibTeX RDF
20	Xiu-Juan Hua, Xiaolong Xin 0001	Rough soft lattices and generalized fuzzy soft lattices.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
20	Eduard Bartl, Michal Krupka	Residuated lattices of block relations: size reduction of concept lattices.	Int. J. Gen. Syst.	2016	DBLP DOI BibTeX RDF
20	Jan Konecny 0001	Attribute-oriented fuzzy concept lattices and standard fuzzy concept lattices induce the same similarity on objects.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
20	L'ubomír Antoni, Stanislav Krajci, Ondrej Kridlo	Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
20	Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa	Reduct-Irreducible α-cut Concept Lattices: An Efficient Reduction Procedure to Multi-adjoint Concept Lattices.	IPMU (2)	2016	DBLP DOI BibTeX RDF
20	Laurent Beaudou, Lhouari Nourine	Partial Duplication of Convex Sets in Lattices.	CLA	2016	DBLP BibTeX RDF
20	Bato Merdygeev, Sesegma Dambaeva	Evaluation of Ontology Quality based on Analysis of Relations in Concept Lattices.	CDUD@CLA	2016	DBLP BibTeX RDF
20	Gillian J. Greene, Bernd Fischer 0002	Single-Focus Broadening Navigation in Concept Lattices.	CDUD@CLA	2016	DBLP BibTeX RDF
20	Maria Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez-Poussa	Reducts in Multi-Adjoint Concept Lattices.	CLA	2016	DBLP BibTeX RDF
20	Mehwish Alam, Thi Nhu Nguyen Le, Amedeo Napoli	LatViz: A New Practical Tool for Performing Interactive Exploration over Concept Lattices.	CLA	2016	DBLP BibTeX RDF
20	Alexandre Albano, Bogdan Chornomaz	Why Concept Lattices Are Large - Extremal Theory for the Number of Minimal Generators and Formal Concepts.	CLA	2015	DBLP BibTeX RDF
20	Martin Kauer, Michal Krupka	Subset-Generated Complete Sublattices as Concept Lattices.	CLA	2015	DBLP BibTeX RDF
20	Zhen Ming Ma	Lattices of (generalized) fuzzy filters in residuated lattices.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
20	Jeffrey S. Olson	Involutive Residuated Lattices Based on Modular and Distributive Lattices.	Order	2014	DBLP DOI BibTeX RDF
20	Xiao-Bing Qu, Xue-Ping Wang 0001, Man-Hua Lei	Conditions under which the solution sets of fuzzy relational equations over complete Brouwerian lattices form lattices.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
20	Xiqiang Zheng, Feng Gu 0001	Fast Fourier Transform on FCC and BCC Lattices with Outputs on FCC and BCC Lattices Respectively.	J. Math. Imaging Vis.	2014	DBLP DOI BibTeX RDF
20	Hang Su, James Hieronymus, Yanzhang He, Eric Fosler-Lussier, Steven Wegmann	Syllable based keyword search: Transducing syllable lattices to word lattices.	SLT	2014	DBLP DOI BibTeX RDF
20	Francisco José Valverde Albacete, Carmen Peláez-Moreno, Anselmo Peñas	On Concept Lattices as Information Channels.	CLA	2014	DBLP BibTeX RDF
20	Benedek Skublics	Isometrical Embeddings of Lattices into Geometric Lattices.	Order	2013	DBLP DOI BibTeX RDF
20	Gábor Czédli, George Grätzer	Notes on Planar Semimodular Lattices. VII. Resections of Planar Semimodular Lattices.	Order	2013	DBLP DOI BibTeX RDF
20	Andreas Henn, Michael Hentschel, Aloys Krieg, Gabriele Nebe	On the Classification of Lattices Over ℚ(√-3) Which Are Even Unimodular ℤ-Lattices of Rank 32.	Int. J. Math. Math. Sci.	2013	DBLP DOI BibTeX RDF