Search results for "closure"

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