Search results for "Closures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Hai-Long Yang, Zhi-Lian Guo	Kernels and closures of soft set relations, and soft set relation mappings.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF
18	Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit	Closures in Formal Languages and Kuratowski's Theorem.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Jean-Luc Baril	Cyclic and lift closures for k...21-avoiding permutations.	Discret. Math.	2011	DBLP DOI BibTeX RDF
18	Christian Sternagel, René Thiemann	Executable Transitive Closures of Finite Relations.	Arch. Formal Proofs	2011	DBLP BibTeX RDF
18	Dieter Probst, Thomas Strahm	Admissible closures of polynomial time computable arithmetic.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
18	Amitabh Basu, Gérard Cornuéjols, Marco Molinaro 0001	A Probabilistic Analysis of the Strength of the Split and Triangle Closures.	IPCO	2011	DBLP DOI BibTeX RDF
18	Yangjun Chen, Yibin Chen	Decomposing DAGs into spanning trees: A new way to compress transitive closures.	ICDE	2011	DBLP DOI BibTeX RDF
18	Stavros Konstantinidis, Nicolae Santean	Computing Maximal Kleene Closures That Are Embeddable in a Given Constrained DNA Language.	DNA	2011	DBLP DOI BibTeX RDF
18	Sven Verdoolaege, Albert Cohen 0001, Anna Beletska	Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.	SAS	2011	DBLP DOI BibTeX RDF
18	Pierre Marquis	Existential Closures for Knowledge Compilation.	IJCAI	2011	DBLP DOI BibTeX RDF
18	Ronny Aboudi, Dominique Thon	Characterizations of egalitarian binary relations as transitive closures with a special reference to Lorenz dominance and to single-crossing conditions.	Soc. Choice Welf.	2010	DBLP DOI BibTeX RDF
18	Manfred Schmidt-Schauß, David Sabel	Closures of may-, should- and must-convergences for contextual equivalence.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
18	Arto Salomaa	Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood.	J. Univers. Comput. Sci.	2010	DBLP DOI BibTeX RDF
18	Cory D. Hauck, Ryan G. McClarren	Positive PN Closures.	SIAM J. Sci. Comput.	2010	DBLP DOI BibTeX RDF
18	Pierre Bonami	On optimizing over lift-and-project closures	CoRR	2010	DBLP BibTeX RDF
18	Rémy-Robert Joseph	Making choices with a binary relation: Relative choice axioms and transitive closures.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
18	Liming Xiong, Mingchu Li	Supereulerian index is stable under contractions and closures.	Ars Comb.	2010	DBLP BibTeX RDF
18	Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001	Erratum to: MIR closures of polyhedral sets.	Math. Program.	2010	DBLP DOI BibTeX RDF
18	Jaakko Järvi, John Freeman	C++ lambda expressions and closures.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
18	Jonathan de Halleux, Nikolai Tillmann	Moles: Tool-Assisted Environment Isolation with Closures.	TOOLS (48)	2010	DBLP DOI BibTeX RDF
18	Douglas A. Leonard	A weighted module view of integral closures of affine domains of type I.	Adv. Math. Commun.	2009	DBLP DOI BibTeX RDF
18	Guo-Qiang Zhang 0001	Closures in Binary Partial Algebras.	ISDT	2009	DBLP DOI BibTeX RDF
18	Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit	Closures in Formal Languages and Kuratowski's Theorem	CoRR	2009	DBLP BibTeX RDF
18	Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit	Closures in Formal Languages: Concatenation, Separation, and Algorithms	CoRR	2009	DBLP BibTeX RDF
18	Fu-Gui Shi	L-fuzzy interiors and L-fuzzy closures.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
18	Ahmed Ainouche	beta-neighborhood closures for graphs.	Discret. Math.	2009	DBLP DOI BibTeX RDF
18	Ahmed Ainouche	beta-degree closures for graphs.	Discret. Math.	2009	DBLP DOI BibTeX RDF
18	Tran Nam Trung	Stability of associated primes of integral closures of monomial ideals.	J. Comb. Theory, Ser. A	2009	DBLP DOI BibTeX RDF
18	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
18	Dave Clarke 0001, Pascal Costanza, Éric Tanter	How should context-escaping closures proceed?	COP@ECOOP	2009	DBLP DOI BibTeX RDF
18	Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin	Efficient Vertical Mining of Frequent Closures and Generators.	IDA	2009	DBLP DOI BibTeX RDF
18	Guilong Liu	Closures of Intuitionistic Fuzzy Relations.	RSKT	2009	DBLP DOI BibTeX RDF	Intuitionistic fuzzy relation, Clustering analysis, Closure, Intuitionistic fuzzy set
18	Susan M. Mniszewski, Sara Y. Del Valle, Phillip D. Stroud, Jane M. Riese, Stephen J. Sydoriak	Pandemic simulation of antivirals + school closures: buying time until strain-specific vaccine is available.	Comput. Math. Organ. Theory	2008	DBLP DOI BibTeX RDF
18	Ian Mahon, Stefan B. Williams, Oscar Pizarro, Matthew Johnson-Roberson	Efficient View-Based SLAM Using Visual Loop Closures.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
18	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
18	Jorgen S. Frederiksen, Terence J. O'Kane	Entropy, Closures and Subgrid Modeling.	Entropy	2008	DBLP DOI BibTeX RDF
18	Cory D. Hauck, C. David Levermore, André L. Tits	Convex Duality and Entropy-Based Moment Closures: Characterizing Degenerate Densities.	SIAM J. Control. Optim.	2008	DBLP DOI BibTeX RDF
18	Chanki Kim, Wan Kyun Chung	Delayed resampling in a Rao-Blackwellized particle filtering SLAM for consistent loop closures.	IROS	2008	DBLP DOI BibTeX RDF
18	Robert Fraatz	On the Computation of Integral Closures of Cyclic Extensions of Function Fields.	LMS J. Comput. Math.	2007	DBLP DOI BibTeX RDF
18	Matteo Fischetti, Andrea Lodi 0001	MIPping Closures: An Instant Survey.	Graphs Comb.	2007	DBLP DOI BibTeX RDF
18	Huiqun Deng, Douglas D. O'Shaughnessy	Effect of incomplete glottal closures on estimates of glottal waves via inverse filtering of vowel sounds.	INTERSPEECH	2007	DBLP DOI BibTeX RDF
18	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
18	Á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
18	Tomás Feder, Phokion G. Kolaitis	Closures and dichotomies for quantified constraints.	Electron. Colloquium Comput. Complex.	2006	DBLP BibTeX RDF
18	Daniel Bienstock, Mark Zuckerberg	Approximate fixed-rank closures of covering problems.	Math. Program.	2006	DBLP DOI BibTeX RDF
18	Mike Brookes, Patrick A. Naylor, Jón Guðnason	A quantitative assessment of group delay methods for identifying glottal closures in voiced speech.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
18	Abhyudai Singh, João Pedro Hespanha	Lognormal Moment Closures for Biochemical Reactions.	CDC	2006	DBLP DOI BibTeX RDF
18	Guilong Liu	The transitive closures of matrices over distributive lattices.	GrC	2006	DBLP DOI BibTeX RDF
18	Anna Melnikov	The Combinatorics of Orbital Varieties Closures of Nilpotent Order 2 in sln.	Electron. J. Comb.	2005	DBLP DOI BibTeX RDF
18	Pierre Bonami, Michel Minoux	Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation.	Discret. Optim.	2005	DBLP DOI BibTeX RDF
18	Reinhard Diestel	The Erdös-Menger conjecture for source/sink sets with disjoint closures.	J. Comb. Theory, Ser. B	2005	DBLP DOI BibTeX RDF
18	Liming Xiong, Zdenek Ryjácek, Hajo Broersma	On stability of the hamiltonian index under contractions and closures.	J. Graph Theory	2005	DBLP DOI BibTeX RDF
18	Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki	Designing World Closures for Knowledge-Based System Engineering.	Software Engineering: Evolution and Emerging Technologies	2005	DBLP BibTeX RDF
18	Jihua Wang, Chunjiang Zhao 0001, Wenjiang Huang, Liangyun Liu, Zhijie Wang, Changwei Tan	Extraction of crop closures and structural types from canopy reflected spectrum in wheat and maize.	IGARSS	2005	DBLP DOI BibTeX RDF
18	Elmar Böhler	Algebraic closures in complexity theory.		2005	RDF
18	Imre Csiszár, Frantisek Matús	On information closures of exponential families: a counterexample.	IEEE Trans. Inf. Theory	2004	DBLP DOI BibTeX RDF
18	Roman Cada, Evelyne Flandrin, Hao Li 0002, Zdenek Ryjácek	Cycles through given vertices and closures.	Discret. Math.	2004	DBLP DOI BibTeX RDF
18	Jeremy P. Spinrad	A note on computing graph closures.	Discret. Math.	2004	DBLP DOI BibTeX RDF
18	Yasushi Shinjo, Toshiyuki Kubo, Calton Pu	Efficient mediators with closures for handling dynamic interfaces in an imperative language.	Inf. Softw. Technol.	2004	DBLP DOI BibTeX RDF
18	Imre Csiszár, Frantisek Matús	Information closures of exponential families.	ISIT	2004	DBLP DOI BibTeX RDF
18	Bernard De Baets, Hans E. De Meyer	On the existence and construction of T-transitive closures.	Inf. Sci.	2003	DBLP DOI BibTeX RDF
18	Ahmed Ainouche, Ingo Schiermeyer	0-Dual Closures for Several Classes of Graphs.	Graphs Comb.	2003	DBLP DOI BibTeX RDF
18	Bernard De Baets, Hans E. De Meyer	Transitive approximation of fuzzy relations by alternating closures and openings.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Min-transitive approximation, Transitive opening, Transitivity, Transitive closure, Fuzzy relation, Copula, Triangular norm
18	Ulrich Bodenhofer, Martine De Cock, Etienne E. Kerre	Openings and closures of fuzzy preorderings: theoretical basics and applications to fuzzy rule-based systems.	Int. J. Gen. Syst.	2003	DBLP DOI BibTeX RDF
18	Alexander K. Kelmans	On graph closures.	Discret. Math.	2003	DBLP DOI BibTeX RDF
18	Alexandros Sopasakis	Formal Asymptotic Models of Vehicular Traffic. Model Closures.	SIAM J. Appl. Math.	2003	DBLP DOI BibTeX RDF
18	Benjamin G. Thengvall, Jonathan F. Bard, Gang Yu	A Bundle Algorithm Approach for the Aircraft Schedule Recovery Problem During Hub Closures.	Transp. Sci.	2003	DBLP DOI BibTeX RDF
18	Yangjun Chen	Graph Decomposition and Recursive Closures.	CAiSE Short Paper Proceedings	2003	DBLP BibTeX RDF
18	Helga Naessens, Hans E. De Meyer, Bernard De Baets	Algorithms for the computation of T-transitive closures.	IEEE Trans. Fuzzy Syst.	2002	DBLP DOI BibTeX RDF
18	Bernard De Baets, Hans E. De Meyer	T-transitive closures, openings and approximations of similarity relations.	FUZZ-IEEE	2002	DBLP DOI BibTeX RDF
18	Ryoichi Wada, Kazutoshi Gohara	Fractals and Closures of Linear Dynamical Systems excited stochastically by Temporal inputs.	Int. J. Bifurc. Chaos	2001	DBLP DOI BibTeX RDF
18	Ryoichi Wada, Kazutoshi Gohara	Closures of Fractal Sets in nonlinear Dynamical Systems with switched inputs.	Int. J. Bifurc. Chaos	2001	DBLP DOI BibTeX RDF
18	Gérard Cornuéjols, Yanjun Li	Elementary closures for integer programs.	Oper. Res. Lett.	2001	DBLP DOI BibTeX RDF
18	Emmanuel Hallouin	Computing Local Integral Closures.	J. Symb. Comput.	2001	DBLP DOI BibTeX RDF
18	Hiroaki Kikuchi	Closures of Fuzzy Linguitic Trugh Value With Regards to the Extension Principle.	FUZZ-IEEE	2001	DBLP DOI BibTeX RDF
18	Gerald Penn	Tractability and Structural Closures in Attribute Logic Type Signatures.	ACL	2001	DBLP BibTeX RDF
18	Andreas Baudisch	Closures in Alef-Symbol0-Categorical Bilinear Maps.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
18	Jean-Marc Berthaud	Time synchronization over networks using convex closures.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	continuous estimation from discrete samplings, network time synchronization, distributed processing, error propagation
18	Wolmer V. Vasconcelos	Divisorial Extensions and the Computation of Integral Closures.	J. Symb. Comput.	2000	DBLP DOI BibTeX RDF
18	Bengt Jonsson 0001, Marcus Nilsson	Transitive Closures of Regular Relations for Verifying Infinite-State Systems.	TACAS	2000	DBLP DOI BibTeX RDF
18	Jean-François Boulicaut, Artur Bykowski	Frequent Closures as a Concise Representation for Binary Data Mining.	PAKDD	2000	DBLP DOI BibTeX RDF
18	Brent W. Benson Jr.	Inner Classes: Closures for the Masses.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF	Java
18	Francesco Ranzato	Closures on CPOs Form Complete Lattices.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
18	Leo Bachmair, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Ashish Tiwari 0001	Normalization via Rewrite Closures.	RTA	1999	DBLP DOI BibTeX RDF
18	Helga Naessens, Bernard De Baets, Hans E. De Meyer	Generating Hasse trees of fuzzy preorder closures: an algorithmic approach.	EUSFLAT-ESTYLF Joint Conf.	1999	DBLP BibTeX RDF
18	Roberto Giacobazzi, Francesco Ranzato	Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
18	Kerstin Schwarz, Can Türker, Gunter Saake	Transitive Dependencies in Transaction Closures.	IDEAS	1998	DBLP DOI BibTeX RDF
18	Oleg Kiselyov	Functional Style in C++: Closures, Late Binding, and Lambda Abstractions.	ICFP	1998	DBLP DOI BibTeX RDF	C++
18	Kerstin Schwarz, Can Türker, Gunter Saake	Execution Dependencies in Transaction Closures.	CoopIS	1998	DBLP DOI BibTeX RDF
18	Kerstin Schwarz, Can Türker, Gunter Saake	Extending Transaction Closures by N-ary Termination Dependencies.	ADBIS	1998	DBLP DOI BibTeX RDF
18	Olaf Burkart	Model checking rationally restricted right closures of recognizable graphs.	INFINITY	1997	DBLP DOI BibTeX RDF
18	S. Rooney	Connection closures adding application-defined behaviour to network connections.	Comput. Commun. Rev.	1997	DBLP DOI BibTeX RDF
18	Angelo Monti	On the Computational Complexity of Graph Closures.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
18	Lin Lin Wang	Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	database scheme, left-right subset, Attribute, Hamiltonian cycle, equivalence class, representative
18	Stefan Rönn	Invariants and Closures in the Theory of Rewrite Systems.	Formal Aspects Comput.	1996	DBLP DOI BibTeX RDF
18	Andrew W. Appel, Zhong Shao	Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
18	Tsuneo Yoshikawa	Passive and active closures by constraining mechanisms.	ICRA	1996	DBLP DOI BibTeX RDF
18	Mokhtar Aboelaze, Benjamin W. Wah	A Processor Array with Bounded I/O Ports for Computing Transitive Closures.	J. Parallel Distributed Comput.	1995	DBLP DOI BibTeX RDF
18	Erich Grädel, Gregory L. McColm	On the Power of Deterministic Transitive Closures	Inf. Comput.	1995	DBLP DOI BibTeX RDF
18	Mitsunori Ogihara	Equivalence of NC^k and AC^k-1 closures of NP and Other Classes	Inf. Comput.	1995	DBLP DOI BibTeX RDF