Search results for "closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Jeffrey D. Russell, Charles R. Kime	System Fault Diagnosis: Closure and Diagnosability with Repair.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Closure index, diagnostic modeling, diagnosable digital systems, fault-tolerant computing, fault detection and diagnosis
24	Gianpiero Cattaneo, Davide Ciucci	Lattices with Interior and Closure Operators and Abstract Approximation Spaces.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF
24	Mario Boley, Henrik Grosskreutz	Non-redundant Subgroup Discovery Using a Closure System.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
24	Karl Granström, Jonas Callmer, Fabio T. Ramos 0001, Juan I. Nieto 0001	Learning to detect loop closure from range data.	ICRA	2009	DBLP DOI BibTeX RDF
24	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Expressiveness and Closure Properties for Quantitative Languages.	LICS	2009	DBLP DOI BibTeX RDF
24	Chan Le Duc	Decidability of SHI with Transitive Closure of Roles.	ESWC	2009	DBLP DOI BibTeX RDF	OWL, Description Logics, Decidability, Tableaux
24	Sudhir Vinjamuri, Viktor K. Prasanna	Transitive closure on the cell broadband engine: A study on self-scheduling in a multicore processor.	IPDPS	2009	DBLP DOI BibTeX RDF
24	Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova	Closure Operators for Order Structures.	FCT	2009	DBLP DOI BibTeX RDF
24	Alva L. Couch, Marc Chiarini	Dynamics of Resource Closure Operators. (PDF / PS)	AIMS	2009	DBLP DOI BibTeX RDF
24	Subramanian Rajagopalan, Sambuddha Bhattacharya, Shabbir H. Batterywala	Efficient Analog/RF Layout Closure with Compaction Based Legalization.	VLSI Design	2009	DBLP DOI BibTeX RDF
24	Egon Balas, Anureet Saxena	Optimizing over the split closure.	Math. Program.	2008	DBLP DOI BibTeX RDF
24	Thierry Zell	Topological Complexity of the Relative Closure of a Semi-Pfaffian Couple.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Pfaffian functions, Fewnomials, o-Minimal structures, Betti numbers
24	Ricardo Prado, Raúl Suárez	Synthesis of grasps with four contact points including at least three force-closure grasps of three contact points.	IROS	2008	DBLP DOI BibTeX RDF
24	Olaf Beyersdorff	Logical Closure Properties of Propositional Proof Systems.	TAMC	2008	DBLP DOI BibTeX RDF
24	Lihong Zhang, C.-J. Richard Shi, Yingtao Jiang	Symmetry-aware placement with transitive closure graphs for analog layout design.	ASP-DAC	2008	DBLP DOI BibTeX RDF
24	Yangjun Chen	A new method for generating compressed representation of transitive closure.	C3S2E	2008	DBLP DOI BibTeX RDF
24	Michal Karczmarek, Arvind	Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.	ICCAD	2008	DBLP DOI BibTeX RDF
24	Yu Zheng 0001, Chee-Meng Chew	A New Distance Algorithm and Its Application to General Force-Closure Test.	RAM	2008	DBLP DOI BibTeX RDF
24	Jinjun Xiong, Lei He 0001	Probabilistic Transitive-Closure Ordering and Its Application on Variational Buffer Insertion.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
24	Yeow Meng Chee, Alan C. H. Ling, San Ling, Hao Shen	The PBD-Closure of Constant-Composition Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
24	Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang	Temporal floorplanning using the three-dimensional transitive closure subGraph.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	temporal floorplanning, Reconfigurable computing, partially dynamical reconfiguration
24	Xiumin Diao, Ou Ma	Force-closure analysis of general 6-DOF cable manipulators.	IROS	2007	DBLP DOI BibTeX RDF
24	Chuan Lin 0002, Aiguo Xie, Hai Zhou 0001	Design closure driven delay relaxation based on convex cost network flow.	DATE	2007	DBLP DOI BibTeX RDF
24	Frédéric Blanqui	Computability Closure: Ten Years Later.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
24	Bo Cui, Stavros Konstantinidis	DNA Coding Using the Subword Closure Operation.	DNA	2007	DBLP DOI BibTeX RDF
24	Ji-shu Cheng	Properties of Theta-closure in L-Spaces.	FSKD (1)	2007	DBLP DOI BibTeX RDF
24	S. N. Hosseini, S. Sh. Mousavi	A Relation Between Closure Operators on a Small Category and Its Category of Presheaves.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	AMS Subject Classification Codes 18A32, 18F10
24	Alain Gély, Lhouari Nourine	About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base.	ICFCA	2006	DBLP DOI BibTeX RDF
24	Jai-Ming Lin, Yao-Wen Chang	TCG: A transitive closure graph-based representation for general floorplans.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
24	Chaoyi Pang, Guozhu Dong, Kotagiri Ramamohanarao	Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	SQL, maintenance, first-order logic, incremental algorithm, Database view
24	Luis Garmendia, Adela Salvador	A New Algorithm to Compute Low T-Transitive Approximation of a Fuzzy Relation Preserving Symmetry. Comparisons with the T-Transitive Closure.	ECSQARU	2005	DBLP DOI BibTeX RDF
24	Paul A. S. Ward, Dwight S. Bedassé	Fast Convex Closure for Efficient Predicate Detection.	Euro-Par	2005	DBLP DOI BibTeX RDF
24	María Isabel Alfonso, Federico Barber	A Mixed Closure-CSP Method for Solving Scheduling Problems.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	heuristic search, temporal reasoning, planning and scheduling
24	Tetsuyou Watanabe, Zhongwei Jiang, Tsuneo Yoshikawa	Mechanics of Hybrid Active/passive-closure Grasps.	ICRA	2004	DBLP DOI BibTeX RDF
24	Guillem Godoy, Ashish Tiwari 0001	Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.	IJCAR	2004	DBLP DOI BibTeX RDF
24	Olivier Omedes, Michel Robert, Mohammed Ramdani	A flexibility aware budgeting for hierarchical flow timing closure.	ICCAD	2004	DBLP DOI BibTeX RDF
24	Jian Zhang 0001, Hantao Zhang 0001	Extending Finite Model Searching with Congruence Closure Computation.	AISC	2004	DBLP DOI BibTeX RDF
24	Christelle Scharff, Leo Bachmair	On the Combination of Congruence Closure and Completion.	AISC	2004	DBLP DOI BibTeX RDF
24	Gang Zhang, E. Aykut Dengi, Ronald A. Rohrer, Rob A. Rutenbar, L. Richard Carley	A synthesis flow toward fast parasitic closure for radio-frequency integrated circuits.	DAC	2004	DBLP DOI BibTeX RDF	modeling, synthesis, layout, sizing, parasitic, radio frequency
24	Thomas Baar	The Definition of Transitive Closure with OCL - Limitations and Applications.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
24	Robert Nieuwenhuis, Albert Oliveras	Congruence Closure with Integer Offsets.	LPAR	2003	DBLP DOI BibTeX RDF
24	Kumar Neeraj Verma	On Closure under Complementation of Equational Tree Automata for Theories Extending AC.	LPAR	2003	DBLP DOI BibTeX RDF
24	Liam Roditty	A faster and simpler fully dynamic transitive closure.	SODA	2003	DBLP BibTeX RDF
24	Ankur Srivastava 0001, Seda Ogrenci Memik, Bo-Kyung Choi, Majid Sarrafzadeh	Achieving Design Closure Through Delay Relaxation Parameter.	ICCAD	2003	DBLP DOI BibTeX RDF
24	Neil Yorke-Smith, Carmen Gervet	Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty.	CP	2003	DBLP DOI BibTeX RDF
24	Kai-Pui Lam, Sui-Tung Mak	On Computing Transitive-Closure Equivalence Sets Using a Hybrid GA-DP Approach.	FPL	2002	DBLP DOI BibTeX RDF
24	Surender Baswana, Ramesh Hariharan, Sandeep Sen	Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths.	STOC	2002	DBLP DOI BibTeX RDF	BFS tree, decremental, reachability
24	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells	Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
24	María Isabel Alfonso Galipienso, Federico Barber Sanchís	A Mixed Closure-CSP Method to Solve Scheduling Problems.	IEA/AIE	2001	DBLP DOI BibTeX RDF
24	Floris Geerts	Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension.	DBPL	2001	DBLP DOI BibTeX RDF
24	Valerie King, Mikkel Thorup	A Space Saving Trick for Directed Dynamic Transitive Closure and Shortest Path Algorithms.	COCOON	2001	DBLP DOI BibTeX RDF
24	Ashish Tiwari 0001	Rewrite Closure for Ground and Cancellative AC Theories.	FSTTCS	2001	DBLP DOI BibTeX RDF
24	Kjell Lemström, Lauri Hella	Approximate Pattern Matching is Expressible in Transitive Closure Logic.	LICS	2000	DBLP DOI BibTeX RDF
24	Dorit S. Hochbaum, Maurice Queyranne	Minimizing a Convex Cost Closure Set.	ESA	2000	DBLP DOI BibTeX RDF
24	David A. Duffy, Jürgen Giesl	Closure Induction in a Z-Like Language.	ZB	2000	DBLP DOI BibTeX RDF
24	Leonid Libkin	Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases.	SIGMOD Rec.	1999	DBLP DOI BibTeX RDF
24	Valerie King	Fully Dynamic Algorithms for Maintaining All-Pairs Shortest Paths and Transitive Closure in Digraphs.	FOCS	1999	DBLP DOI BibTeX RDF
24	Richard Beigel	Closure Properties of GapP and #P.	ISTCS	1997	DBLP DOI BibTeX RDF
24	Birgit Jenner	Closure under Complementation of Logspace Complexity Classes - A Survey.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
24	Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin	Extensions for Open Default Theories via the Domain Closure Assumption.	JELIA	1996	DBLP DOI BibTeX RDF
24	James H. Elder, Steven W. Zucker	Computing Contour Closure.	ECCV (1)	1996	DBLP DOI BibTeX RDF
24	Patrick Cousot, Radhia Cousot	Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form.	CAV	1995	DBLP DOI BibTeX RDF
24	Dan Suciu, Jan Paredaens	Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.	PODS	1994	DBLP DOI BibTeX RDF
24	Hikaru Morita, Kazuo Ohta, Shoji Miyaguchi	Results of Switching-Closure-Test on FEAL (Extended Abstract).	ASIACRYPT	1991	DBLP DOI BibTeX RDF
24	H. V. Jagadish, Rakesh Agrawal 0001, Linda Ness	A Study of Transitive Closure As a Recursion Mechanism.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
24	Elisabeth Pelz	Closure Properties of Deterministic Petri Nets.	STACS	1987	DBLP DOI BibTeX RDF
24	Axel Poigné	Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.	STACS	1984	DBLP DOI BibTeX RDF
22	Juntao Huang, Yingda Cheng, Andrew J. Christlieb, Luke F. Roberts	Machine learning moment closure models for the radiative transfer equation I: Directly learning a gradient based closure.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
22	Hualin Miao, Qingguo Li, Dongsheng Zhao	One-step closure, weak one-step closure and meet continuity.	ISDT	2022	DBLP DOI BibTeX RDF
22	Anika Njamcul, Aleksandar Pavlovic 0001	On closure compatibility of ideal topological spaces and idempotency of the local closure function.	Period. Math. Hung.	2022	DBLP DOI BibTeX RDF
22	Juntao Huang, Yingda Cheng, Andrew J. Christlieb, Luke F. Roberts	Machine learning moment closure models for the radiative transfer equation I: directly learning a gradient based closure.	CoRR	2021	DBLP BibTeX RDF
22	Laura Giordano 0001, Valentina Gliozzi	Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
22	Hao Yin, Austin R. Benson, Johan Ugander	Measuring directed triadic closure with closure coefficients.	Netw. Sci.	2020	DBLP DOI BibTeX RDF
22	Jung Mi Ko, Yong Chan Kim	Bi-closure systems and bi-closure operators on generalized residuated lattices.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
22	Hao Yin, Austin R. Benson, Johan Ugander	Measuring Directed Triadic Closure with Closure Coefficients.	CoRR	2019	DBLP BibTeX RDF
22	Laura Giordano 0001, Valentina Gliozzi	Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure.	CoRR	2018	DBLP BibTeX RDF
22	Laura Giordano 0001, Valentina Gliozzi	Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure.	PRUV@IJCAR	2018	DBLP BibTeX RDF
22	Wei Wang 0077, Xiaomei Bai, Feng Xia 0001, Teshome Megersa Bekele, Xiaoyan Su, Amr Tolba	From triadic closure to conference closure: the role of academic conferences in promoting scientific collaborations.	Scientometrics	2017	DBLP DOI BibTeX RDF
22	Rudolf Berghammer, Walter Guttmann	Closure, Properties and Closure Properties of Multirelations.	RAMiCS	2015	DBLP DOI BibTeX RDF
22	Jorge Elorza, Ramón Fuentes-González, Jean Bragard, Pedro J. Burillo	On the relation between fuzzy closing morphological operators, fuzzy consequence operators induced by fuzzy preorders and fuzzy closure and co-closure systems.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
22	Fred Adams, John A. Barker, Julia Figurelli	Towards closure on closure.	Synth.	2012	DBLP DOI BibTeX RDF
22	Murat Diker, Senol Dost, Aysegül Altay Ugur	Interior and closure operators on texture spaces - II: Dikranjan-Giuli closure operators and Hutton algebras.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
22	Murat Diker, Senol Dost, Aysegül Altay Ugur	Interior and closure operators on texture spaces - I: Basic concepts and Cech closure operators.	Fuzzy Sets Syst.	2010	DBLP DOI BibTeX RDF
22	Ángel Mora 0001, Gabriel Aguilera 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán	A new closure algorithm based in logic: SLFD-Closure versus classical closures.	Inteligencia Artif.	2006	DBLP BibTeX RDF
22	Nathalie Caspard, Bernard Monjardet	Erratum to: The lattice of closure systems, closure operators and implicational systems on a finite set: a survey: [Discrete Applied Mathematics 127(2) (2003) 241-269].	Discret. Appl. Math.	2005	DBLP DOI BibTeX RDF
22	Nassima B. Abdelli-Beruh	The Stop Voicing Contrast in French Sentences: Contextual Sensitivity of Vowel Duration, Closure Duration, Voice Onset Time, Stop Release and Closure Voicing.	Phonetica	2004	DBLP DOI BibTeX RDF
22	Nathalie Caspard, Bernard Monjardet	The Lattices of Closure Systems, Closure Operators, and Implicational Systems on a Finite Set: A Survey.	Discret. Appl. Math.	2003	DBLP DOI BibTeX RDF
22	Jorge Elorza, Pedro J. Burillo	Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
22	S. Sampath Kumar 0003	θ-Closure and δ-closure operators on fuzzy bitopological spaces.	Fuzzy Sets Syst.	1997	DBLP DOI BibTeX RDF
22	Lenhart K. Schubert	Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
22	Isabel F. Cruz, Theodore S. Norvell	Aggregative Closure: An Extension of Transitive Closure.	ICDE	1989	DBLP DOI BibTeX RDF
22	Andreas Brandstädt	Closure Properties of Certain Families of Formal Languages with Respect to a Generalization of Cyclic Closure.	RAIRO Theor. Informatics Appl.	1981	DBLP DOI BibTeX RDF
20	Ruoming Jin, Hui Hong, Haixun Wang, Ning Ruan, Yang Xiang	Computing label-constraint reachability in graph databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	generalized transitive closure, hoeffding and bernstein bounds, label-constraint reachability, maximal directed spanning tree
20	Abdelkrim Nemra, Nabil Aouf	Robust Airborne 3D Visual Simultaneous Localization and Mapping with Observability and Consistency Analysis.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	EKF SLAM, NH? SLAM, Loop closure, Map management, Consistency, Observability, Stereo vision, Unmanned aerial vehicle, Simultaneous localization and mapping
20	Marcin Jan Schroeder	Quantum Coherence without Quantum Mechanics in Modeling the Unity of Consciousness.	QI	2009	DBLP DOI BibTeX RDF	Quantum coherence, Information integration processing, Closure space, Consciousness, Quantum logic
20	Guilong Liu	Closures of Intuitionistic Fuzzy Relations.	RSKT	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy relation, Clustering analysis, Closure, Intuitionistic fuzzy set
20	Oscar H. Ibarra, Ömer Egecioglu	Hierarchies and Characterizations of Stateless Multicounter Machines.	COCOON	2009	DBLP DOI BibTeX RDF	Stateless multicounter machine, reversal-bounded, non- realtime, stateless multihead automata, hierarchy, closure properties, semilinear set
20	Jacinto González-Pachón, Carlos Romero	A method for obtaining transitive approximations of a binary relation.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Transitive approximation, Maximal transitive sub-relation, Transitive opening, Transitive closure, Goal programming, Binary relation
20	Arnaud Soulet, Bruno Crémilleux	Adequate condensed representations of patterns.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Closure operator, Pattern mining, Condensed representation
20	José A. Carrillo 0001, Thierry Goudon, Pauline Lafitte, Francesco Vecil	Numerical Schemes of Diffusion Asymptotics and Moment Closures for Kinetic Equations.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Diffusion asymptotics, Moment closure, Asymptotic preserving schemes, Hyperbolic systems