Search results for "Closure"

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