Search results for "closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Hongbo Li, Li Zhou	Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.	CSSE (1)	2008	DBLP DOI BibTeX RDF
17	Gianpiero Cattaneo, Davide Ciucci	A Hierarchical Lattice Closure Approach to Abstract Rough Approximation Spaces.	RSKT	2008	DBLP DOI BibTeX RDF
17	Santhosh Coimbatore Vaidyanathan, Amit Mangesh Brahme, Sukumar Jairam	Techniques for Early Package Closure in System-in-Packages.	ISQED	2008	DBLP DOI BibTeX RDF	spacer, landing, SoC, SIP, CSP, MCM, POP
17	Shin-ya Katsumata	A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.	CSL	2008	DBLP DOI BibTeX RDF
17	Kin Leong Ho, Paul M. Newman	Detecting Loop Closure with Scene Sequences.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	loop closing, scene appearance and navigation, multi-robot navigation, mobile robotics, SLAM
17	Patrick A. Naylor, Anastasis Kounoudes, Jón Guðnason, Mike Brookes	Estimation of Glottal Closure Instants in Voiced Speech Using the DYPSA Algorithm.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
17	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	HORPO with Computability Closure: A Reconstruction.	LPAR	2007	DBLP DOI BibTeX RDF
17	Nattee Niparnan, Attawith Sudsang	Positive Span of Force and Torque Components of Four-Fingered Three-Dimensional Force-Closure Grasps.	ICRA	2007	DBLP DOI BibTeX RDF
17	Krzysztof Diks, Piotr Sankowski	Dynamic Plane Transitive Closure.	ESA	2007	DBLP DOI BibTeX RDF
17	Anna Nepomniaschaya	Associative Version of Italiano's Decremental Algorithm for the Transitive Closure Problem.	PaCT	2007	DBLP DOI BibTeX RDF
17	Sebastian Rudolph	Using FCA for Encoding Closure Operators into Neural Networks.	ICCS	2007	DBLP DOI BibTeX RDF
17	Alfonso Gerevini, Alessandro Saetti	Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.	CP	2007	DBLP DOI BibTeX RDF
17	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
17	Josep Maria Font, Ramon Jansana, Don Pigozzi	On the Closure Properties of the Class of Full G-models of a Deductive System.	Stud Logica	2006	DBLP DOI BibTeX RDF	Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic
17	Angel Domingo Sappa	Unsupervised contour closure algorithm for range image edge-based segmentation.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Nattee Niparnan, Attawith Sudsang	Computing All Force-Closure Grasps of 2D Objects from Contact Point Set.	IROS	2006	DBLP DOI BibTeX RDF
17	Yangjun Chen, Donovan Cooke	On the transitive closure representation and adjustable compression.	SAC	2006	DBLP DOI BibTeX RDF	databases, directed acyclic graphs, transitive closures, graph decomposition, branchings, topological order
17	Michael Cohen 0002	Articulated Modeling of Distributed Privacy: Transitive Closure of Composition of Narrowcasting and Multipresence.	CIT	2006	DBLP DOI BibTeX RDF
17	Joost Engelfriet, Hendrik Jan Hoogeboom	Nested Pebbles and Transitive Closure.	STACS	2006	DBLP DOI BibTeX RDF
17	Peter Schachte, Harald Søndergaard	Closure Operators for ROBDDs.	VMCAI	2006	DBLP DOI BibTeX RDF
17	Ioannis Krommidas, Christos D. Zaroliagis	An Experimental Study of Algorithms for Fully Dynamic Transitive Closure.	ESA	2005	DBLP DOI BibTeX RDF
17	Zoran Majkic	Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic.	ISMVL	2005	DBLP DOI BibTeX RDF
17	Nobuyuki Nishiguchi	An advance RTL to GDS2 design methodology for 90 nm and below system LSIs to solve timing closure, signal integrity and design for manufacturing.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
17	Louise Trevillyan, David S. Kung 0001, Ruchir Puri, Lakshmi N. Reddy, Michael A. Kazda	An Integrated Environment for Technology Closure of Deep-Submicron IC Designs.	IEEE Des. Test Comput.	2004	DBLP DOI BibTeX RDF
17	Nick Kanopoulos	Design Methodology for Rapid Development of SoC ICs Based on an Innovative System Architecture with Emphasis to Timing Closure and Power Consumption Optimization.	PATMOS	2004	DBLP DOI BibTeX RDF
17	David Piggott, Alan Kelly, Conor Teljeur	Exploring the combination of computational Grid processing techniques and public health information in relation to modeling the effects of hospital closure proposals.	CCGRID	2004	DBLP DOI BibTeX RDF
17	Edson Norberto Cáceres, Cristiano Costa Argemon Vieira	Revisiting a BSP/CGM Transitive Closure Algorithm.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
17	Igor Z. Milovanovic, Emina I. Milovanovic, B. M. Randjelovic	Computing Transitive Closure Problem on Linear Systolic Array.	NAA	2004	DBLP DOI BibTeX RDF
17	David S. Kung 0001	Timing closure for low-FO4 microprocessor design.	DAC	2004	DBLP DOI BibTeX RDF	FO4, synthesis, placement, high performance
17	Carlos E. R. Alves, Edson Cáceres, Amaury Antônio de Castro Jr., Siang W. Song, Jayme Luiz Szwarcfiter	Efficient Parallel Implementation of Transitive Closure of Digraphs.	PVM/MPI	2003	DBLP DOI BibTeX RDF
17	Vishal J. Mehta, Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell	A Fault-Independent Transitive Closure Algorithm for Redundancy Identification.	VLSI Design	2003	DBLP DOI BibTeX RDF
17	Holger Spakowski, Mayur Thakur, Rahul Tripathi	Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties.	FSTTCS	2003	DBLP DOI BibTeX RDF
17	Jai-Ming Lin, Hsin-Lung Chen, Yao-Wen Chang	Arbitrarily shaped rectilinear module placement using the transitive closure graph representation.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
17	Olivier Coudert	Timing and Design Closure in Physical Design Flows (invited).	ISQED	2002	DBLP DOI BibTeX RDF
17	Franz Baader, Ralf Küsters	Unification in a Description Logic with Transitive Closure of Roles.	LPAR	2001	DBLP DOI BibTeX RDF
17	Aris Pagourtzis, Igor Potapov, Wojciech Rytter	PVM Computation of the Transitive Closure: The Dependency Graph Approach.	PVM/MPI	2001	DBLP DOI BibTeX RDF
17	Martin Giese	Incremental Closure of Free Variable Tableaux.	IJCAR	2001	DBLP DOI BibTeX RDF
17	Charles Semple, Mike A. Steel	Tree Reconstruction via a Closure Operation on Partial Splits.	JOBIM	2000	DBLP DOI BibTeX RDF
17	Mark R. Grabau, Michael D. Payne	Predicting enemy force closure with simulation.	WSC	2000	DBLP DOI BibTeX RDF
17	Sofie Haesevoets, Bart Kuijpers	Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations.	TIME	2000	DBLP DOI BibTeX RDF	spatio-temporal data models
17	Manfred Kudlek, Victor Mitrana	Normal Forms of Grammars, Finite Automata, Abstract Families, and Closure Properties of Multiset Languages.	WMP	2000	DBLP DOI BibTeX RDF
17	Xizhong Zheng	Closure Properties of Real Number Classes under Limits and Computable Operators.	COCOON	2000	DBLP DOI BibTeX RDF
17	Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson 0004, Lawrence T. Pileggi, Louis Scheffer	Design closure (panel session): hope or hype?	DAC	2000	DBLP DOI BibTeX RDF
17	Friedrich Eisenbrand	On the Membership Problem for the Elementary Closure of a Polyhedron.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 90C10, 68Q25, 90C60
17	Matthias Ruhl	Counting and Addition Cannot Express Deterministic Transitive Closure.	LICS	1999	DBLP DOI BibTeX RDF	Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
17	Jinan Lou, Wei Chen, Massoud Pedram	Concurrent logic restructuring and placement for timing closure.	ICCAD	1999	DBLP DOI BibTeX RDF
17	Massimo Franceschet, Angelo Montanari	Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.	AI*IA	1999	DBLP DOI BibTeX RDF
17	Andrei Gabrielov	Frontier and Closure of a Semi-Pfaffian Set.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
17	Marco Gori, Franco Scarselli, Ah Chung Tsoi	On the closure of the set of functions that can be realized by a given multilayer perceptron.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
17	Leonid Libkin, Limsoon Wong	Unary Quantifiers, Transitive Closure, and Relations of Large Degree.	STACS	1998	DBLP DOI BibTeX RDF
17	Neil Immerman, Moshe Y. Vardi	Model Checking and Transitive-Closure Logic.	CAV	1997	DBLP DOI BibTeX RDF
17	Anindya Banerjee 0001	A Modular, Polyvariant, and Type-Based Closure Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
17	Deepak Kapur	Shostak's Congruence Closure as Completion.	RTA	1997	DBLP DOI BibTeX RDF
17	Ornella Ciotti, Francesco Parisi-Presicce	Closure Properties of Context-Tree Hyperedge Replacement Systems.	WG	1996	DBLP DOI BibTeX RDF
17	Thore Husfeldt	Fully Dynamic Transitive Closure in Plane Dags with One Source and One Sink.	ESA	1995	DBLP DOI BibTeX RDF
17	Mitchell Wand, Paul Steckler	Selective and Lightweight Closure Conversion.	POPL	1994	DBLP DOI BibTeX RDF
17	Klaus Simon, Davide Crippa, Fabian Collenberg	On the Distribution of the Transitive Closure in a Random Acyclic Digraph.	ESA	1993	DBLP DOI BibTeX RDF
17	John K. Slaney, Ewing L. Lusk	Parallelizing the Closure Computation in Automated Deduction.	CADE	1990	DBLP DOI BibTeX RDF
17	Filippo Cacace, Stefano Ceri, Maurice A. W. Houtsma	An Overview of Parallel Strategies for Transitive Closure on Algebraic Machines.	PRISMA Workshop	1990	DBLP DOI BibTeX RDF
17	Andrew W. Appel, Trevor Jim	Continuation-Passing, Closure-Passing Style.	POPL	1989	DBLP DOI BibTeX RDF	ML
17	Ingo Schiermeyer	A Fast Sequential and Parallel Algorithm for the Computation of the k-Closure of a Graph.	WG	1989	DBLP DOI BibTeX RDF	sequential and parallel graph algorithms, polylog parallel algorithm, computational complexity, random graphs, graph properties, hamiltonian graphs
17	Astrid Kiehn	Petri Net systems and their closure properties.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
17	Steven K. Graham	Closure Properties of a Probabilistic Domain Construction.	MFPS	1987	DBLP DOI BibTeX RDF
17	Klaus Simon	An Improved Algorithm for Transitive Closure on Acyclic Digraphs.	ICALP	1986	DBLP DOI BibTeX RDF
17	Raymond Reiter	Equality and Domain Closure in First-Order Databases.	J. ACM	1980	DBLP DOI BibTeX RDF
13	Carlos Ordonez 0001	Optimization of Linear Recursive Queries in SQL.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	SQL, query optimization, transitive closure, Recursive query
13	Akshay Dabholkar, Aniruddha S. Gokhale	Middleware Specialization for Product-Lines Using Feature-Oriented Reverse Engineering.	ITNG	2010	DBLP DOI BibTeX RDF	Middleware, Reverse Engineering, Product-line, Specialization, Closure, Feature Oriented Programming, Footprint
13	Sumit Gulwani, Florian Zuleger	The reachability-bound problem.	PLDI	2010	DBLP DOI BibTeX RDF	disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
13	Vladimir I. Danilov, Gleb A. Koshevoy	Choice Functions and Extensive Operators.	Order	2009	DBLP DOI BibTeX RDF	Pre-topology, Anti-matroid, Exchange and anti-exchange conditions, Matroid, Closure operator, Neighborhood system, Direct image
13	Christoph Bartoschek, Stephan Held, Dieter Rautenbach, Jens Vygen	Fast buffering for optimizing worst slack and resource consumption in repeater trees.	ISPD	2009	DBLP DOI BibTeX RDF	interconnect buffering, repeater tree, physical design, repeater insertion, timing closure
13	Shuhua Su	The Connectedness Relative to a Sub-base in the L-Fuzzy Topological Space.	FSKD (6)	2009	DBLP DOI BibTeX RDF	L-Fuzzy topology, relative interior, relative closure, connectedness relative to a sub-base, covering generalized rough set
13	Lianzhong Liu, Chunfang Li, Yanping Zhang	A Business-Oriented Fault Localization Approach Using Digraph.	ISPA	2009	DBLP DOI BibTeX RDF	security auditing, fault propagation model, fault localization, transitive closure
13	Jianliang Xu, Jian-liang Wang	Sublogarithmic Space-bounded Multi-inkdot Alternating Pushdown Automata with Only Existential (Universal) States.	JCAI	2009	DBLP DOI BibTeX RDF	alternating pushdown automata, multi-inkdot, sublogarithmic space, closure property, incomparability
13	Miroslav Halás, Ülle Kotta, Ziming Li 0002, Huaifu Wang, Chunming Yuan	Submersive rational difference systems and their accessibility.	ISSAC	2009	DBLP DOI BibTeX RDF	inversive closure, rational difference system, reflexive ideals, submersivity, accessibility, transfer function
13	Changjian Liang, Yongming Li 0001	Algebraic properties on the cuts of lattice-valued regular languages.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy languages, Lattice-valued regular languages, Level structure, Closure properties
13	Rémi Lehn, Henri Briand, Fabrice Guillet	User-System Interaction for Redundancy-Free Knowledge Discovery in Data.	Statistical Implicative Analysis	2008	DBLP DOI BibTeX RDF	Minimal Covers, Interpretation of Association Rules, Closure, Deductive Reasonning
13	Swarat Chaudhuri	Subcubic algorithms for recursive state machines.	POPL	2008	DBLP DOI BibTeX RDF	CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems
13	Jure Leskovec, Lars Backstrom, Ravi Kumar 0001, Andrew Tomkins	Microscopic evolution of social networks.	KDD	2008	DBLP DOI BibTeX RDF	triadic closure, social networks, maximum likelihood, transitivity, network evolution, graph generators
13	Ruoming Jin, Yang Xiang, Ning Ruan, Haixun Wang	Efficiently answering reachability queries on very large directed graphs.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	maximal directed spanning tree, path-tree cover, transitive closure, graph indexing, reachability queries
13	Yalin Zheng, Guang Yang 0002, Changshui Zhang, Jing Zheng, Yunpeng Xu	Equivalence Knowledge Mass and Approximate Reasoning in -Logic (I).	ICIC (2)	2008	DBLP DOI BibTeX RDF	Knowledge Cumularspharolith, Formulae Cumularspharolith, Approximate Knowledge Closure of Knowledge Base, Pseudo-distance, automatic Reasoning System, completeness
13	Warren Schudy	Finding strongly connected components in parallel using o(log2n) reachability queries.	SPAA	2008	DBLP DOI BibTeX RDF	transitive closure bottleneck, parallel algorithms, graph algorithms, strongly connected components, topological sort
13	Franz Huber	The Consistency Argument for Ranking Functions.	Stud Logica	2007	DBLP DOI BibTeX RDF	Conditionalization, Conditional Consistency, Consistency Argument, Consistency Theorem, Deductive Closure, Dutch Book Argument, Ranking Functions, Probability Measures, Spohn, Consistency, Revision, Update Rule
13	Stefan Porschen	Optimal Parameterized Rectangular Coverings.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	parameterized rectangular covering, integer grid, dynamic programming, NP-hardness, optimization problem, exact algorithmics, closure operator
13	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
13	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
13	Dirk Beyer 0001	Relational programming with CrocoPat.	ICSE	2006	DBLP DOI BibTeX RDF	pattern matching, relational algebra, BDD, transitive closure, graph models, software analysis, predicate logic
13	Peter Dawyndt, Marc Vancanneyt, Hans E. De Meyer, Jean Swings	Knowledge Accumulation and Resolution of Data Inconsistencies during the Integration of Microbial Information Sources.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	synonymy, error detection/correction, microbiology, Transitive closure, homology, union-find
13	Azadeh Davoodi, Ankur Srivastava 0001	Voltage scheduling under unpredictabilities: a risk management paradigm.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	design closure, voltage scheduling, low power, Predictability
13	Marc Verhagen	Drawing TimeML Relations with TBox.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	TimeML, temporal annotation, temporal closure, visualization, timelines
13	Viktor Kuncak, Daniel Jackson 0001	Relational analysis of algebraic datatypes.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving
13	Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen	Automatically Restructuring Programs for the Web.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	lambda lifting, Web programming, continuation-passing style, CGI, closure conversion
13	Peter Burmeister	Algebraic theory of quasivarieties of heterogeneous partial algebras.	Stud Logica	2004	DBLP DOI BibTeX RDF	heterogeneous partial algebra, existence equation (E-equation), QE-equation, strong equation, logical (Craig) projection, extended signature, implicational theory, algebraic closure operators, primitive class, quasiprimitive class, quasivariety
13	Yangjun Chen	A new algorithm for computing transitive closures.	SAC	2004	DBLP DOI BibTeX RDF	DAGs, transitive closure, branching, topological order
13	Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong	Design patterns for marine biology simulation.	SIGCSE	2004	DBLP DOI BibTeX RDF	AP computer science, abstract coupling, inner class, lambda, design patterns, pedagogy, object-first, closure, loose coupling
13	Liam Roditty, Uri Zwick	A fully dynamic reachability algorithm for directed graphs with an almost linear update time.	STOC	2004	DBLP DOI BibTeX RDF	directed graphs, reachability, transitive closure, dynamic graphs algorithms
13	Gabriele Castellini, David B. Holgate	A Link Between Two Connectedness Notions.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	morphism orthogonality, closure operator, connectedness, Galois connection
13	Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman 0001	Variable Independence in Constraint Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	aggregation, integrity constraints, closure, spatiotemporal databases, Constraint databases
13	Jason Cong, Yiping Fan, Xun Yang, Zhiru Zhang	Architecture and synthesis for multi-cycle communication.	ISPD	2003	DBLP DOI BibTeX RDF	RDR, multi-cycle communication, scheduling, interconnect, placement, binding, deep sub-micron, timing closure
13	Azadeh Davoodi, Ankur Srivastava 0001	Voltage scheduling under unpredictabilities: a risk management paradigm.	ISLPED	2003	DBLP DOI BibTeX RDF	design closure, voltage scheduling, low power, predictability
13	Daniel S. Yeung, Xizhao Wang	Improving Performance of Similarity-Based Clustering by Feature Weight Learning.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	similarity-based clustering, fuzziness and nonspecificity, gradient-descent technique, clustering, transitive closure