Search results for "lattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	James Hays, Marius Leordeanu, Alexei A. Efros, Yanxi Liu 0001	Discovering Texture Regularity as a Higher-Order Correspondence Problem.	ECCV (2)	2006	DBLP DOI BibTeX RDF
16	Lukás Burget, Jan Cernocký, Michal Fapso, Martin Karafiát, Pavel Matejka, Petr Schwarz, Pavel Smrz, Igor Szöke	Indexing and Search Methods for Spoken Documents.	TSD	2006	DBLP DOI BibTeX RDF
16	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
16	Alain Darte, Robert Schreiber, Gilles Villard	Lattice-Based Memory Allocation.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	memory size reduction, admissible lattice, successive minima, Program transformation
16	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
16	Sven Kosub	NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
16	Gianfranco L. Cariolaro, Peter Kraniauskas, Lorenzo Vangelista	A novel general formulation of up/downsampling commutativity.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
16	Wenhao Song, Xunnian Yang	Free-form deformation with weighted T-spline.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	w-TFFD, Free-form deformation, T-spline
16	Peng Yu, Kaijiang Chen, Chengyuan Ma, Frank Seide	Vocabulary-Independent Indexing of Spontaneous Speech.	IEEE Trans. Speech Audio Process.	2005	DBLP DOI BibTeX RDF
16	Wendy MacCaull, Dimiter Vakarelov	Lattice-Based Paraconsistent Logic.	RelMiCS	2005	DBLP DOI BibTeX RDF	lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
16	Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.	CAV	2005	DBLP DOI BibTeX RDF
16	Sergei O. Kuznetsov	Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
16	Umberto Straccia	Query Answering in Normal Logic Programs Under Uncertainty.	ECSQARU	2005	DBLP DOI BibTeX RDF
16	Alain Gély	A Generic Algorithm for Generating Closed Sets of a Binary Relation.	ICFCA	2005	DBLP DOI BibTeX RDF	Galois or concept lattice, Closure operator, Generation algorithm
16	Juan M. Cigarrán, Anselmo Peñas, Julio Gonzalo, Felisa Verdejo	Automatic Selection of Noun Phrases as Document Descriptors in an FCA-Based Information Retrieval System.	ICFCA	2005	DBLP DOI BibTeX RDF
16	Clint J. van Alten, James G. Raftery	Rule Separation and Embedding Theorems for Logics Without Weakening.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem
16	Katarzyna Matczak, Anna B. Romanowska	Quasivarieties of cancellative commutative binary modes.	Stud Logica	2004	DBLP DOI BibTeX RDF	subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
16	David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu	Extracting a Data Flow Analyser in Constructive Logic.	ESOP	2004	DBLP DOI BibTeX RDF
16	Pascal Hitzler, Guo-Qiang Zhang 0001	A Cartesian Closed Category of Approximable Concept Structures.	ICCS	2004	DBLP DOI BibTeX RDF
16	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
16	Michael Szydlo	Hypercubic Lattice Reduction and Analysis of GGH and NTRU Signatures.	EUROCRYPT	2003	DBLP DOI BibTeX RDF	Lattice Distinguishing Oracle, Distributed Lattice Reduction, Decisional Lattice Problem, Gram Matrix Factorization, Integral Lattice Embedding Orthogonal Lattice, GGH Cryptanalysis, NTRUSign, Lattice Isomorphism
16	Alain Darte, Robert Schreiber, Gilles Villard	Lattice-based memory allocation.	CASES	2003	DBLP DOI BibTeX RDF	admissible lattice, critical determinant, successive minima, program transformation, memory allocation
16	Iwan Jensen	Counting Polyominoes: A Parallel Implementation for Cluster Computing.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
16	Luminita Dumitriu	Interactive Mining and Knowledge Reuse for the Closed-Itemset Incremental-Mining Problem.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	association rules, formal concept analysis, Frequent itemsets
16	John H. Reif	Molecular Assembly and Computation: From Theory to Experimental Demonstrations.	ICALP	2002	DBLP DOI BibTeX RDF
16	Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine	Concept-Based Component Libraries and Optimizing Compilers.	IPDPS	2002	DBLP DOI BibTeX RDF
16	Georg Struth	Deriving Focused Lattice Calculi.	RTA	2002	DBLP DOI BibTeX RDF
16	Patrick Rault, Christine Guillemot	Indexing algorithms for Zn, An, Dn, and Dn++ lattice vector quantizers.	IEEE Trans. Multim.	2001	DBLP DOI BibTeX RDF
16	Agata Pilitowska	Interval Bilattices and Some Other Simple Bilattices.	RelMiCS	2001	DBLP DOI BibTeX RDF
16	Jim Morey, Kamran Sedig, Robert E. Mercer, M. Wayne Wilson	Crystal Lattice Automata.	CIAA	2001	DBLP DOI BibTeX RDF	lattice, automata, tiling, microworlds, crystallography
16	Carlos Viegas Damásio, Luís Moniz Pereira	Antitonic Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
16	Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh	Efficient Multiple-Valued Model-Checking Using Lattice Representations.	CONCUR	2001	DBLP DOI BibTeX RDF
16	Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns	Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures.	ISSAC	2001	DBLP DOI BibTeX RDF
16	Jean-Marc Talbot	On the Alternation-Free Horn Mu-calculus.	LPAR	2000	DBLP DOI BibTeX RDF
16	Wilfred Ng	Querying Databases with Knowledge Domains.	IDEAS	2000	DBLP DOI BibTeX RDF	knowledge domains, data domains, user-defined predicates, Knowledge Relational Algebra, knowledge domain classes, query language classes, computable queries, query, relational algebra
16	Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille	A Contextual-Logic Extension of TOSCANA.	ICCS	2000	DBLP DOI BibTeX RDF
16	Rudolf Wille	Boolean Concept Logic.	ICCS	2000	DBLP DOI BibTeX RDF
16	Richard Ehrenborg, Margaret A. Readdy	On Flag Vectors, the Dowling Lattice, and Braid Arrangements.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
16	Ünal Göktas, Willy Hereman	Algorithmic computation of generalized symmetries of nonlinear evolution and lattice equations.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	evolution equation, DDE, 35Q53, 35R10, 34K99, integrability, lattice, symmetry, PDE, 68Q40
16	Miklós Ajtai	Generating Hard Instances of the Short Basis Problem.	ICALP	1999	DBLP DOI BibTeX RDF
16	Susanne Prediger, Rudolf Wille	The Lattice of Concept Graphs of a Relationally Scaled Context.	ICCS	1999	DBLP DOI BibTeX RDF
16	Jin-yi Cai	Some Recent Progress on the Complexity of Lattice Problems.	CCC	1999	DBLP DOI BibTeX RDF
16	Michael Hagenlocker, Kikuo Fujimura	CFFD: a tool for designing flexible shapes.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Solid deformation, B-spline FFD, Unbounded control lattice, Animation, 3D design
16	Sachar Paulus	Lattice Basis Reduction in Function Fields.	ANTS	1998	DBLP DOI BibTeX RDF
16	Bernhard Ganter, Sergei O. Kuznetsov	Stepwise Construction of the Dedekind-MacNeille Completion (Research Note).	ICCS	1998	DBLP DOI BibTeX RDF
16	Luca Forlizzi, Enrico Nardelli	Some Results on the Modelling of Spatial Data.	SOFSEM	1998	DBLP DOI BibTeX RDF
16	Jelena Kovacevic	Local cosine bases in two dimensions.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
16	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
16	Patrick Njiwoua, Engelbert Mephu Nguifo	IGLUE: An Instance-Based Learning System over Lattice Theory.	ICTAI	1997	DBLP DOI BibTeX RDF	Instance-Based Learning, Feature transformation, Multistrategy Learning, Galois lattice
16	N. Schmechel	On Lattice-Isomorphism Between Fuzzy Equivalence Relations and Fuzzy Partitions.	ISMVL	1995	DBLP DOI BibTeX RDF	fuzzy equivalence relations, bijection, pattern recognition, cluster analysis, fuzzy set theory, partial orderings, equivalence classes, lattice theory, fuzzy partitions, lattice-isomorphism, lattice isomorphism
16	Michel Barlaud, Patrick Solé, Thierry Gaidon, Marc Antonini, Pierre Mathieu	Pyramidal lattice vector quantization for multiscale image coding.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
16	François Bourdoncle	Efficient chaotic iteration strategies with widenings.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
16	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
16	Matthijs J. Coster, Brian A. LaMacchia, Andrew M. Odlyzko, Claus-Peter Schnorr	An Improved Low-Denisty Subset Sum Algorithm.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
15	Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld	A lattice-based approach to mashup security.	AsiaCCS	2010	DBLP DOI BibTeX RDF	web mashups, information flow, security policies, lattices, noninterference, declassification
15	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
15	Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou	A Framework for the Sound Specification of Cryptographic Tasks.	CSF	2010	DBLP DOI BibTeX RDF	security definitions, lattices and partial orders, Cryptographic protocols, universal composability
15	Wiebke Petersen	On the Construction of Sivasutras-Alphabets.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	?ivas?tras, lattices, orders, P??ini
15	Kun-Lun Zhang, Dong-Hai Li	On an Open Problem of C. C. Chen.	IITSI	2009	DBLP DOI BibTeX RDF	Finite distributive lattices, grading number, length of lattice
15	Guilhem Castagnos, Antoine Joux, Fabien Laguillaumie, Phong Q. Nguyen	Factoring pq2 with Quadratic Forms: Nice Cryptanalyses.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	Factorisation, Binary Quadratic Forms, Homogeneous Coppersmith’s Root Finding, Lattices, Public-key Cryptanalysis
15	Mathias Herrmann, Alexander May 0001	Attacking Power Generators Using Unravelled Linearization: When Do We Output Too Much?	ASIACRYPT	2009	DBLP DOI BibTeX RDF	small roots, lattices, power generator, systems of equations
15	Alexander May 0001, Maike Ritzenhofen	Implicit Factoring: On Polynomial Time Factoring Given Only an Implicit Hint.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF	Factoring with an oracle, lattices
15	Tong-Jun Li	Knowledge Reduction in Formal Contexts Based on Covering Rough Sets.	RSKT	2009	DBLP DOI BibTeX RDF	Covering rough sets, Concept lattices, Attribute reduction, Formal contexts
15	Elena N. Benderskaya, Sofya V. Zhukova	Fragmentary Synchronization in Chaotic Neural Network and Data Mining.	HAIS	2009	DBLP DOI BibTeX RDF	chaotic map lattices, fragmentary synchronization, clustering, cluster analysis, chaotic neural network
15	Sylvia B. Encheva, Sharil Tumin	Visualization of Cooperative Options for Small Maritime Companies.	CDVE	2008	DBLP DOI BibTeX RDF	Meet-distributive lattices, cooperation
15	Xavier Pujol, Damien Stehlé	Rigorous and Efficient Short Lattice Vectors Enumeration.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	SVP, lattice cryptanalysis, Lattices, numerical stability
15	Mathias Herrmann, Alexander May 0001	Solving Linear Equations Modulo Divisors: On Factoring Given Any Bits.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	small roots, factoring with known bits, Lattices
15	B. Kalpana, R. Nadarajan, J. Senthil Babu	A Galois Lattice framework to handle updates in the mining of closed itemsets in dynamic databases.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	association rules, incremental mining, Galois Lattices, closed frequent itemsets
15	Vincent Duquenne, John Mohr	Comparison of Dual Orderings in Time II.	ICFCA	2008	DBLP DOI BibTeX RDF	Duality practices x symbolic systems, Poverty relief in New York City 1888-1917, Progressive era. Lattices, (nested) line diagrams, (relative) canonical basis of implications, gluing decomposition, subdirect products, join / meet morphisms
15	Johannes Wollbold, Reinhard Guthke, Bernhard Ganter	Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods.	AB	2008	DBLP DOI BibTeX RDF	temporal logic, reasoning, gene expression, Complete lattices
15	Elena N. Benderskaya, Sofya V. Zhukova	Clustering by Chaotic Neural Networks with Mean Field Calculated Via Delaunay Triangulation.	HAIS	2008	DBLP DOI BibTeX RDF	chaotic neural network (CNN), chaotic map lattices, clustering, cluster analysis, Delaunay triangulation
15	Daowen Qiu	Notes on automata theory based on quantum logic.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	orthomodular lattices, quantum computing, automata, quantum logic
15	Márta Takács	Lattice Ordered Monoids and Left Continuous Uninorms and t-norms.	IFSA (2)	2007	DBLP DOI BibTeX RDF	residuum, lattices, uninorms
15	Wei-Zhi Wu 0001	Attribute Granules in Formal Contexts.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Formal concept analysis, Granular computing, Concept lattices, Formal contexts, Granules
15	Hong Wang, Wei-Zhi Wu 0001	Knowledge Reduction in Generalized Consistent Decision Formal Contexts.	RSKT	2007	DBLP DOI BibTeX RDF	Rough sets, Concept lattices, Knowledge reduction, Formal contexts
15	Ville T. Turunen, Mikko Kurimo	Indexing confusion networks for morph-based spoken document retrieval.	SIGIR	2007	DBLP DOI BibTeX RDF	confusion networks, morphemes, subword indexing, lattices, spoken document retrieval
15	Jeffrey S. Olson	Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.	Stud Logica	2006	DBLP DOI BibTeX RDF	positive universal formulas, subdirectly irreducible algebras, contraction, linear logic, residuated lattices, Residuation
15	Oded Regev 0001, Ricky Rosen	Lattice problems and norm embeddings.	STOC	2006	DBLP DOI BibTeX RDF	embedding, lattices, norms, hardness of approximation
15	Dorit Aharonov, Oded Regev 0001	Lattice problems in NP cap coNP.	J. ACM	2005	DBLP DOI BibTeX RDF	Algorithms, approximation, lattices, Fourier series
15	Joan Gispert, Antoni Torrens	Axiomatic Extensions of IMT3 Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
15	Jorge L. Arocha, Javier Bracho, Luis Montejano 0001	Configurations of Flats, I: Manifolds of Points in the Projective Line.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF	Non-Hausdorff spaces, Polyhedral complexes, Shellability, Grassmannians, Compact manifolds, Configurations, Lattices, Duality, Surgery
15	Claus Möbus, Heiko Seebold, Hilke Garbe	A greedy knowledge acquisition method for the rapid prototyping of knowledge structures.	K-CAP	2005	DBLP DOI BibTeX RDF	hasse diagrams and concept lattices, interactive greedy acquisition of precedence relations and knowledge structures, interactive greedy construction of transitive closures, knowledge acquisition
15	Francesco Belardinelli, Peter Jipsen, Hiroakira Ono	Algebraic Aspects of Cut Elimination.	Stud Logica	2004	DBLP DOI BibTeX RDF	Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics
15	Joachim von zur Gathen, Igor E. Shparlinski	Polynomial interpolation from multiples.	SODA	2004	DBLP BibTeX RDF	black box polynomial, hidden polynomial, integer lattices, short vectors, approximate computation
15	Phong Q. Nguyen, Igor E. Shparlinski	The Insecurity of the Elliptic Curve Digital Signature Algorithm with Partially Known Nonces.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF	cryptanalysis, distribution, lattices, elliptic curves, discrepancy, exponential sums, ECDSA, LLL, closest vector problem
15	Dan Noje, Barnabás Bede	Vectorial MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Approximation by polynomials, Completions, MV-algebras, Complete lattices
15	Itsik Pe'er, Jacques S. Beckmann	Resolution of haplotypes and haplotype frequencies from SNP genotypes of pooled samples.	RECOMB	2003	DBLP DOI BibTeX RDF	SNP genotypes, clustering, lattices, Haplotype, pooling
15	Alain Casali, Rosine Cicchetti, Lotfi Lakhal	Extracting semantics from data cubes using cube transversals and closures.	KDD	2003	DBLP DOI BibTeX RDF	algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
15	Lloyd Rutledge, Martin Alberink, Rogier Brussee, Stanislav Pokraev, William van Dieten, Mettina Veenstra	Finding the story: broader applicability of semantics and discourse for hypermedia generation.	Hypertext	2003	DBLP DOI BibTeX RDF	clustering, semantics, hypermedia, RDF, narrative, SMIL, concept lattices, discourse
15	George Voutsadakis	Polyadic Concept Analysis.	Order	2002	DBLP DOI BibTeX RDF	triadic concept analysis, triordered sets, formal concept analysis, formal contexts, complete lattices
15	Sergei O. Kuznetsov	On Computing the Size of a Lattice and Related Decision Problems.	Order	2001	DBLP DOI BibTeX RDF	lattices & related structures
15	Philippe Baldy, Michel Morvan	Height Preserving Minimal Interval Extensions.	Order	2001	DBLP DOI BibTeX RDF	lattice of maximal antichains, minimal interval extensions, lattices, partially ordered sets, interval orders, height
15	Lamia Labed Jilani, Jules Desharnais, Ali Mili 0001	Defining and Applying Measures of Distance Between Specifications.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	relational specifications, Formal specifications, lattices, relations, software libraries, distance metrics, software adaptation, COTS integration
15	Vassilios Petridis, Vassilis G. Kaburlasos	Clustering and Classification in Structured Data Domains Using Fuzzy Lattice Neurocomputing (FLN).	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	framework of fuzzy lattices, clustering, neural networks, graphs, Text classification
15	Mohammed Javeed Zaki	Scalable Algorithms for Association Mining.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	data mining, Association rules, lattices, frequent itemsets, equivalence classes, maximal cliques
15	Pierre Boulet, Paul Feautrier	Scanning Polyhedra without Do-loops.	IEEE PACT	1998	DBLP DOI BibTeX RDF	PIP, polyheron scanning, linearly bounded lattices, code generation, integer programming, Automatic parallelization
15	Daniele Micciancio	The Shortest Vector in a Lattice is Hard to Approximate to Within Some Constant.	FOCS	1998	DBLP DOI BibTeX RDF	non-approximability, Sauer's lemma, lattices, shortest vector problem
15	Gregor Snelting	Reengineering of Configurations Based on Mathematical Concept Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	concept lattices, concept analysis
15	Michael Luby, Dana Randall, Alistair Sinclair	Markov Chain Algorithms for Planar Lattice Structures (Extended Abstract).	FOCS	1995	DBLP DOI BibTeX RDF	Markov chain algorithms, planar lattice structures, domino tilings, chessboard, arbitrary tiling, parallel dominoes, two-dimensional lattices, Markov processes, combinatorics, uniform distribution, algorithm theory, statistical physics
15	Paul Ammann, Sushil Jajodia	Distributed Timestamp Generation in Planar Lattice Networks.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	hierarchical databases, planar lattices, secure databases, timestamps