Search results for "lattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	Multi-lattices as a Basis for Generalized Fuzzy Logic Programming.	WILF	2005	DBLP DOI BibTeX RDF
18	Francisco J. Valverde-Albacete	Explaining the Structure of FrameNet with Concept Lattices.	ICFCA	2005	DBLP DOI BibTeX RDF
18	Peter Becker 0002	Using Intermediate Representation Systems to Interact with Concept Lattices.	ICFCA	2005	DBLP DOI BibTeX RDF
18	Christian Zschalig	Planarity of Lattices.	ICFCA	2005	DBLP DOI BibTeX RDF
18	Jian Xu, Xiao Fan Wang 0001	Cascading failures in scale-free coupled map lattices.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
18	Jorge E. Castro, Sergio A. Celani	Quasi-Modal Lattices.	Order	2004	DBLP DOI BibTeX RDF
18	Kira V. Adaricheva, V. A. Gorbunov	On the structure of lattices of subquasivarieties of congruence-noetherian quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	algebraic subsets, Lattice, quasivariety, quasi-order
18	Bane Vasic, Karunakar Pedagani, Milos Ivkovic	High-rate girth-eight low-density parity-check codes on rectangular integer lattices.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
18	Kathryn L. Nyman, Ed Swartz	Inequalities for the h-Vectors and Flag h-Vectors of Geometric Lattices.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
18	Baris Sertkaya, Halit Oguztüzün	Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.	ISCIS	2004	DBLP DOI BibTeX RDF
18	Laszlo Szathmary, Amedeo Napoli	Knowledge Organisation and Information Retrieval with Galois Lattices.	EKAW	2004	DBLP DOI BibTeX RDF
18	Anders Dessmark, Andrzej Lingas, Eva-Marta Lundell	Subexponential-Time Framework for Optimal Embeddings of Graphs in Integer Lattices.	SWAT	2004	DBLP DOI BibTeX RDF
18	Juan M. Cigarrán, Julio Gonzalo, Anselmo Peñas, Felisa Verdejo	Browsing Search Results via Formal Concept Analysis: Automatic Selection of Attributes.	ICFCA	2004	DBLP DOI BibTeX RDF
18	Björn Vormbrock	A First Step towards Protoconcept Exploration.	ICFCA	2004	DBLP DOI BibTeX RDF
18	Sergei O. Kuznetsov	Machine Learning and Formal Concept Analysis.	ICFCA	2004	DBLP DOI BibTeX RDF
18	Franz Baader, Baris Sertkaya	Applying Formal Concept Analysis to Description Logics.	ICFCA	2004	DBLP DOI BibTeX RDF
18	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
18	Peter G. Casazza, Ole W. Christensen	Gabor Frames over Irregular Lattices.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	Gabor frame, irregular lattice
18	Hitoshi Furusawa	The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.	RelMiCS	2003	DBLP DOI BibTeX RDF
18	Baruch Awerbuch, Jonathan Robert Stanton	Scalable Decentralized Control for Sensor Networks via Distributed Lattices.	IPSN	2003	DBLP DOI BibTeX RDF
18	Moshe Schwartz 0001, Tuvi Etzion	Optimal 2-Dimensional 3-Dispersion Lattices.	AAECC	2003	DBLP DOI BibTeX RDF
18	Ruben Ghulghazaryan, Nerses Ananikyan, Tore Møller Jonassen	Julia Sets and Yang-Lee Zeros of the Potts Model on Bethe Lattices.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
18	András Gyárfás	Transitive Edge Coloring of Graphs and Dimension of Lattices.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) 05C15
18	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
18	José Martinez 0001, Erwan Loisant	Browsing image databases with Galois' lattices.	SAC	2002	DBLP DOI BibTeX RDF	Gallois' lattice, high-dimensionnality, classification, multimedia, fuzzy logic, hypermedia, image database
18	Miklós Ajtai	Random Lattices and a Conjectured 0 - 1 Law about Their Polynomial Time Computable Properties.	FOCS	2002	DBLP DOI BibTeX RDF
18	Khaled M. Elbassioni	An Algorithm for Dualization in Products of Lattices and Its Applications.	ESA	2002	DBLP DOI BibTeX RDF
18	Alexandre Delteil, Catherine Faron, Rose Dieng	Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents.	ICCS	2002	DBLP DOI BibTeX RDF
18	Viorica Sofronie-Stokkermans	On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.	TABLEAUX	2002	DBLP DOI BibTeX RDF
18	John L. Pfaltz	Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery.	ICGT	2002	DBLP DOI BibTeX RDF
18	Debbie Richards 0001, Kathrin Böttger, Oscar Aguilera	A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
18	Andrei A. Krokhin	Congruences of Clone Lattices, II.	Order	2001	DBLP DOI BibTeX RDF	clone lattice, clone, congruence
18	Sergei O. Kuznetsov, Sergei A. Obiedkov	Algorithms for the Construction of Concept Lattices and Their Diagram Graphs.	PKDD	2001	DBLP DOI BibTeX RDF
18	Johannes Blömer	Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.	ICALP	2000	DBLP DOI BibTeX RDF
18	Gregor Snelting	Software Reengineering Based on Concept Lattices.	CSMR	2000	DBLP DOI BibTeX RDF
18	Andreas C. Döring, Gunther Lustig	Implementation of Finite Lattices in VLSI for Fault-State Encoding in High-Speed Networks.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
18	Viorica Sofronie-Stokkermans	On Unification for Bonded Distributive Lattices.	CADE	2000	DBLP DOI BibTeX RDF
18	Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret	Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices.	AISC	2000	DBLP DOI BibTeX RDF
18	György Elekes	On Linear Combinatorics III. Few Directions and Distorted Lattices.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 52C10
18	Javier Ramos 0001, Cherian P. Mathews, Michael D. Zoltowski	FCA-ESPRIT: a closed-form 2-D angle estimation algorithm for filled circular arrays with arbitrary sampling lattices.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
18	Ali Akhavi	Threshold Phenomena in Random Lattices and Efficient Reduction Algorithms.	ESA	1999	DBLP DOI BibTeX RDF
18	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
18	Derrick G. Kourie, G. Deon Oosthuizen	Lattices in Machine Learning: Complexity Issues.	Acta Informatica	1998	DBLP DOI BibTeX RDF
18	Claudio Carpineto, Giovanni Romano 0002	Effective Reformulation of Boolean Queries with Concept Lattices.	FQAS	1998	DBLP DOI BibTeX RDF
18	Jacques Stern	Lattices and Cryptography: An Overview.	Public Key Cryptography	1998	DBLP DOI BibTeX RDF
18	Zdravko Markov, Nikolay Pelov	A Framework for Inductive Learning Based on Subsumption Lattices.	AIMSA	1998	DBLP DOI BibTeX RDF
18	Claes Andersson, Mats G. Nordahl	Evolving Coupled Map Lattices for Computation.	EuroGP	1998	DBLP DOI BibTeX RDF
18	Ingbert Kupka	Unique Fixpoints in Complete Lattices with Applications to Formal Languages and Semantics.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
18	Cynthia Dwork	Positive Applications of Lattices to Cryptography.	MFCS	1997	DBLP DOI BibTeX RDF
18	Georg Struth	On the Word Problem for Free Lattices.	RTA	1997	DBLP DOI BibTeX RDF
18	Wojciech Banaszczyk	Inequalities for Convex Bodies and Polar Reciprocal Lattices in $R^n$ II: Application of $K$-Convexity.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
18	Gernot Salzer	Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.	CADE	1996	DBLP DOI BibTeX RDF
18	Ulrich Faigle	The Bandwidth of Planar Distributive Lattices.	WG	1986	DBLP DOI BibTeX RDF
16	Michal Botur, Ivan Chajda, Radomír Halas	Are basic algebras residuated structures?	Soft Comput.	2010	DBLP DOI BibTeX RDF	Basic algebra, Commutative basic algebra, Residuated groupoid, Skew adjointness property, Residuated lattice
16	Anton Kaplanyan, Carsten Dachsbacher	Cascaded light propagation volumes for real-time indirect illumination.	SI3D	2010	DBLP DOI BibTeX RDF	global illumination, real-time rendering
16	Haiquan Wang, Dong Wang, Xiang-Gen Xia 0001	On Optimal Quasi-Orthogonal Space-Time Block Codes With Minimum Decoding Complexity.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
16	Violeta Leoreanu Fotea, Piergiulio Corsini	Isomorphisms of hypergroups and of n -hypergroups with applications.	Soft Comput.	2009	DBLP DOI BibTeX RDF
16	David Gamarnik, Dmitriy Katz	Sequential cavity method for computing limits of the log-partition function for lattice models.	SODA	2009	DBLP DOI BibTeX RDF
16	Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein	Design of prismatic cube modules for convex corner traversal in 3D.	IROS	2009	DBLP DOI BibTeX RDF
16	Julian Ryde, Michael Brünig	Non-cubic occupied voxel lists for robot maps.	IROS	2009	DBLP DOI BibTeX RDF
16	Michel Soto, Bénédicte Le Grand, Marie-Aude Aufaure	Spatial Visualisation of Conceptual Data.	IV	2009	DBLP DOI BibTeX RDF
16	Vadim Lyubashevsky	Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
16	Andrew L. Burrow	Algorithm Design Using Traversals of the Covering Relation.	ICCS	2009	DBLP DOI BibTeX RDF
16	Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens	Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks.	IWDW	2009	DBLP DOI BibTeX RDF	Quantization Index Modulation, Digital Watermarking, Lattice
16	Vitaly Belik, Theo Geisel, Dirk Brockmann	The Impact of Human Mobility on Spatial Disease Dynamics.	CSE (4)	2009	DBLP DOI BibTeX RDF
16	Christian Meschke	Robust Elements in Rough Set Abstractions.	ICFCA	2009	DBLP DOI BibTeX RDF
16	Jian-Jun Qi, Ling Wei, Yan-Ping Chen	Correlation Analysis Between Objects and Attributes.	RSKT	2009	DBLP DOI BibTeX RDF
16	Paul Brodhead, Bjørn Kjos-Hanssen	The Strength of the Grätzer-Schmidt Theorem.	CiE	2009	DBLP DOI BibTeX RDF	computability theory, lattice theory
16	M. Andrew Moshier, Daniela Petrisan	A Duality Theorem for Real C* Algebras.	CALCO	2009	DBLP DOI BibTeX RDF
16	Hans Bruun, Dion Coumans, Mai Gehrke	Distributive Lattice-Structured Ontologies.	CALCO	2009	DBLP DOI BibTeX RDF
16	Mustafa Altun, Marc D. Riedel, Claudia Neuhauser	Nanoscale digital computation through percolation.	DAC	2009	DBLP DOI BibTeX RDF	nanoscale digital computation, logic synthesis, percolation
16	Rudolf Berghammer, Bernd Braßel	Computing and Visualizing Closure Objects Using Relation Algebra and RelView.	CASC	2009	DBLP DOI BibTeX RDF
16	Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang	Attribute reduction theory of concept lattice based on decision formal contexts.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix
16	Camilla Hollanti, Jyrki T. Lahtonen, Hsiao-feng Lu	Maximal Orders in the Design of Dense Space-Time Lattice Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
16	Uday P. Khedker, Bageshri Karkare	Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.	CC	2008	DBLP DOI BibTeX RDF
16	Siavash Kazemian, Frank Rudzicz, Gerald Penn, Cosmin Munteanu	A critical assessment of spoken utterance retrieval through approximate lattice representations.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	lossy recognition lattice representation, spoken utterance retrieval, speech retrieval
16	Vadim Lyubashevsky	Lattice-Based Identification Schemes Secure Under Active Attacks.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF
16	Hanene Chettaoui, Mohamed Ali Ben Hassine, Narjes Hachani, Habib Ounelli	Using FCA to Answer Fuzzy Queries in Cooperative Systems.	FSKD (3)	2008	DBLP DOI BibTeX RDF
16	Bing Zhang, Yajun Du, Haiming Li, YuTing Wang	Query Expansion Based on Topics.	FSKD (2)	2008	DBLP DOI BibTeX RDF
16	Ling Wei, Jian-Jun Qi	Combination and Decomposition Theories of Formal Contexts Based on Same Attribute Set.	RSKT	2008	DBLP DOI BibTeX RDF
16	Mehrdad Ghaemi, Nasrollah Rezaei-Ghaleh, Yazdan Asgari	Lattice Gas Automata Simulation of 2D Site-Percolation Diffusion: Configuration Dependence of the Theoretically Expected Crossover of Diffusion Regime.	ACRI	2008	DBLP DOI BibTeX RDF
16	Alec R. Rivers, Doug L. James	FastLSM: fast lattice shape matching for robust real-time deformation.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	domain embedding, fast summation, interactive dynamics, polar decomposition, summed-area tables, video game physics, shape matching, free-form deformation, fracturing, soft body, large deformation
16	Laurent Condat, Dimitri Van De Ville	Quasi-Interpolating Spline Models for Hexagonally-Sampled Data.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
16	Ioannis N. Athanasiadis	The Fuzzy Lattice Reasoning (FLR) Classifier for Mining Environmental Data.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
16	Antonio Di Nola, Mirko Navara	MV-Algebras with the Cantor-Bernstein Property.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra
16	Michel Deza	Voronoi L-types and hypermetrics.	ISVD	2007	DBLP DOI BibTeX RDF
16	Heiko Reppe	An FCA Perspective on n -Distributivity.	ICCS	2007	DBLP DOI BibTeX RDF
16	Bo Deng, Yajun Du	Research on Matching between User Queries and Web Pages Based on BAM.	SNPD (3)	2007	DBLP DOI BibTeX RDF
16	Ming-Wen Shao	The Approximation Operators Within Formal Contexts.	MUE	2007	DBLP DOI BibTeX RDF
16	Chris Peikert	Limits on the Hardness of Lattice Problems in ell _p Norms.	CCC	2007	DBLP DOI BibTeX RDF
16	Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi	Profinite Completions and Canonical Extensions of Heyting Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55
16	Nikolaos Galatos, Hiroakira Ono	Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.	Stud Logica	2006	DBLP DOI BibTeX RDF	pointed residuated lattice, parametrized local deduction theorem, interpolation, Substructural logic, algebraic semantics
16	Clint J. van Alten	On Varieties of Biresiduation Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	biresiduation algebra, residuated lattice, BCK-algebra
16	Amir Bennatan, David Burshtein, Giuseppe Caire, Shlomo Shamai	Superposition coding for side-information channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
16	Rolf Backofen, Sebastian Will	A Constraint-Based Approach to Fast and Exact Structure Prediction in Three-Dimensional Protein Models.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Face-centered cubic lattice, Constraint programming, Protein structure prediction, HP-model
16	Radim Belohlávek, Vilém Vychodil	Estimations of Similarity in Formal Concept Analysis of Data with Graded Attributes.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF	fuzzy logic, similarity, formal concept analysis, concept lattice, hedge
16	Minoru Hiki, Takuma Ishida, Shogo Muramatsu, Hisakazu Kikuchi	Suppression of PSNR Fluctuation in Motion-Compensated Temporal 1/3-Transform Through Non-Separable Sub-Sampling.	ICIP	2006	DBLP DOI BibTeX RDF
16	Antonio Di Nola, Mirko Navara	Cantor-Bernstein Property for MV-Algebras.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
16	Radim Belohlávek, Jan Outrata, Vilém Vychodil	Thresholds and Shifted Attributes in Formal Concept Analysis of Data with Fuzzy Attributes.	ICCS	2006	DBLP DOI BibTeX RDF
16	Léonard Kwuida	A Note on Negation: A PCS-Completion of Semilattices.	ICFCA	2006	DBLP DOI BibTeX RDF	pseudocomplement, FCA, negation, semilattices