|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2858 occurrences of 1618 keywords
|
|
|
Results
Found 12777 publication records. Showing 12777 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Oded Regev 0001 |
On lattices, learning with errors, random linear codes, and cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(6), pp. 34:1-34:40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
average-case hardness, cryptography, quantum computation, Lattice, public key encryption |
21 | Minho Kim, Jörg Peters 0001 |
Fast and stable evaluation of box-splines via the BB-form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 50(4), pp. 381-399, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Exact evaluation, Rational coefficients, Bernstein-Bézier-form, Face-centered cubic lattice, Spline, Box-spline |
21 | Feng Zhao, Jian Peng 0001, Joe DeBartolo, Karl F. Freed, Tobin R. Sosnick, Jinbo Xu |
A Probabilistic Graphical Model for Ab Initio Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings, pp. 59-73, 2009, Springer, 978-3-642-02007-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ab initio folding, conditional random fields (CRFs), directional statistics, fragment assembly, protein structure prediction, lattice model |
21 | Xueyou Chen |
Concept Lattices in L-Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 50-59, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
L-set, The object (property) oriented concept lattice, Rough set, Formal concept analysis |
21 | Roy Meshulam |
On the Homological Dimension of Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(2), pp. 153-155, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Order complex, Lattice, Homology |
21 | Esko Turunen, Janne Mertanen |
States on semi-divisible residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 353-357, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wajsberg algebra, MV-algebra, Residuated lattice, Probability theory |
21 | Michiro Kondo, Wieslaw A. Dudek |
On bounded lattices satisfying Elkan's law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1035-1037, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Orthocomplemented lattice, Elkan’s law, Boolean algebra |
21 | Markos A. Katsoulakis, Petr Plechác, Luc Rey-Bellet |
Numerical and Statistical Methods for the Coarse-Graining of Many-Particle Stochastic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 37(1), pp. 43-71, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lattice spin systems, Polymeric systems, Gibbs measure, Cluster expansion, Multi-body interactions, Renormalization group map, A posteriori error analysis, Adaptivity, Monte Carlo method, Importance sampling, Relative entropy, Coarse-graining |
21 | Khaled Z. Ibrahim, François Bodin |
Implementing Wilson-Dirac operator on the cell broadband engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 22nd Annual International Conference on Supercomputing, ICS 2008, Island of Kos, Greece, June 7-12, 2008, pp. 4-14, 2008, ACM, 978-1-60558-158-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SIMD computer architecture, lattice qcd calculations, multi-core, MPSoC, cell broadband engine, data-parallel computing |
21 | Jing Liu, Ju-Sheng Mi |
A Novel Approach to Attribute Reduction in Formal Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 426-433, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Meet-irreducible element, Concept lattice, Attribute reduction, Formal context |
21 | Jirapond Tadrat, Veera Boonjing, Puntip Pattaraintakorn |
Building classification rules for case-based classifier using fuzzy sets and formal concept analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSTST ![In: CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, October 28-31, 2008, pp. 13-18, 2008, ACM, 978-1-60558-046-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
case-based classifier, knowledge acquisition, fuzzy sets, formal concept analysis, concept lattice |
21 | Alexandre Monteiro da Silva, Peter Sussner |
A Brief Review and Comparison of Feedforward Morphological Neural Networks with Applications to Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2008, 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II, pp. 783-792, 2008, Springer, 978-3-540-87558-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematical Morphology, Pattern Classification, Complete Lattice, Morphological Neural Network |
21 | Massimo Caboara, Fabrizio Caruso, Carlo Traverso |
Gröbner bases for public key cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 315-324, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
gröbner basis, lattice, public key cryptosystem, hermite normal form |
21 | Georg Illies, Marian Margraf |
Attacks on the ESA-PSS-04-151 MAC Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers, pp. 296-310, 2007, Springer, 978-3-540-77359-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
message authentication code (MAC), lattice reduction |
21 | Aurélie Bauer, Antoine Joux |
Toward a Rigorous Variation of Coppersmith's Algorithm on Three Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2007, 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007, Proceedings, pp. 361-378, 2007, Springer, 978-3-540-72539-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Coppersmith’s algorithms, Gröbner basis, Lattice reduction |
21 | Zheng Pei 0001, Keyun Qin |
Topological Space for Attributes Set of a Formal Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 460-467, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Concept Lattice, Approximation Space, Topological Space |
21 | György Szaszák, Klára Vicsi |
Using Prosody in Fixed Stress Languages for Improvement of Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COST 2102 Workshop (Vietri) ![In: Verbal and Nonverbal Communication Behaviours, COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers, pp. 138-149, 2007, Springer, 978-3-540-76441-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
agglutinating languages, fixed stress, lattice rescoring, speech recognition, prosody |
21 | Andrzej Skowron, Hui Wang 0001, Arkadiusz Wojna, Jan G. Bazan |
Multimodal Classification: Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 224-239, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multimodal classifier, lattice machine, rough sets, k-nearest neighbors, rule induction, hierarchical classification |
21 | Ho Chung, Clifford Neuman |
Modelling the relative strength of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoP ![In: Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006, pp. 45-48, 2006, ACM, 1-59593-553-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
relative strength, cryptographic protocols, lattice, comparison |
21 | Daniel Lichtblau |
Making Change and Finding Repfigits: Balancing a Knapsack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 182-193, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Frobenius instance solving, change-making problem, Frobenius numbers, Keith numbers, repfigits, integer linear programming, lattice reduction |
21 | Pradeep Dubey, Rahul Garg 0001 |
Games of Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings, pp. 186-197, 2006, Springer, 3-540-68138-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
information lattice, multicast/unicast transmission, convex/supermodular games, cooperative games, Shapley value |
21 | Gianpiero Cattaneo, Davide Ciucci |
Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness - Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 277-283, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstract approximations, topological operators, BZ lattice |
21 | Pinaki Mitra, Chitrita Chaudhuri |
Efficient Algorithm for the Extraction of Association Rules in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II, pp. 1-10, 2006, Springer, 3-540-34072-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Data Mining, Data Structures, Association Rules, Lattice, Hashing |
21 | Jules Desharnais, Bernhard Möller |
Least Reflexive Points of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 18(1-2), pp. 51-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
least reflexive point, greatest reflexive point, inflationary relation, lattice, relation, partial order, fixed point |
21 | Enrique Miranda 0001 |
Consonant Random Sets: Structure and Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 860-871, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Consonant random sets, upper probabilities, measurable selections, lattice theory, possibility measures |
21 | Srecko Brlek, Gilbert Labelle, Annie Lacasse |
A Note on a Result of Daurat and Nivat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings, pp. 189-198, 2005, Springer, 3-540-26546-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Lattice paths, discrete regions, winding number, salient and reentrant points, polyominoes |
21 | Andrzej Skowron, Hui Wang 0001, Arkadiusz Wojna, Jan G. Bazan |
A Hierarchical Approach to Multimodal Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (2) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II, pp. 119-127, 2005, Springer, 3-540-28660-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multimodal classifier, lattice machine, rough sets, rule induction, Hierarchical classification, k-NN |
21 | Tarek Hamrouni, Sadok Ben Yahia, Yahya Slimani |
Prince: An Algorithm for Generating Rule Bases Without Closure Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings, pp. 346-355, 2005, Springer, 3-540-28558-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
generic rule bases, minimal generator lattice, Data mining, Formal Concept Analysis |
21 | Alain Gély |
A Generic Algorithm for Generating Closed Sets of a Binary Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings, pp. 223-234, 2005, Springer, 3-540-24525-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Galois or concept lattice, Closure operator, Generation algorithm |
21 | Miklós Ajtai |
Representing hard lattices with O(n log n) bits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 94-103, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
algorithm, lattice, public-key cryptosystem |
21 | Jens Franke, Thorsten Kleinjung, Christof Paar, Jan Pelzl, Christine Priplata, Colin Stahlke |
SHARK: A Realizable Special Hardware Sieving Device for Factoring 1024-Bit Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2005, 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings, pp. 119-130, 2005, Springer, 3-540-28474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
GNFS, lattice sieving, RSA 1024 bit, Integer factorization, special hardware |
21 | Marcel Erné |
Intervals in Lattices of alpha-Meet-Closed Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 21(2), pp. 137-153, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible |
21 | Alexander Budkin |
Dominions in quasivarieties of universal algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 107-127, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dominion, free amalgamated product, lattice, group, universal algebra, Quasivariety, amalgam |
21 | Sergei P. Odintsov |
On the Representation of N4-Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(3), pp. 385-405, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
N4-lattice, paraconsistent logic, strong negation |
21 | Yun Li, Zongtian Liu, Ling Chen, Wei Cheng, Cui-hua Xie |
Extracting Minimal Non-Redundant Association Rules from QCIL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 986-991, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Minimal non-redundant rule, Quantitative closed itemset lattice, Association rule, Frequent closed itemset |
21 | Shin Nakajima 0001 |
Model-Checking of Safety and Security Aspects in Web Service Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 488-501, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Web Service Flow, Lattice-based Security Label, Model-Checking, Information Flow |
21 | Kira V. Adaricheva, Friedrich Wehrung |
Embedding Finite Lattices into Finite Biatomic Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 20(1), pp. 31-48, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
atomistic, biatomic, join-semidistributive, congruence extension property, lower bounded, lattice, convex geometry |
21 | Jonas Lätt, Bastien Chopard |
An Implicitly Parallel Object-Oriented Matrix Library and its Application to Medical Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 254, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
array-based computation, transcranial ultrasonography, emboli detection, Data-parallelism, lattice Boltzmann models |
21 | Céline Fouard, Grégoire Malandain |
Systematized Calculation of Optimal Coefficients of 3-D Chamfer Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings, pp. 214-223, 2003, Springer, 3-540-20499-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
anisotropic lattice, chamfer distance |
21 | Erich L. Kaltofen |
Polynomial factorization: a success story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 3-4, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
black box polynomial, randomized algorithm, polynomial factorization, lattice basis reduction, symbolic/numeric hybrid method, straight line program |
21 | Jürg Schmid |
Quasiorders and Sublattices of Distributive Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(1), pp. 11-34, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
quasiorder, sublattice, distributive lattice, representation theory |
21 | Karell Bertet, Nathalie Caspard |
Doubling Convex Sets in Lattices: Characterizations and Recognition Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(2), pp. 181-207, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
arrow relations, algorithm, recognition, lattice, poset, doublings |
21 | Alexander May 0001 |
Cryptanalysis of Unbalanced RSA with Small CRT-Exponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2002, 22nd Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 2002, Proceedings, pp. 242-256, 2002, Springer, 3-540-44050-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Coppersmith's method, small secret exponent, RSA, lattice reduction |
21 | Don Coppersmith |
Finding Small Solutions to Small Degree Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CaLC ![In: Cryptography and Lattices, International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001, Revised Papers, pp. 20-31, 2001, Springer, 3-540-42488-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Modular polynomials, lattice reduction |
21 | John Harding, Mirko Navara |
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(3), pp. 239-254, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
orthomodular lattice, orthomodular poset, measure, state, center, automorphism group |
21 | Leonid A. Kalinichenko |
Compositional Specification Calculus for Information Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings, pp. 317-331, 1999, Springer, 3-540-66485-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
compositional specification calculus, type compositions, most common reducts, type refinement, type lattice, compositional information systems development |
21 | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
Tearing based automatic abstraction for CTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 76-81, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition |
21 | Afrodita Iorgulescu |
Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(4), pp. 313-327, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra |
21 | Michal Kozak |
Distributive Full Lambek Calculus Has the Finite Model Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 201-216, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice |
21 | Louis J. Billera, Samuel K. Hsiao, J. Scott Provan |
Enumeration in Convex Geometries and Associated Polytopal Subdivisions of Spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 123-137, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Abstract convexity, Quasisymmetric functions, Meet-distributive lattice, Join-distributive lattice |
21 | Stephen J. Maybank |
Application of the Fisher-Rao Metric to Ellipse Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 72(3), pp. 287-307, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fisher-Rao metric, flat metric, volume of a Riemannian manifold, Voronoi’s principal lattice, lattice, Hough transform, multiresolution, geodesic, Riemannian manifold, Kullback-Leibler distance, ellipse detection |
21 | Dominique Désérable, Pascal Dupont, Mustapha Hellou, Siham Kamali-Bernard |
Cellular Automata Models for Complex Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings, pp. 385-400, 2007, Springer, 978-3-540-73939-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cellular automata (CA) for complex matter (CACM), sandpile models, lattice-gas, lattice-grain, hybrid models |
21 | Steven Gottlieb |
Guest Editor's Introduction: Special-Purpose Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(1), pp. 15-17, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lattice gauge theory, lattice QCD, special-purpose computing |
21 | Clint J. van Alten, James G. Raftery |
Rule Separation and Embedding Theorems for Logics Without Weakening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 76(2), pp. 241-274, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem |
21 | Christian Herrmann 0003 |
On the Size of Boolean Combinations of Subgroups of Finite Abelian Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(4), pp. 387-390, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
definable subset, lattice of subgroups, modular lattice |
21 | Sakti Pramanik, Sungwon Jung |
Description and Identification of Distributed Fragments of Recursive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 8(6), pp. 1002-1016, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
lattice cover, recursive relations, Distributed databases, lattice, fragments, partial order set |
21 | Sungsoo Kim, Joohwan Chun |
Capacity and performance of lattice reduction aided linear processing with lattice encoding and decoding in limited feedback systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(8), pp. 1567-1577, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld |
A lattice-based approach to mashup security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, ASIACCS 2010, Beijing, China, April 13-16, 2010, pp. 15-23, 2010, ACM, 978-1-60558-936-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
web mashups, information flow, security policies, lattices, noninterference, declassification |
19 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(3), pp. 255-275, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 54F05 |
19 | Ishay Haviv, Vadim Lyubashevsky, Oded Regev 0001 |
A Note on the Distribution of the Distance from a Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(1), pp. 162-176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Second moment, Computational complexity, Lattices, Geometrical invariants, Covering radius |
19 | Hua-Liang Wei, S. A. Billings, Yifan Zhao 0001, Lingzhong Guo |
Lattice Dynamical Wavelet Neural Networks Implemented Using Particle Swarm Optimization for Spatio-Temporal System Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(1), pp. 181-185, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Johannes Buchmann 0001, Richard Lindner, Markus Rückert, Michael Schneider 0002 |
Post-quantum cryptography: lattice signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 85(1-2), pp. 105-125, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 94A60 |
19 | David Gamarnik, Dmitriy Katz |
Sequential cavity method for computing limits of the log-partition function for lattice models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 596-605, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Santiago Ontañón, Enric Plaza |
On Similarity Measures Based on a Refinement Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, pp. 240-255, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Tsong Yueh Chen, Dehao Huang, Fei-Ching Kuo, Robert G. Merkel, Johannes Mayer |
Enhanced lattice-based adaptive random testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 422-429, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Chris Peikert |
Some Recent Progress in Lattice-Based Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 72, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Mário J. J. Branco, Jean-Eric Pin |
Equations Defining the Polynomial Closure of a Lattice of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 115-126, 2009, Springer, 978-3-642-02929-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kai Uwe Hagenburg, Michael Breuß, Oliver Vogel, Joachim Weickert, Martin Welk |
A Lattice Boltzmann Model for Rotationally Invariant Dithering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II, pp. 949-959, 2009, Springer, 978-3-642-10519-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Donath, Christian Feichtinger, Thomas Pohl, Jan Götz, Ulrich Rüde |
Localized Parallel Algorithm for Bubble Coalescence in Free Surface Lattice-Boltzmann Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 735-746, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Marat D. Ramazanov, Dzhangir Y. Rakhmatullin |
Parallel Algorithms of Numeric Integration Using Lattice Cubature Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings, pp. 147-152, 2009, Springer, 978-3-642-03274-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
approximate integration, calculus mathematics, functional analysis, cubature formulas |
19 | Daniel Borchmann, Bernhard Ganter |
Concept Lattice Orbifolds - First Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, pp. 22-37, 2009, Springer, 978-3-642-01814-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Graña, Maite García-Sebastián, Carmen Hernández 0001 |
Lattice Independent Component Analysis for fMRI Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 725-734, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Albert Guillen i Fabregas, Emanuele Viterbo |
Sphere Lower Bound for Rotated Lattice Constellations in Fading Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(3), pp. 825-830, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Chris Peikert |
Limits on the Hardness of Lattice Problems in lp Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 17(2), pp. 300-351, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
11H06, 94B75, 68Q25, Subject classification. 68Q17 |
19 | Markus Püschel, Martin Rötteler |
Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 19(3), pp. 259-292, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Haiquan Wang, Xiang-Gen Xia 0001 |
Optimal Normalized Diversity Product of 2, times, 2 Lattice-Based Diagonal Space-Time Codes From QAM Signal Constellations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(4), pp. 1814-1818, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Naftali Sommer, Meir Feder, Ofir Shalvi |
Low-Density Lattice Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(4), pp. 1561-1585, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mahbobeh Hosseinyazdi |
The optimization problem over a distributive lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(2), pp. 283-298, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06Dxx, 34A30, 20M14, 16Y60 |
19 | Ludovic Guillemot, Yann Gaudeau, Saïd Moussaoui, Jean-Marie Moureaux |
Entropy-Coded Lattice Vector Quantization Dedicated to the Block Mixture Densities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 17(9), pp. 1574-1586, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Vadim Lyubashevsky, Daniele Micciancio |
Asymptotically Efficient Lattice-Based Digital Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 37-54, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Cong Ling 0001 |
Improved Upper Bounds for Approximate Lattice Decoding With Dual-Basis Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008, pp. 1181-1184, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Leonardo H. Fonteles, Marc Antonini, Ronald Phlypo |
Model-based sparsity projection pursuit for lattice vector quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 1205-1208, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Joakim Jaldén, Dominik Seethaler, Gerald Matz |
Worst- and average-case complexity of LLL lattice reduction in MIMO wireless systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 2685-2688, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Hong Li |
Concept Granular System and Granular Concept Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1860-1865, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mahdi Shabany, P. Glenn Gulak |
The application of lattice-reduction to the K-Best algorithm for near-optimal MIMO detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 316-319, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mahdi Shabany, P. Glenn Gulak |
Scalable VLSI architecture for K-best lattice decoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 940-943, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Feng Wang, Xiaoping Li 0001, Qian Wang 0011 |
Schema Matching Based on Weighted Fuzzy Concept Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 508-511, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Daolin Wang, Yingkun Hou, Conghua Wang, Jian Xu |
An Attribute Reduction Algorithm for Concept Lattice Based on Discernible Boolean Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (5) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 5, pp. 231-235, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gui-ying Chen |
Convergence of Powers of a Matrix over Distributive Lattice Under the .-+ Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 235-237, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Chris Peikert, Vinod Vaikuntanathan |
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings, pp. 536-553, 2008, Springer, 978-3-540-85173-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Vincenzo Cutello, Giuseppe Nicosia, Mario Pavone, Jonathan Timmis |
An Immune Algorithm for Protein Structure Prediction on Lattice Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 11(1), pp. 101-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Wen-Chieh Lin, Yanxi Liu 0001 |
A Lattice-Based MRF Model for Dynamic Near-Regular Texture Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(5), pp. 777-792, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Near-regular texture, dynamic near-regular texture tracking, texture replacement, visual tracking, video editing, model-based tracking |
19 | Vassilis G. Kaburlasos, Athanasios Kehagias |
Novel Fuzzy Inference System (FIS) Analysis and Design Based on Lattice Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(2), pp. 243-260, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Lenny Fukshansky, Sinai Robins |
Frobenius Problem and the Covering Radius of a Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 37(3), pp. 471-483, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ralph G. Selfridge |
A small part of lattice theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 35(3), pp. 24-29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Markus Püschel, Martin Rötteler |
Algebraic Signal Processing Theory: 2-D Spatial Hexagonal Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(6), pp. 1506-1521, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Kishan Thambiratnam, Sridha Sridharan |
Rapid Yet Accurate Speech Indexing Using Dynamic Match Lattice Spotting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(1), pp. 346-357, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Leonardo H. Fonteles, Marc Antonini |
High Dimension Lattice Vector Quantizer Design for Generalized Gaussian Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (4) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 185-188, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Christophe Alias, Fabrice Baray, Alain Darte |
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, pp. 73-82, 2007, ACM, 978-1-59593-632-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
program analysis, lattices, source-to-source transformations, memory reduction |
19 | ChunZhi Xie, Liangzhong Yi, Yajun Du, Zheng Pei 0001 |
The Research of Social Navigation based on Fuzzy Concept Lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 11-13 July 2007, Melbourne, Australia, pp. 1005-1011, 2007, IEEE Computer Society, 0-7695-2841-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 12777 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|