The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for closure with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1941-1970 (21) 1971-1974 (17) 1975-1976 (20) 1977-1978 (18) 1979-1980 (27) 1981-1982 (21) 1983-1984 (24) 1985 (18) 1986 (26) 1987 (23) 1988 (44) 1989 (32) 1990 (65) 1991 (54) 1992 (54) 1993 (55) 1994 (52) 1995 (61) 1996 (64) 1997 (71) 1998 (68) 1999 (88) 2000 (106) 2001 (111) 2002 (117) 2003 (147) 2004 (199) 2005 (193) 2006 (191) 2007 (240) 2008 (254) 2009 (184) 2010 (95) 2011 (84) 2012 (91) 2013 (119) 2014 (104) 2015 (102) 2016 (123) 2017 (123) 2018 (145) 2019 (158) 2020 (176) 2021 (161) 2022 (190) 2023 (190) 2024 (34)
Publication types (Num. hits)
article(2066) book(5) data(1) incollection(12) inproceedings(2451) phdthesis(25)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1893 occurrences of 1185 keywords

Results
Found 4560 publication records. Showing 4560 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
20Fabian Hemmert, Danijela Djokic, Reto Wettach Perspective change: a system for switching between on-screen views by closing one eye. Search on Bibsonomy AVI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF eye closure, eyelid, perspective change, screen interface, prototype, eye
20Zhicai Ou, Hong Qiao Analysis of Stable Grasping for One-Parameter Four-Pin Gripper. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Four-Pin Gripper, Form Closure, Attractive Region, Grasp
20Elif Alpaslan, Yu Huang 0005, Xijiang Lin, Wu-Tung Cheng, Jennifer Dworak Reducing Scan Shift Power at RTL. Search on Bibsonomy VTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Test Power Reduction, Power-Sensitive Scan Cell, RTL DFT, Timing Closure, Scan Based Test
20Hao Wang, Xing Zhang, Guoqing Chen Mining a Complete Set of Both Positive and Negative Association Rules from Large Databases. Search on Bibsonomy PAKDD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF upward closure, data mining, Apriori, Negative association rules
20Pierre Hansen, Nikolaj van Omme On pitfalls in computing the geodetic number of a graph. Search on Bibsonomy Optim. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Geodetic number, Maximal geodetic closure, Algorithm, Graph
20Xun Yi Directed Transitive Signature Scheme. Search on Bibsonomy CT-RSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Directed transitive signature, transitive closure and reduction, RSA inversion problem over a cyclic group
20Stefan Porschen A CNF Formula Hierarchy over the Hypercube. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hypercube formula, variable closure, satisfiability, hypergraph, transversal
20Jean Frédéric Myoupo, David Semé Work-efficient BSR-based parallel algorithms for some fundamental problems in graph theory. Search on Bibsonomy J. Supercomput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Parallel algorithm, Graph theory, Broadcast, Selection, Reduction, Spanning tree, Bipartite graph, Transitive closure, Connected components, Bridge, CRCW PRAM, Articulation point
20Jinjun Xiong, Lei He 0001 Fast buffer insertion considering process variations. Search on Bibsonomy ISPD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pruning rule, dynamic programming, process variation, transitive closure, buffer insertion
20Stefan Porschen Algorithms for Rectangular Covering Problems. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF rectangular covering problem, integer grid, dynamic programming, closure operator
20Jean Diatta, Daniel Rajaonasy Feno, André Totohasina Galois Lattices and Bases for MGK-Valid Association Rules. Search on Bibsonomy CLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Quality measure, Closure operator, Galois connection, Basis, Negative association rule
20Marcel Wild On Rank Functions of Lattices. Search on Bibsonomy Order The full citation details ... 2005 DBLP  DOI  BibTeX  RDF greedoid, join irreducible, locally submodular, unit increase, upper semimodular lattice, ?-subsemilattice, matroid, closure operator
20Nicolas Pasquier, Rafik Taouil, Yves Bastide, Gerd Stumme, Lotfi Lakhal Generating a Condensed Representation for Association Rules. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Galois closure operator, min-max association rules, basis for association rules, data mining, generators, frequent closed itemsets, condensed representation
20Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos Monotone AC-Tree Automata. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equational tree automata, complexity, decidability, closure properties
20Alain Gély A Generic Algorithm for Generating Closed Sets of a Binary Relation. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Galois or concept lattice, Closure operator, Generation algorithm
20Bernhard Ganter, Léonard Kwuida Which Concept Lattices Are Pseudocomplemented?. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pseudocomplement, arrow-relation, complete homomorphism, lattices, Formal Concept Analysis, closure operator
20Alain Gély, Raoul Medina, Lhouari Nourine, Yoan Renaud Uncovering and Reducing Hidden Combinatorics in Guigues-Duquenne Bases. Search on Bibsonomy ICFCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Guigues-Duquenne base, closure systems, clone attributes
20Madjid Boudaba, Alicia Casals, Dirk Osswald, Heinz Wörn Vision-Based Grasping Points Determination by Multifingered Hands. Search on Bibsonomy FSR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Points of contacts, Force-closure, Linear programmimg implementation, Grasping, Vision system
20José de Oliveira Guimarães Closures for statically-typed object-oriented languages. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Smalltalk blocks, object-oriented languages, closure, green
20Daniel H. Huson, Tobias Dezulian, Tobias H. Klöpper, Mike A. Steel Phylogenetic Super-Networks from Partial Trees. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial trees, networks, closure operations, phylogeny, Molecular evolution
20H. L. Bentley, Eva Lowen-Colebunders Initial Morphisms versus Embeddings. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure
20Allen Hazen, Lloyd Humberstone Similarity Relations and the Preservation of Solidity. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proximity relations, truth functions, partitions, similarity, closure operators
20George Georgescu, Andrei Popescu 0001 Non-dual fuzzy connections. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Isotone structure, conjugated pair, Duality, Fuzzy set theory, Closure operator, Galois connection
20Cristian Grecu, Partha Pratim Pande, André Ivanov, Res Saleh A Scalable Communication-Centric SoC Interconnect Architecture. Search on Bibsonomy ISQED The full citation details ... 2004 DBLP  DOI  BibTeX  RDF switch-based interconnect, butterfly fat-tree, global wire delay, System on chip, interconnect architecture, timing closure
20Martín Hötzel Escardó Joins in the Frame of Nuclei. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF nuclei, common fixed point, Hofmann-Mislove Theorem, locale, frame, compactness, closure operator
20Bernard De Baets, Hans E. De Meyer Transitive approximation of fuzzy relations by alternating closures and openings. Search on Bibsonomy Soft Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Min-transitive approximation, Transitive opening, Transitivity, Transitive closure, Fuzzy relation, Copula, Triangular norm
20Eric Saund Finding Perceptually Closed Paths in Sketches and Drawings. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Contour closure, closed path, Gestalt laws, sketch interpretation, line art analysis, graphics recognition, perceptual organization
20Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard A functional correspondence between evaluators and abstract machines. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
20Jean-Christophe Lecoq, Michel Mainguenaud Spatial Alphanumerical Attributes for Graphical Treatings. Search on Bibsonomy ICDAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Spatial Closure, Graphical Coherency, Declarative Property
20Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem On the Amnestic Modification of the Category of State Property Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF closure space, state property system, amnestic modification
20Silvio Micali, Ronald L. Rivest Transitive Signature Schemes. Search on Bibsonomy CT-RSA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF graphs, digital signatures, public-key cryptography, transitive closure
20Supratik Chakraborty, Rajeev Murgai Layout-Driven Timing Optimization by Generalized De Morgan Transform. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF layout-driven optimization, in-place circuit optimization, DeMorgan transformation, deep sub-micron design, Timing optimization, timing closure
20Renaud Rioboo Towards faster real algebraic numbers. Search on Bibsonomy ISSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
20Florent Domenach, Bruno Leclerc Biclosed Binary Relations and Galois Connections. Search on Bibsonomy Order The full citation details ... 2001 DBLP  DOI  BibTeX  RDF join irreducible, lattice, relation, closure, Galois connection
20Josef Slapal Convergence Structures for Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF closure operator for a category, net with respect to a functor, convergence and limit structures for a category, separation and compactness with respect to a convergence structure
20Erhardt Barth, Mario Ferraro, Christoph Zetzsche Global Topological Properties of Images Derived from Local Curvature Features. Search on Bibsonomy IWVF The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Topology, visual perception, curvature, closure, Euler number
20Marcel Erné Z-Continuous Posets and Their Topological Manifestation. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF closure space, completely distributive, continuous poset, sober space, completion, compact, core
20Sanjay V. Rajopadhye, Claude Tadonki, Tanguy Risset The Algebraic Path Problem Revisited. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Warshall-Floyd & Gauss-Jordan elimination, systolic synthesis, recurrence equations, scheduling, shortest path, transitive closure, matrix inversion, space-time mapping
20Horng-Ren Tsai, Shi-Jinn Horng, Shun-Shan Tsai, Tzong-Wann Kao, Shung-Shing Lee Solving an Algebraic Path Problem and Some Related Graph Problems on a Hyper-Bus Broadcast Network. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Hyper-bus broadcast network, matrix multiplication operation, minimum-weight spanning tree, parallel algorithm, graph theory, connectivity, transitive closure, connected component, bridge, biconnected component, all-pair shortest paths, articulation point, algebraic path problem
20Didar Zowghi, Ray Offen A Logical Framework for Modeling and Reasoning About the Evolution of Requirements. Search on Bibsonomy RE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution
20Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells Strongly Typed Flow-Directed Representation Transformations. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF intersection and union types, typed flow analysis, compilation, lambda calculus, inlining, closure conversion
20Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Lindenmayer fuzzy languages, Lindenmayer languages, /spl alpha/-cut, /spl alpha/-driven, fuzzy languages, parallel rewriting, non-monotonic development, formal languages, closure
20Manindra Agrawal, Eric Allender, Samir Datta On TC0, AC0, and Arithmetic Circuits. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF TC/sup 0/, AC/sup 0/, function classes, constant-depth polynomial-size arithmetic circuits, unbounded fanin addition, multiplication gates, constant-depth arithmetic circuits, computational complexity, normal forms, arithmetic circuits, closure properties
20Jean Frédéric Myoupo, Anne-Cécile Fabret A Modular Systolic Linearization of the Warshall-Floyd Algorithm. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Modular linear systolic algorithms, shortest path, matrix multiplication, transitive closure
20Stefan Gerberding DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. Search on Bibsonomy ISMVL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
20Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF completion procedures, congruence closure, term rewriting, equational logic
20Jiawei Han 0001, Ling Liu Efficient Evaluation of Multiple Linear Recursions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF multiple one sided linear recursions, multiple balanced K-sided recursions, multiple mixed K-sided recursion, side-coherent multiple linear recursions, single-linear recursive query evaluation, side-relation unioned processing, side-relation unioned transitive closure algorithm, side-relation unioned magic sets method, single-probe queries, information retrieval, database theory, deductive database, deductive databases, recursive functions
20Oscar H. Ibarra, Stephen M. Sohn On Mapping Systolic Algorithms onto the Hypercube. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF parallel to parallel mappings, time-space graph, one way linear systolic array, systolic array algorithms, fixed-size hypercube architecture, two-dimensional systolic arrays, 64-node NCUBE/7 MIMD hypercube machine, shuffle scheduling problem, finite impulse response filtering, linear context-free language recognition, Boolean transitive closure, performance evaluation, parallel algorithms, computational complexity, parallel computers, parallel architectures, hypercube, matrix multiplication, interprocessor communication, cellular arrays, systolic algorithms, local computation
20Louise E. Moser A Decision Procedure for Unquantified Formulas of Graph Theory. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF congruence closure, equivalence class representative, Directed graph, decision procedure, normal form
19Máximo A. Roa, Raúl Suárez Regrasp planning in the grasp space using independent regions. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Pierre Bonami, Gérard Cornuéjols, Sanjeeb Dash, Matteo Fischetti, Andrea Lodi 0001 Projected Chvátal-Gomory cuts for mixed integer linear programs. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C10, 90C57, 90C11
19David Z. Pan Synergistic modeling and optimization for nanometer IC design/manufacturing integration. Search on Bibsonomy SBCCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF design for manufacturing
19Jaume Baixeries A Formal Context for Symmetric Dependencies. Search on Bibsonomy ICFCA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Xiumin Diao, Ou Ma, Qi Lu Singularity Analysis of Planar Cable-Driven Parallel Robots. Search on Bibsonomy RAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Mario Boley, Tamás Horváth 0001, Axel Poigné, Stefan Wrobel Efficient Closed Pattern Mining in Strongly Accessible Set Systems (Extended Abstract). Search on Bibsonomy PKDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin 0001 Tree Automata with Memory, Visibility and Structural Constraints. Search on Bibsonomy FoSSaCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Mike Brookes, Patrick A. Naylor, Jón Guðnason A quantitative assessment of group delay methods for identifying glottal closures in voiced speech. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Övünç Öztürk, Tugba Özacar, Murat Osman Ünalir Reducing the Inferred Type Statements with Individual Grouping Constructs. Search on Bibsonomy ISWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Xiumin Diao, Ou Ma Workspace Analysis of a 6-DOF Cable Robot for Hardware-in-the-Loop Dynamic Simulation. Search on Bibsonomy IROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa Lightweight Lexical Closures for Legitimate Execution Stack Access. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Xuan Li, Andy King, Lunjin Lu Collapsing Closures. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Tanja Hötte, Thomas Müller 0007 Towards an Epistemic Logic of Concepts. Search on Bibsonomy ICCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Jesse D. Bingham, Zvonimir Rakamaric A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Haoxing Ren, David Zhigang Pan, David S. Kung 0001 Sensitivity guided net weighting for placement-driven synthesis. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Joseph S. Miller, Lawrence S. Moss The Undecidability of Iterated Modal Relativization. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF iterated relativization, modal logic, undecidability, Dynamic epistemic logic
19Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine Simulation-Based Iteration of Tree Transducers. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Jochen Renz, Gérard Ligozat Weak Composition for Qualitative Spatial and Temporal Reasoning. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Yu-Chiang Li, Jieh-Shan Yeh, Chin-Chen Chang 0001 A Fast Algorithm for Mining Share-Frequent Itemsets. Search on Bibsonomy APWeb The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Marcel Erné Intervals in Lattices of alpha-Meet-Closed Subsets. Search on Bibsonomy Order The full citation details ... 2004 DBLP  DOI  BibTeX  RDF (weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible
19Xibin Zhao, Kwok-Yan Lam, Siu Leung Chung, Ming Gu 0001, Jia-Guang Sun 0001 Authorization Mechanisms for Virtual Organizations in Distributed Computing Systems. Search on Bibsonomy ACISP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Secure commercial applications, Access Control, Authorization, Distributed system security
19Song Wang, Jun Wang, Toshiro Kubota From Fragments to Salient Closed Boundaries: An In-Depth Study. Search on Bibsonomy CVPR (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Sumit Gulwani, Ashish Tiwari 0001, George C. Necula Join Algorithms for the Theory of Uninterpreted Functions. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso Algorithmic Improvements in Regular Model Checking. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Tevfik Bultan, Xiang Fu 0001, Richard Hull 0001, Jianwen Su Conversation specification: a new approach to design and analysis of e-service composition. Search on Bibsonomy WWW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF communicating finite sate automata, conversation specification, e-service composition
19Yohan Payan, Xavier Pelorson, Pascal Perrier Physical Modeling of Air.ow-Walls Interactions to Understand the Sleep Apnea Syndrome. Search on Bibsonomy IS4TH The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Paul Villarrubia Important placement considerations for modern VLSI chips. Search on Bibsonomy ISPD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Shyam Ramji, Nagu R. Dhanwada Design topology aware physical metrics for placement analysis. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF path-monotonicity, placement, timing analysis, wirelength
19Thomas Kutzschebauch, Leon Stok Layout Driven Decomposition with Congestion Consideration. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Stephan Kreutzer Operational Semantics for Fixed-Point Logics on Constraint Databases. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Temple H. Fay, Stephan V. Joubert Isolated Submodules and Skew Fields. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF honest, relatively divisible, skew field, isolated
19Shyjan Mahamud, Karvel K. Thornber, Lance R. Williams Segmentation of Salient Closed Contours from Real Images. Search on Bibsonomy ICCV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Leo Bachmair, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Ashish Tiwari 0001 Normalization via Rewrite Closures. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19John McLean A General Theory of Composition for a Class of "Possibilistic'' Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF composition, Computer security, information flow, security models
19Norman Ramsey Relocating Machine Instructions by Currying. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Gilles Bertrand 0001, Rémy Malgouyres Some topological properties of discrete surfaces. Search on Bibsonomy DGCI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
19Rajeev Alur, Thomas A. Henzinger Local Liveness for Compositional Modeling of Fair Reactive Systems. Search on Bibsonomy CAV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19John L. Pfaltz Partition Coefficients of Acyclic Graphs. Search on Bibsonomy WG The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
19Rakesh Agrawal 0001, Alexander Borgida, H. V. Jagadish Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
19Dieter Spreen On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. Search on Bibsonomy CSL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
19Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
19François Bancilhon On the Completeness of Query Languages for Relational Data Bases. Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
17Radim Belohlávek, Vilém Vychodil Background knowledge in formal concept analysis: constraints via closure operators. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF constraints, formal concept analysis, background knowledge
17Patricia C. Arocena, Ariel Fuxman, Renée J. Miller Composing local-as-view mappings: closure and applications. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
17 Downward Closure Property. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Mário J. J. Branco, Jean-Eric Pin Equations Defining the Polynomial Closure of a Lattice of Regular Languages. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Jakub Michaliszyn Decidability of the Guarded Fragment with the Transitive Closure. Search on Bibsonomy ICALP (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Chonglei Mei, Ruipeng Li, Hai Jiang 0003, Jeff Jenness MCD: Mesh Closure Detection for Localized Load Balancing in Scientific Applications. Search on Bibsonomy CSE (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Thanathorn Phoka, Pawin Vongmasa, Chaichana Nilwatchararang, Peam Pipattanasomporn, Attawith Sudsang Planning optimal independent contact regions for two-fingered force-closure grasp of a polygon. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Antonio Cano Gómez, Giovanna Guaiana, Jean-Eric Pin When Does Partial Commutative Closure Preserve Regularity? Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Shaohong Zhang, Hau-San Wong Partial closure-based constrained clustering with order ranking. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 4560 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license