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
126Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu 0001 Minimal Threshold Closure. Search on Bibsonomy ESORICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Threshold Closure, Access Control, Authorization, Threshold Schemes
70Jeffrey Mark Siskind, Barak A. Pearlmutter First-class nonstandard interpretations by opening closures. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF lambda lifting, referential transparency
63Hilary A. Priestley Ordered Sets and Complete Lattices. Search on Bibsonomy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Zhong Shao, Andrew W. Appel Efficient and safe-for-space closure conversion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion
63Leo Bachmair, Ashish Tiwari 0001, Laurent Vigneron Abstract Congruence Closure. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF congruence closure, associative-commutative theories, term rewriting
63G. M. Germano, Stefano Mazzanti Non-Deterministic Closure Theory and Universal Arrows. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands
59Dikran Dikranjan, Hans-Peter A. Künzi Separation and Epimorphisms in Quasi-Uniform Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF quasi-uniform space, uniform space, (regular, semiregular) closure operator, sequential closure, S()-space, separated space, epimorphism, closure
57Paul K. Rodman Forest vs. trees: where's the slack? Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Yoshiteru Ishida A Note on Biological Closure and Openness: A System Reliability View. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF metabolic closure, biological closure, self-reproduction, quasi-species, entropy, cancer, system reliability, immune system, apoptosis
57Yugyung Lee, James Geller Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
57Biing-Feng Wang, Gen-Huey Chen Constant Time Algorithms for the Transitive Closure and Some Related Graph Problems on Processor Arrays with Reconfigurable Bus Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF related graph problems, reconfigurable bus systems, parallel algorithms, graph theory, minimum spanning trees, bipartite graphs, transitive closure, transitive closure, connected components, processor arrays, undirected graph, bridges, biconnected components, graph problems, articulation points
56Yoan Renaud Join on Closure Systems Using Direct Implicational Basis Representation. Search on Bibsonomy MCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF closure systems, implicational basis, direct basis, datamining
56Radim Belohlávek Fuzzy closure operators II: induced relations, representation, and examples. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fuzzy equivalence, Fuzzy quasiorder, Consequence relation, Closure operator
55Rudolf Berghammer, Bernd Braßel Computing and Visualizing Closure Objects Using Relation Algebra and RelView. Search on Bibsonomy CASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Domenico Saccà Closures of Database Hypergraphs Search on Bibsonomy J. ACM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
50Camil Demetrescu, Giuseppe F. Italiano Mantaining Dynamic Matrices for Fully Dynamic Transitive Closure. Search on Bibsonomy Algorithmica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Transitive closure, Dynamic graph algorithms
50Josef Slapal F-Net Convergence with Respect to a Closure Operator. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF convergence structure, compactness, separation, net, closure operator, neighborhood
49Wenbin Lim, Guilin Yang, Song Huat Yeo, Mustafa Shabbir Kurbanhusen, I-Ming Chen A generic tension-closure analysis method for fully-constrained cable-driven parallel manipulators. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Xinyu Tang, Shawna L. Thomas, Nancy M. Amato Planning with Reachable Distances: Fast Enforcement of Closure Constraints. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Wu-Neng Zhou On some important properties of containwise regularity and category L-CLOSURE. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Eric Allender, Vikraman Arvind, Meena Mahajan Arithmetic Complexity, Kleene Closure, and Formal Power Series. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Vishwani D. Agrawal, Michael L. Bushnell, Qing Lin Redundancy Identification Using Transitive Closure. Search on Bibsonomy Asian Test Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49Jens Palsberg Closure Analysis in Constraint Form. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF constraints, flow analysis, correctness proof
49Zhong Shao, Andrew W. Appel Space-Efficient Closure Representations. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Standard ML
44Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit Closures in Formal Languages and Kuratowski's Theorem. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Manuel Torres 0001, José Samos Closed External Schemas in Object-Oriented Databases. Search on Bibsonomy DEXA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Lufeng Mo, Yuan He 0004, Yunhao Liu 0001, Jizhong Zhao, Shaojie Tang 0001, Xiang-Yang Li 0001, Guojun Dai Canopy closure estimates with GreenOrbs: sustainable sensing in the forest. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF canopy closure, wireless sensor network, design, deployment
44Carlos Olarte, Frank D. Valencia The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
44Branimir Seselja, Andreja Tepavcevic Fuzzifying Closure Systems and Fuzzy Lattices. Search on Bibsonomy RSFDGrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fuzzifying closure system, fuzzy complete lattice, lattice ordered fuzzy poset, fuzzy lattice
44Stefan Porschen On the Rectangular Subset Closure of Point Sets. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rectangular covering problem, closure operator
44Vivek Gaur, Vishwani D. Agrawal, Michael L. Bushnell A New Transitive Closure Algorithm with Application to Redundancy Identification. Search on Bibsonomy DELTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF logic redundancy, partial implications, transitive closure, Implication graph
44Farhad Hayat, Thomas W. Williams, Rohit Kapur, D. Hsu DFT closure. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF area requirement, power requirement, timing closure flow, logic testing, SoC, integrated circuit testing, design for testability, automatic testing, application specific integrated circuits, ASIC, testability
44Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen An efficient database transitive closure algorithm. Search on Bibsonomy Appl. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF recursive rules, recursive query processing, transitive closure queries, Knowledge bases, deductive databases
43Martin Kutrib, Andreas Malcher, Detlef Wotschke The Boolean closure of linear context-free languages. Search on Bibsonomy Acta Informatica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Belkacem Bounab, Daniel Sidobre, Abdelouhab Zaatri Central axis approach for computing n-finger force-closure grasps. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001 On the MIR Closure of Polyhedra. Search on Bibsonomy IPCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Bernard De Baets, Hans E. De Meyer, Helga Naessens A top-down algorithm for generating the Hasse tree of a fuzzy preorder closure. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Xiangyang Zhu, Han Ding 0001 Planning Force-closure Grasps on 3-D objects. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43K. Gopalakrishnan 0002, Kenneth Y. Goldberg D-space and Deform Closure: a Framework for Holding Deformable Parts. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Martin Kutrib, Andreas Malcher, Detlef Wotschke The Boolean Closure of Linear Context-Free Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Aris Pagourtzis, Igor Potapov, Wojciech Rytter Observations on Parallel Computation of Transitive and Max-Closure Problems. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Henry Cejtin, Suresh Jagannathan, Stephen Weeks Flow-Directed Closure Conversion for Typed Languages. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Dieter Hofbauer, Maria Huber Test Sets for the Universal and Existential Closure of Regular Tree Languages. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Shaul Dar, Raghu Ramakrishnan 0001 A Performance Study of Transitive Closure Algorithms. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
43Srimat T. Chakradhar, Vishwani D. Agrawal, Steven G. Rothweiler A transitive closure algorithm for test generation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43H. V. Jagadish A Compression Technique to Materialize Transitive Closure. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Keqin Li Constant Time Boolean Matrix Multiplication on a Linear Array with a Reconfigurable Pipelined Bus System. Search on Bibsonomy J. Supercomput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Boolean matrix closure, reconfigurability, time complexity, cost, transitive closure, processor array, optical bus, boolean matrix multiplication
39Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely A Hyperdoctrinal View of Concurrent Constraint Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
38Isolde Adler Tree-width and functional dependencies in databases. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hypertree-width, databases, functional dependencies, conjunctive queries, tree-width
38Zhi Dong Wang, Yasuhisa Hirata, Kazuhiro Kosuge Control a Rigid Caging Formation for Cooperative Object Transportation by Multiple Mobile Robots. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Liam Roditty, Uri Zwick Improved Dynamic Reachability Algorithms for Directed Graphs. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Jens Palsberg Flobal Program Analysis in Constraint Form. Search on Bibsonomy CAAP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe Persiano, Moti Yung On Monotone Formula Closure of SZK Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF honest-verifier interactive SZK proof systems, monotone formula closure, SZK, statistical zero knowledge, monotone logical formula, protocol techniques, random self reducible languages, Boolean operations, structural properties, closure properties
38Franco P. Preparata, Roberto Tamassia Fully Dynamic Techniques for Point Location and Transitive Closure in Planar Structures (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF insertion/deletion, fully dynamic techniques, planar structures, planar st-graph, transitive-closure queries, monotone subdivisions, chain method, Lee-Preparata, data structure, update, edges, transitive closure, faces, set, vertices, total orders, point location
37Josef Slapal Convenient Closure Operators on \mathbb Z2. Search on Bibsonomy IWCIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Alexandroff pretopology, connectedness graph, Jordan curve, closure operator, digital plane
37Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen 0001 Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. Search on Bibsonomy COCOA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF affine tuple relations, transitive closure
37Balder ten Cate, Luc Segoufin XPath, transitive closure logic, and nested tree walking automata. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tree walking automata, xpath, xml, transitive closure
37Amal Ahmed 0001, Matthias Blume Typed closure conversion preserves observational equivalence. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations
37Jianliang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF alternating pushdown automata, 1-inkdot, sublogarithmic space, closure property
37Balder ten Cate The expressivity of XPath with transitive closure. Search on Bibsonomy PODS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, XPath, semi-structured data, transitive closure
37Gabriele Castellini, Eraldo Giuli U-Closure Operators and Compactness. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF faithful functor, compactness, separation, closure operator, factorization structure
37Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF monoid presentations, transitive closure logic, string rewriting
37Kaijian Shi, Graig Godwin Hybrid hierarchical timing closure methodology for a high performance and low power DSP. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF chip integration, methodology, DSP, timing closure, placement optimization
37Mehmet Baran Compactness, Perfectness, Separation, Minimality and Closedness with Respect to Closure Operators. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF topological category, convergence spaces, limit spaces, compact objects, perfect morphism, closure operator
37Gabriele Castellini, Eraldo Giuli Closure Operators with Respect to a Functor. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF faithful functor, closure operator, factorization structure
37Maria Manuel Clementino, Eraldo Giuli, Walter Tholen What is a Quotient Map with Respect to a Closure Operator? Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator
37Stephen D. Posluszny, Naoaki Aoki, David Boerstler, Paula K. Coulman, Sang H. Dhong, Brian K. Flachs, H. Peter Hofstee, Nobuo Kojima, Ohsang Kwon, Kyung T. Lee, David Meltzer, Kevin J. Nowka, J. Park, J. Peter, Joel Silberman, Osamu Takahashi, Paul Villarrubia "Timing closure by design, " a high frequency microprocessor design methodology. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF chip integration, dynamic circuits0, CAD, methodology, microprocessor, timing analysis, PLA, timing closure
37Paul Steckler, Mitchell Wand Lightweight Closure Conversion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF global optimization/flow analysis, program transformations, compiler construction, closure conversion
37Yannis E. Ioannidis, Raghu Ramakrishnan 0001, Linda Winger Transitive Closure Algorithms Based on Graph Traversal. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF node reachability, transitive closure, depth-first search, path computations
37Anestis A. Toptsis, Clement T. Yu, Peter C. Nelson Computing the Transitive Closure of Symmetric Matrices. Search on Bibsonomy ICCI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Transitive closure, binary relation, symmetric matrix
36Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari 0001 Non-linear Rewrite Closure and Weak Normalization. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Roberto Bagnara, Patricia M. Hill, Enea Zaffanella An Improved Tight Closure Algorithm for Integer Octagonal Constraints. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Huahai He, Ambuj K. Singh Closure-Tree: An Index Structure for Graph Queries. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Kent Andersen, Gérard Cornuéjols, Yanjun Li Split closure and intersection cuts. Search on Bibsonomy Math. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Robert Nieuwenhuis, Albert Oliveras Proof-Producing Congruence Closure. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Guillem Godoy, Ashish Tiwari 0001, Rakesh M. Verma Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Rewriting, Confluence, Terms
36Piotr Sankowski Dynamic Transitive Closure via Dynamic Matrix Inverse (Extended Abstract). Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Nelson Zagalo, Vasco A. Branco, Anthony Barker From the Necessity of Film Closure to Inherent VR Wideness. Search on Bibsonomy International Conference on Virtual Storytelling The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Floris Geerts, Bart Kuijpers Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases. Search on Bibsonomy ICDT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Kent Andersen, Gérard Cornuéjols, Yanjun Li Split Closure and Intersection Cuts. Search on Bibsonomy IPCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Peter Jeavons 0001, David A. Cohen, Marc Gyssens Closure properties of constraints. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF indicator problem, complexity, NP-completeness, constraint satisfaction problem
36Jong-Chuang Tsay, Pen-Yuang Chang Some New Designs of 2-D Array for Matrix Multiplication and Transitive Closure. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Stephen A. Fenner, Lance Fortnow, Lide Li Gap-Definability as a Closure Property. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Anestis A. Toptsis Parallel Transitive Closure Computation in Highly Scalable Multiprocessors. Search on Bibsonomy ICCI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Seppo Sippu, Eljas Soisalon-Soininen A Generalized Transitive Closure for Relational Queries. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Joachim Biskup, Holger Stiefeling Transitive Closure Algorithms for Very Large Databases. Search on Bibsonomy WG The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Greg Nelson, Derek C. Oppen Fast Decision Procedures Based on Congruence Closure. Search on Bibsonomy J. ACM The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
35Rainer Schuler Truth-table Closure and Turing Closure of Average Polynomial Time have Different Measures in EXP. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF computational complexity, completeness, average-case analysis, resource-bounded measure
33Yu-Hui Liu, Ling-Xia Lu L-closure operators, L-closure systems and L-closure L-systems on complete L-ordered sets. Search on Bibsonomy FSKD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Ruoming Jin, Yang Xiang, Ning Ruan, David Fuhry 3-HOP: a high-compression indexing scheme for reachability query. Search on Bibsonomy SIGMOD Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 2-hop, 3-hop, path-tree, transitive closure, graph indexing, reachability queries
33Maybin K. Muyeba, M. Sulaiman Khan, Frans Coenen Fuzzy Weighted Association Rule Mining with Weighted Support and Confidence Framework. Search on Bibsonomy PAKDD Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weighted support, weighted confidence, downward closure, Association rules, fuzzy
33Nilma Perera, Albert Goodman, Kathy Blashki Preattentive processing: using low-level vision psychology to encode information in visualisations. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF preattentive, visualisation, closure, depth, boundary detection
33François Pottier, Nadji Gauthier Polymorphic typed defunctionalization. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF type preservation, polymorphism, defunctionalization, closure conversion
33Carlos Rubén de la Mora-Basáñez, Carlos Gershenson, Angelica Garcia-Vega Representation Development and Behavior Modifiers. Search on Bibsonomy IBERAMIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF representation development, behavior modifiers, biological motivations, Closure, affective states
32Prem C. Pandey 0001, Milind S. Shah Estimation of Place of Articulation During Stop Closures of Vowel-Consonant-Vowel Utterances. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Saleem Abdul Hamid, Nabil Simaan Design and synthesis of wire-actuated universal-joint wrists for surgical applications. Search on Bibsonomy ICRA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Domenico Prattichizzo, Jeffrey C. Trinkle Grasping. Search on Bibsonomy Springer Handbook of Robotics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Chaoyi Pang, David P. Hansen, Anthony J. Maeder Managing RBAC states with transitive relations. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graph theory, data integration, distributed database, role-based access control, redundant, directed acyclic graph (DAG)
32Bernhard Ganter, Heiko Reppe Base Points, Non-unit Implications, and Convex Geometries. Search on Bibsonomy ICFCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Martin Kutrib, Andreas Malcher Context-Dependent Nondeterminism for Pushdown Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4560 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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