|
|
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 |
32 | Yossi Borenstein, Riccardo Poli |
No free lunch, Kolmogorov complexity and the information landscape. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Neil Yorke-Smith, Carmen Gervet |
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure |
31 | Akinari Yamaguchi, Shougo Shimizu, Yasunori Ishihara, Toru Fujiwara |
Bag-based data models for incomplete information and their closure properties. |
J. Intell. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Data model, Incomplete information, Bag, Closure property |
31 | Ioannis Krommidas, Christos D. Zaroliagis |
An experimental study of algorithms for fully dynamic transitive closure. |
ACM J. Exp. Algorithmics |
2008 |
DBLP DOI BibTeX RDF |
reachability, Transitive closure, dynamic algorithm, path |
31 | Surender Baswana, Shashank K. Mehta, Vishal Powar |
Implied Set Closure and Its Application to Memory Consistency Verification. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
Memory consistency model verification, Incremental transitive closure, Total store order, Shared memory multi-processor |
31 | Camil Demetrescu, Giuseppe F. Italiano |
Trade-offs for fully dynamic transitive closure on DAGs: breaking through the O(n2 barrier. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
transitive closure, Dynamic graph algorithms |
31 | James B. Nation |
Closure Operators and Lattice Extensions. |
Order |
2004 |
DBLP DOI BibTeX RDF |
atomistic, congruence-preserving, lattice, extension, closure operator |
31 | Miodrag Vujkovic, David Wadkins, William Swartz, Carl Sechen |
Efficient timing closure without timing driven placement and routing. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
digital design flow, gate sizing, placement and routing, timing closure |
31 | Anders Edman, Christer Svensson |
Timing closure through a globally synchronous, timing partitioned design methodology. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
wire delays, clock skew, timing closure |
31 | Ulrich Bodenhofer |
A unified framework of opening and closure operators with respect to arbitrary fuzzy relations. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy mathematical morphology, Fuzzy preordering, Closure, Fuzzy relation, Opening |
31 | Gabriele Castellini |
Connectedness with Respect to a Closure Operator. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, closure operator, connectedness, Galois connection |
31 | Maria Manuel Clementino |
On Connectedness via Closure Operators. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
constant morphism, left- and right-constant subcategory, and -subcategory, closure operator |
31 | Eraldo Giuli, Walter Tholen |
Openness with Respect to a Closure Operator. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator |
31 | Xiaoyi Jiang 0001 |
An Adaptive Contour Closure Algorithm and Its Experimental Evaluation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2000 |
DBLP DOI BibTeX RDF |
Contour closure, adaptive grouping, directional morphology, performance evaluation, image segmentation |
31 | Reda Alhajj, Faruk Polat |
Closure Maintenance in An Object-Oriented Query Model. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
message expression, object algebra expression, total instances, database system, closure, object-oriented data model, query model, object-oriented query language |
31 | C. Roger Glassey, Sridhar Seshadri |
Transient flows in queueing systems via closure approximations. |
Queueing Syst. Theory Appl. |
1993 |
DBLP DOI BibTeX RDF |
Approximation of distributions, closure approximation, queueing network, transient analysis, sojourn time |
31 | Anish Arora, Mohamed G. Gouda |
Closure and Convergence: A Foundation of Fault-Tolerant Computing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
legal states, verification, formal verification, fault-tolerant computing, fault tolerant computing, convergence, closure |
31 | Chris J. Scheiman, Peter R. Cappello |
A Processor-Time-Minimal Systolic Array for Transitive Closure. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
processor-time-minimal multiprocessor schedules, 2-D mesh, parallel algorithms, systolic array, systolic arrays, directed acyclic graph, multiprocessor schedule, transitive closure |
31 | Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim |
Efficient Algorithms for the Instantiated Transitive Closure Queries. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
instantiated transitive closure queries, delta -wavefront, super-TC, disk page, processed TC query, performance evaluation, performance evaluation, query languages, database theory, database theory, generic algorithm, wavefront, recursive queries |
31 | Rakesh Agrawal 0001, Shaul Dar, H. V. Jagadish |
Direct Transitive Closure Algorithms: Design and Performance Evaluation. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
query processing, deductive databases, transitive closure |
30 | Sahar El-Khoury, Anis Sahbani |
On computing robust n-finger force-closure grasps of 3D objects. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Arnab Bhattacharyya 0001, Elena Grigorescu, Kyomin Jung, Sofya Raskhodnikova, David P. Woodruff |
Transitive-closure spanners. |
SODA |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jesse Weaver, James A. Hendler |
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Nattee Niparnan, Thanathorn Phoka, Attawith Sudsang |
Heuristic approach for multiple queries of 3D n-finger frictional force closure grasp. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Zhi Dong Wang, Hidenori Matsumoto, Yasuhisa Hirata, Kazuhiro Kosuge |
A path planning method for Dynamic Object Closure by using Random Caging Formation Testing. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Liam Roditty |
A faster and simpler fully dynamic transitive closure. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
directed graph, reachability, Dynamic graph algorithms |
30 | Adrien Angeli, David Filliat, Stéphane Doncieux, Jean-Arcady Meyer |
Fast and Incremental Method for Loop-Closure Detection Using Bags of Visual Words. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Adrien Angeli, Stéphane Doncieux, Jean-Arcady Meyer, David Filliat |
Real-time visual loop-closure detection. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Gyllstrom, Jagrati Agrawal, Yanlei Diao, Neil Immerman |
On Supporting Kleene Closure over Event Streams. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sahar El-Khoury, Anis Sahbani |
A sufficient condition and a new quality criterion for force-closure grasps synthesis of 3D objects. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Sahar El-Khoury, Anis Sahbani |
A Sufficient Condition For Computing N-Finger Force-Closure Grasps of 3D Objects. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the first Chvátal closure. |
Math. Program. |
2007 |
DBLP DOI BibTeX RDF |
Separation problems, Chvátal-Gomory cuts, Integer programs, Computational analysis |
30 | Agostino Martinelli, Roland Siegwart |
Exploiting the Information at the Loop Closure in SLAM. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jae-Sook Cheong, A. Frank van der Stappen |
Computing all form-closure grasps of a rectilinear polyhedron with seven frictionless point fingers. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Matthew Nichols, David Taylor |
A faster closure algorithm for pattern matching in partial-order event data. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Zhi Dong Wang, Yasuhisa Hirata, Kazuhiro Kosuge |
Dynamic Object Closure by Multiple Mobile Robots and Random Caging Formation Testing. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the First Chvàtal Closure. |
IPCO |
2005 |
DBLP DOI BibTeX RDF |
separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis |
30 | Frédéric Koriche |
Online Closure-Based Learning of Relational Theories. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Luis Garmendia, Adela Salvador |
Comparing Transitive Closure with a New T-transitivization Method. |
MDAI |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Fernando Esponda, Stephanie Forrest, Paul Helman |
The Crossover Closure and Partial Match Detection. |
ICARIS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Radim Belohlávek |
Fuzzy Closure Operators Induced by Similarity. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Seema Bawa, G. K. Sharma 0001 |
A Parallel Transitive Closure Computation Algorithm for VLSI Test Generation. |
PARA |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Guilherme A. S. Pereira, Vijay Kumar 0001, John R. Spletzer, Camillo J. Taylor, Mario Fernando Montenegro Campos |
Cooperative Transport of Planar Objects by Multiple Mobile Robots Using Object Closure. |
ISER |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Surrendra Dudani, Jayant Nagda |
High Level Functional Verification Closure. |
ICCD |
2002 |
DBLP DOI BibTeX RDF |
|
30 | William Hesse |
The Dynamic Complexity of Transitive Closure Is In DynTC0. |
ICDT |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Floris Geerts, Bart Kuijpers |
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Leo Bachmair, Ashish Tiwari 0001 |
Abstract Congruence Closure and Specializations. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas |
Explaining Explanation Closure. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Doron A. Peled, Thomas Wilke, Pierre Wolper |
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Yves Métivier, Gwénaël Richomme, Pierre-André Wacrenier |
Computing the Closure of Sets of Words Under Partial Commutations. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
Star Problem, trace monoids, rank, commutation, recognizability |
30 | Erich Grädel |
On Transitive Closure Logic. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Hikaru Morita, Kazuo Ohta, Shoji Miyaguchi |
A Switching Closure Test to Analyze Cryptosystems. |
CRYPTO |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Jeffrey D. Ullman, Mihalis Yannakakis |
The Input/Output Complexity of Transitive Closure. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri |
Complex Transitive Closure Queries on a Fragmented Graph. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Jiawei Han 0001, Ghassan Z. Qadah, Chinying Chaou |
The Processing and Evaluation of Transitive Closure Queries. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Wei Sun 0002, Clement T. Yu |
Semantic Query Optimization for Tree and Chain Queries. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
chain queries, knowledge-based query optimization, semantically equivalent transformations, unnecessary joins, redundant beneficial/nonbeneficial selection operations, acyclic queries, closure chain queries, equi-join attributes, restriction closure computation, computational complexity, query processing, knowledge based systems, NP complete, time complexity, database theory, trees (mathematics), semantic query optimization, query graphs, tree queries |
26 | Barzan Mozafari, Kai Zeng 0002, Carlo Zaniolo |
K*SQL: a unifying engine for sequence patterns and XML. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
kleene-closure, sequence queries, sql, pattern matching, xpath |
26 | M. Sulaiman Khan, Maybin K. Muyeba, Frans Coenen |
Weighted Association Rule Mining from Binary and Fuzzy Data. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
weighted attributes, downward closure, Association rules, fuzzy, apriori |
26 | Martin Kutrib, Andreas Malcher, Larissa Werlein |
Regulated Nondeterminism in Pushdown Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties |
26 | Xiaohong Zhang, Gang Yao |
Generalized Rough Set Model on De Morgan Algebras. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
De Morgan algebra, Generalized rough set, Similar topological open subsystem, Similar closure subsystem, Uncertainty measures |
26 | Jae-Sook Cheong, Herman J. Haverkort, A. Frank van der Stappen |
Computing All Immobilizing Grasps of a Simple Polygon with Few Contacts. |
Algorithmica |
2006 |
DBLP DOI BibTeX RDF |
Immobility, Wrench, Form closure, Second-order immobility, Positive basis, Grasp, Fixturing |
26 | Nicolas Guilbert, Adrien Bartoli, Anders Heyden |
Affine Approximation for Direct Batch Recovery of Euclidian Structure and Motion from Sparse Data. |
Int. J. Comput. Vis. |
2006 |
DBLP DOI BibTeX RDF |
batch recovery, closure constraints, affine camera model, contraction mapping, structure from motion, autocalibration |
26 | Hiroki Arimura, Takeaki Uno |
An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees. |
ILP |
2005 |
DBLP DOI BibTeX RDF |
frequent closed pattern mining, attribute tree, the least general generalization, description logic, semi-structured data, closure operation, tree mining, output-sensitive algorithm |
26 | Daniel H. Huson, Tobias Dezulian, Tobias H. Klöpper, Mike A. Steel |
Phylogenetic Super-networks from Partial Trees. |
WABI |
2004 |
DBLP DOI BibTeX RDF |
partial trees, networks, closure operations, phylogeny, Molecular evolution |
26 | Feng Tao, Fionn Murtagh, Mohsen M. Farid |
Weighted Association Rule Mining using weighted support and significance framework. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
WARM algorithm, Weighted Association Rule Mining, significant relationship, weighted downward closure property, weighted support |
26 | Odile Piton, Denis Maurel |
"Beijing Frowns and Washington Pays Close Attention" Computer Processing of Relations between Geographical Proper Names in Foreign Affairs. |
NLDB |
2000 |
DBLP DOI BibTeX RDF |
Proper Names, Place Name, Inhabitant Name, Geographical Proper Names, Computing Method, Natural Language Processing (NLP), Transitive closure, Electronic Dictionary, Relational Data Base |
26 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From system F to typed assembly language. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion |
26 | Rakesh M. Verma |
A Theory of Using History for Equational Systems with Applications. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic |
26 | Gen-Huey Chen, Biing-Feng Wang, Chi-Jen Lu |
On the Parallel Computation of the Algebraic Path Problem. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
all pairsshortest paths, reconfigurable bus system, repeated matrix multiplications, parallel algorithms, computational complexity, parallel computation, graph theory, minimum spanning tree, transitive closure, processor array, CRCW PRAM, graph problems, algebraic path problem |
25 | Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001 |
MIR closures of polyhedral sets. |
Math. Program. |
2010 |
DBLP DOI BibTeX RDF |
Mathematical Subject Classification (2000) 90C10, 90C57, 90C11 |
25 | Tong Liu 0003, Michael Yu Wang |
Passive force analysis with elastic contacts for fixturing and grasping. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Máximo A. Roa, Raúl Suárez, Jan Rosell |
Grasp space generation using sampling and computation of independent regions. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Dikran Dikranjan, Elena Martín Peinador, Vaja Tarieladze |
Conway's Question: The Chase for Completeness. |
Appl. Categorical Struct. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 22A05, 22B05, 54D25, 54H11, Secondary 54A35, 54D30, 54H13, 54B30 |
25 | Yuji Yahata, Syoji Kobashi, Shigeyuki Kan, Masaya Misaki, Katsuya Kondo, Satoru Miyauchi, Yutaka Hata |
Estimation of visual axis during sleep by analyzing infrared video using artificial neural network. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Gautam Gupta, Sanjay V. Rajopadhye |
The Z-polyhedral model. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
equational programming, program transformation, models of computations, loop optimization |
25 | Zheng-Hua Tan |
Fuzzy Metagraph and Its Combination with the Indexing Approach in Rule-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
2006 |
DBLP DOI BibTeX RDF |
information retrieval, knowledge representation, rule-based systems, fuzzy reasoning, Fuzzy graphs |
25 | Huaji Shi, Xibin Zhao |
Implementation Issues of Authorization Mechanisms in Grid Computing Systems. |
SOSE |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yalin Zheng, Changshui Zhang, Xin Yao 0003 |
Type-I Topological Logic C1I and Approximate Reasoning. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Guilong Liu, Delin Qu, Rou Song |
Topological structures of rough sets over fuzzy lattices. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Thumrongsak Kosiyatrakul, Susan Older, Polar Humenn, Shiu-Kai Chin |
Implementing a Calculus for Distributed Access Control in Higher Order Logic and HOL. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Tzong-Jye Liu, Shing-Tsaan Huang |
Phase Synchronization on Asynchronous Uniform Rings with Odd Size. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed systems, self-stabilization, transient faults, phase synchronization |
25 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Xinfeng Ye, John A. Keane |
Collecting Cyclic Garbage in Distributed Systems. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Cheiney, Yan-Nong Huang |
Set-Oriented Propagation of Updates into Transitively Closed Relations. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Detlef Wotschke |
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages. |
GI Jahrestagung |
1973 |
DBLP DOI BibTeX RDF |
|
25 | Shashank Prasad, Dongzi Liu, Oleg Levitsky, Dave Noice, Shailendra Srivastava |
Post Assembly Timing Closure for Multi Million Gate Chips. |
VLSI Design |
2010 |
DBLP DOI BibTeX RDF |
optimization, Timing closure |
25 | Bo Chen |
F-Compactness in L-closure Spaces. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
L-closure space, remote neighborhood family, F-compactness, a-net, r-cover |
25 | Fabian Hemmert, Danijela Djokic, Reto Wettach |
Spoken words: activating text-to-speech through eye closure. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
eye closure, multimodal interfaces, face tracking, text editing, audiovisual |
25 | Jason Cong |
Timing closure based on physical hierarchy. |
ISPD |
2002 |
DBLP DOI BibTeX RDF |
interconnect planning, logic hierarchy, physical hierarchy, retiming and pipelining, sequential arrival time, interconnect optimization, timing closure, multilevel optimization |
25 | Camil Demetrescu, Giuseppe F. Italiano |
Fully Dynamic Transitive Closure: Breaking Through the O(n2) Barrier. |
FOCS |
2000 |
DBLP DOI BibTeX RDF |
fully dynamic transitive closure, unit worst-case cost, amortized time, single-operation complexity, subquadratic algorithm, computational complexity, randomized algorithm, queries, directed graphs, directed graphs, polynomials, polynomials, directed acyclic graphs, matrix multiplication, matrix multiplication, deterministic algorithms, deterministic algorithm, randomised algorithms |
25 | Monika Rauch Henzinger, Valerie King |
Fully Dynamic Biconnectivity and Transitive Closure. |
FOCS |
1995 |
DBLP DOI BibTeX RDF |
fully dynamic biconnectivity, n-node graph, edge insertion, polylogarithmic time, Las-Vegas style, computational complexity, graph theory, randomized algorithm, transitive closure, deletion, randomised algorithms, dynamic algorithm, algorithm theory |
25 | Edith Cohen |
Estimating the Size of the Transitive Closure in Linear Time |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
size-estimation algorithms, reachability information, query optimization, randomized algorithm, directed graphs, transitive closure, database applications, neighborhoods, linear time, fast matrix multiplication |
25 | Dilip Sarkar, Amar Mukherjee |
Design of Optimal Systolic Algorithms for the Transitive Closure Problem. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
transitive closure problem, optimal systolic algorithms, Warshal-Floyd algorithm, pipelined parallel algorithms, RCT diagram, parallel algorithms, data dependency, systolic algorithms |
25 | Keh-Chang Guh, Clement T. Yu |
Efficient Management of Materialized Generalized Transitive Closure in Centralized and Parallel Environments. |
IEEE Trans. Knowl. Data Eng. |
1992 |
DBLP DOI BibTeX RDF |
centralised environments, materialized generalized transitive closure, computational complexity, parallel processing, data structure, data structures, expert systems, queries, time complexities, deductive databases, insertions, deletions, parallel environments, multiprocessor environment |
25 | Erich Grädel, Gregory L. McColm |
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
universal quantifiers, transitive closure logic, stratified Datalog, general hierarchy theorem, quantifier classes, infinitary logic |
25 | Johann Eder |
Extending SQL with General Transitive Closure and Extreme Value Selections. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures |
25 | Sun-Yuan Kung, Sheng-Chun Lo, Paul S. Lewis |
Optimal Systolic Design for the Transitive Closure and the Shortest Path Problems. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
transitive closure problems, systolic arrays, optimal algorithms, VLSI architectures, shortest path problem, Algorithm mappings, VLSI algorithms |
25 | Lothar Schmitz |
An improved transitive closure algorithm. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
transitive reduction, transitive closure, Digraphs, strongly connected components |
25 | Chao-Chih Yang, Marek K. Babinski |
Comments on "Closure Partition Method for Minimizing Incomplete Sequential Machines". |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
Closure class, implied block, sequential machine |
Displaying result #101 - #200 of 4560 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|