Search results for "Closures"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev	Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS.	TFP	2017	DBLP DOI BibTeX RDF
18	Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca	An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.	RP	2017	DBLP DOI BibTeX RDF
18	Suvam Patra, Himanshu Aggarwal, Himani Arora, Subhashis Banerjee, Chetan Arora 0001	Computing Egomotion with Local Loop Closures for Egocentric Videos.	WACV	2017	DBLP DOI BibTeX RDF
18	Vitor A. M. Jorge	Enabling loop-closures and revisits in active SLAM techiniques by using dynamic boundary conditions an local potential distortions.		2017	RDF
18	Cezar Câmpeanu, Nelma Moreira, Rogério Reis	Distinguishability Operations and Closures.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
18	Isabella Mastroeni, Roberto Giacobazzi	Weakening Additivity in Adjoining Closures.	Order	2016	DBLP DOI BibTeX RDF
18	Kerem Akartunali, Ioannis Fragkos, Andrew J. Miller, Tao Wu 0004	Local Cuts and Two-Period Convex Hull Closures for Big-Bucket Lot-Sizing Problems.	INFORMS J. Comput.	2016	DBLP DOI BibTeX RDF
18	M. Paul Laiu, Cory D. Hauck, Ryan G. McClarren, Dianne P. O'Leary, André L. Tits	Positive Filtered PN Moment Closures for Linear Kinetic Equations.	SIAM J. Numer. Anal.	2016	DBLP DOI BibTeX RDF
18	Florian Schneider 0004	Kershaw closures for linear transport equations in slab geometry I: Model derivation.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
18	Florian Schneider 0004	Kershaw closures for linear transport equations in slab geometry II: High-order realizability-preserving discontinuous-Galerkin schemes.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
18	Weixiong Zheng, Ryan G. McClarren	Moment closures based on minimizing the residual of the PN angular expansion in radiation transport.	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
18	Prateek Karandikar, Matthias Niewerth, Philippe Schnoebelen	On the state complexity of closures and interiors of regular languages with subwords and superwords.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
18	Hongliang Lu, Qinglin Yu	Generalization of Matching Extensions in Graphs (IV): Closures.	Graphs Comb.	2016	DBLP DOI BibTeX RDF
18	Jan Hubicka, Jaroslav Nesetril	All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms).	CoRR	2016	DBLP BibTeX RDF
18	Sanjeeb Dash, Oktay Günlük, Diego A. Morán R.	On the polyhedrality of cross and quadrilateral closures.	Math. Program.	2016	DBLP DOI BibTeX RDF
18	Evelien van der Hurk, Haris N. Koutsopoulos, Nigel H. M. Wilson, Leo G. Kroon, Gábor Maróti	Shuttle Planning for Link Closures in Urban Public Transport Networks.	Transp. Sci.	2016	DBLP DOI BibTeX RDF
18	Zakaria Laskar, Sami Huttunen, Daniel Herrera C., Esa Rahtu, Juho Kannala	Robust loop closures for scene reconstruction by combining odometry and visual correspondences.	ICIP	2016	DBLP DOI BibTeX RDF
18	Matthew Hague, Jonathan Kochems, C.-H. Luke Ong	Unboundedness and downward closures of higher-order pushdown automata.	POPL	2016	DBLP DOI BibTeX RDF
18	Filip Konecný	PTIME Computation of Transitive Closures of Octagonal Relations.	TACAS	2016	DBLP DOI BibTeX RDF
18	Agnieszka D. Bogobowicz, Ryszard Janicki	On Approximation of Relations by Generalized Closures and Generalized Kernels.	IJCRS	2016	DBLP DOI BibTeX RDF
18	Lara Houston, Steven J. Jackson	Caring for the "next billion" mobile handsets: opening proprietary closures through the work of repair.	ICTD	2016	DBLP DOI BibTeX RDF
18	Rudolf Berghammer, Sebastian Fischer 0001	Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
18	Warren P. Adams, Hanif D. Sherali	RLT insights into lift-and-project closures.	Optim. Lett.	2015	DBLP DOI BibTeX RDF
18	Ju Lynn Ong, Danyang Kong, Tiffany T. Y. Chia, Jesisca Tandi, B. T. Thomas Yeo, Michael W. L. Chee	Co-activated yet disconnected - Neural correlates of eye closures when trying to stay awake.	NeuroImage	2015	DBLP DOI BibTeX RDF
18	Graham W. Alldredge, Florian Schneider 0004	A realizability-preserving discontinuous Galerkin scheme for entropy-based moment closures for linear kinetic equations in one space dimension.	J. Comput. Phys.	2015	DBLP DOI BibTeX RDF
18	K. D. Jarman Jr., Alexandre M. Tartakovsky	Erratum: A Comparison of Closures for Stochastic Advection-Diffusion Equations.	SIAM/ASA J. Uncertain. Quantification	2015	DBLP DOI BibTeX RDF
18	Peter Bürgisser, Christian Ikenmeyer	Fundamental invariants of orbit closures.	CoRR	2015	DBLP BibTeX RDF
18	Georg Zetzsche	An approach to computing downward closures.	CoRR	2015	DBLP BibTeX RDF
18	Matthew Hague, Jonathan Kochems, C.-H. Luke Ong	Unboundedness and Downwards Closures of Higher-Order Pushdown Automata.	CoRR	2015	DBLP BibTeX RDF
18	Nageswara Rao Vemuri, Balasubramaniam Jayaram	The ⊛-composition of fuzzy implications: Closures with respect to properties, powers and families.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
18	Jelena Ignjatovic, Miroslav Ciric 0001, Branimir Seselja, Andreja Tepavcevic	Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
18	Sho Tanimoto, James Tanis	The distribution of S-integral points on SL2-orbit closures of binary forms.	J. Lond. Math. Soc.	2015	DBLP DOI BibTeX RDF
18	Tiago Simas, Luis M. Rocha	Distance closures on complex networks.	Netw. Sci.	2015	DBLP DOI BibTeX RDF
18	Willem A. de Graaf	Orbit Closures of Linear Algebraic Groups.	Computer Algebra and Polynomials	2015	DBLP DOI BibTeX RDF
18	Jingdong Wang 0001, Jing Wang 0068, Qifa Ke, Gang Zeng, Shipeng Li 0001	Fast Approximate K-Means via Cluster Closures.	Multimedia Data Mining and Analytics	2015	DBLP DOI BibTeX RDF
18	Timo Röhling, Jennifer Mack, Dirk Schulz 0001	A fast histogram-based similarity measure for detecting loop closures in 3-D LIDAR data.	IROS	2015	DBLP DOI BibTeX RDF
18	Georg Zetzsche	An Approach to Computing Downward Closures.	ICALP (2)	2015	DBLP DOI BibTeX RDF
18	Chao Gao, Robert Harle	Sequence-based magnetic loop closures for automated signal surveying.	IPIN	2015	DBLP DOI BibTeX RDF
18	Takaaki Shiratori, Jérôme Berclaz, Michael Harville, Chintan Shah, Taoyu Li, Yasuyuki Matsushita, Stephen Shiller	Efficient Large-Scale Point Cloud Registration Using Loop Closures.	3DV	2015	DBLP DOI BibTeX RDF
18	Georg Zetzsche	Computing Downward Closures for Stacked Counter Automata.	STACS	2015	DBLP DOI BibTeX RDF
18	Ramón González del Campo, Luis Garmendia	'Only comparable' T -transitive property and its closures for IVFRs.	IFSA-EUSFLAT	2015	DBLP BibTeX RDF
18	Grzegorz Filcek, Dariusz Gasior, Maciej S. Hojda, Jerzy Józefczyk	Joint Train Rescheduling and Track Closures Planning: Model and Solution Algorithm.	ISAT (1)	2015	DBLP DOI BibTeX RDF
18	Robert C. Valentini	Galois closures of quartic subfields of rational function fields.	Finite Fields Their Appl.	2014	DBLP DOI BibTeX RDF
18	Hélène Fargier, Pierre Marquis	Disjunctive closures for knowledge compilation.	Artif. Intell.	2014	DBLP DOI BibTeX RDF
18	Graham W. Alldredge, Cory D. Hauck, Dianne P. O'Leary, André L. Tits	Adaptive change of basis in entropy-based moment closures for linear kinetic equations.	J. Comput. Phys.	2014	DBLP DOI BibTeX RDF
18	Tatiana Jajcayová, Edita Pelantová, Stepán Starosta	Palindromic closures using multiple antimorphisms.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
18	Federico Galetto	Computational Methods for Orbit Closures in a Representation with Finitely Many Orbits.	Exp. Math.	2014	DBLP DOI BibTeX RDF
18	Filip Konecný	PTIME Computation of Transitive Closures of Octagonal Relations.	CoRR	2014	DBLP BibTeX RDF
18	Prateek Karandikar, Philippe Schnoebelen	On the state complexity of closures and interiors of regular languages with subwords.	CoRR	2014	DBLP BibTeX RDF
18	Georg Zetzsche	Computing downward closures for stacked counter automata.	CoRR	2014	DBLP BibTeX RDF
18	Yong-Dian Jian, Frank Dellaert	iSPCG: Incremental subgraph-preconditioned conjugate gradient method for online SLAM with many loop-closures.	IROS	2014	DBLP DOI BibTeX RDF
18	Prateek Karandikar, Philippe Schnoebelen	On the State Complexity of Closures and Interiors of Regular Languages with Subwords.	DCFS	2014	DBLP DOI BibTeX RDF
18	Heather Miller, Philipp Haller, Martin Odersky	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.	ECOOP	2014	DBLP DOI BibTeX RDF
18	Carlos Cortinhas, Fernando J. Barros	Extending Groovy's Reification and Closures.	WorldCIST (2)	2014	DBLP DOI BibTeX RDF
18	Nikita Danilenko	Functional Kleene Closures.	LOPSTR	2014	DBLP DOI BibTeX RDF
18	Ozgur Merih Araz, Tim Lant, John W. Fowler, Megan Jehn	Simulation modeling for pandemic decision making: A case study with bi-criteria analysis on school closures.	Decis. Support Syst.	2013	DBLP DOI BibTeX RDF
18	Marco Bellia, M. Eugenia Occhiuto	Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
18	P. Ruankong, Songkiat Sumetkijakan	Essential closures and supports of multivariate copulas.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
18	Gennadiy Averkov, Michele Conforti, Alberto Del Pia, Marco Di Summa, Yuri Faenza	On the Convergence of the Affine Hull of the Chvátal-Gomory Closures.	SIAM J. Discret. Math.	2013	DBLP DOI BibTeX RDF
18	James McDonald, Manuel Torrilhon	Affordable robust moment closures for CFD based on the maximum-entropy hierarchy.	J. Comput. Phys.	2013	DBLP DOI BibTeX RDF
18	Bernd R. Noack, Robert K. Niven	A hierarchy of maximum entropy closures for Galerkin systems of incompressible flows.	Comput. Math. Appl.	2013	DBLP DOI BibTeX RDF
18	Naoyuki Kamiyama	A note on the serial dictatorship with project closures.	Oper. Res. Lett.	2013	DBLP DOI BibTeX RDF
18	K. D. Jarman Jr., Alexandre M. Tartakovsky	A Comparison of Closures for Stochastic Advection-Diffusion Equations.	SIAM/ASA J. Uncertain. Quantification	2013	DBLP DOI BibTeX RDF
18	Jingdong Wang 0001, Jing Wang 0068, Qifa Ke, Gang Zeng, Shipeng Li 0001	Fast Approximate $K$-Means via Cluster Closures.	CoRR	2013	DBLP BibTeX RDF
18	Tiago Simas, Luis M. Rocha	Distance Closures on Complex Networks.	CoRR	2013	DBLP BibTeX RDF
18	Stavros Konstantinidis, Nicolae Santean	Computing maximal Kleene closures that are embeddable in a given subword-closed language.	Nat. Comput.	2013	DBLP DOI BibTeX RDF
18	Emil Jerábek, Leszek Aleksander Kolodziejczyk	Real closures of models of weak arithmetic.	Arch. Math. Log.	2013	DBLP DOI BibTeX RDF
18	Gim Hee Lee, Friedrich Fraundorfer, Marc Pollefeys	Robust pose-graph loop-closures with expectation-maximization.	IROS	2013	DBLP DOI BibTeX RDF
18	Margaret F. Shipley, J. Brooke Shipley-Lozano	Determining beach closures necessary to protect bull shark (Carcharhinus leucas) species (and bathers): A fuzzy rule-based model.	IFSA/NAFIPS	2013	DBLP DOI BibTeX RDF
18	Dimitrios I. Kosmopoulos, Ilias Maglogiannis, Fillia Makedon	Robust offline topological map estimation using visual loop closures.	PETRA	2013	DBLP DOI BibTeX RDF
18	Bruno Crestani Calegaro, Juliana Kaizer Vizzotto	Quantum Monad Using Java Closures.	WEIT	2013	DBLP DOI BibTeX RDF
18	Marco Bellia, M. Eugenia Occhiuto	The Equivalence of Reduction and Translation Semantics of Java Simple Closures.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
18	Leonid A. Kurdachenko, José M. Muñoz-Escolano, Javier Otal	Groups in which the Normal Closures of Cyclic Subgroups have Finite Section Rank.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
18	Pierre Bonami	On optimizing over lift-and-project closures.	Math. Program. Comput.	2012	DBLP DOI BibTeX RDF
18	Graham W. Alldredge, Cory D. Hauck, André L. Tits	High-Order Entropy-Based Closures for Linear Transport in Slab Geometry II: A Computational Study of the Optimization Problem.	SIAM J. Sci. Comput.	2012	DBLP DOI BibTeX RDF
18	Gordon L. Olson	Alternate closures for radiation transport using Legendre polynomials in 1D and spherical harmonics in 2D.	J. Comput. Phys.	2012	DBLP DOI BibTeX RDF
18	Matteo Icardi, Pietro Asinari, Daniele L. Marchisio, Salvador Izquierdo, Rodney O. Fox	Quadrature-based moment closures for non-equilibrium flows: Hard-sphere collisions and approach to equilibrium.	J. Comput. Phys.	2012	DBLP DOI BibTeX RDF
18	Gennadiy Averkov	On finitely generated closures in the theory of cutting planes.	Discret. Optim.	2012	DBLP DOI BibTeX RDF
18	Tayssir Touili	Computing transitive closures of hedge transformations.	Int. J. Crit. Comput. Based Syst.	2012	DBLP DOI BibTeX RDF
18	Jorgen S. Frederiksen	Statistical Dynamical Closures and Subgrid Modeling for Inhomogeneous QG and 3D Turbulence.	Entropy	2012	DBLP DOI BibTeX RDF
18	Ahmed Ainouche	alpha-degree closures for graphs.	Discret. Math.	2012	DBLP DOI BibTeX RDF
18	Susumu Cato	Complements and consistent closures.	Discret. Math.	2012	DBLP DOI BibTeX RDF
18	René Thiemann	Executable Transitive Closures.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
18	Jochen Harant, Arnfried Kemnitz, Akira Saito, Ingo Schiermeyer	Closures, cycles, and paths.	J. Graph Theory	2012	DBLP DOI BibTeX RDF
18	Rudolf Berghammer, Sebastian Fischer 0001	Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures.	RAMiCS	2012	DBLP DOI BibTeX RDF
18	Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley	Moment Closures for Performance Models with Highly Non-linear Rates.	EPEW/UKPEW	2012	DBLP DOI BibTeX RDF
18	Ramón González del Campo, Luis Garmendia	Weak T-transitivity and weak closures of interval-valued fuzzy relations.	FUZZ-IEEE	2012	DBLP DOI BibTeX RDF
18	Jean-Baptiste Jeannin	Capsules and Closures: A Small-Step Approach.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
18	Marco Bellia, M. Eugenia Occhiuto	Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.	CS&P	2012	DBLP BibTeX RDF
18	Andrew W. Keep, Alex Hearn, R. Kent Dybvig	Optimizing closures in O(0) time.	Scheme@ICFP	2012	DBLP DOI BibTeX RDF
18	Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski	Loop Leaping with Closures.	SAS	2012	DBLP DOI BibTeX RDF
18	Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa 0001	Using program closures to make an application programming interface (API) implementation thread safe.	PADTAD	2012	DBLP DOI BibTeX RDF
18	Jing Wang 0068, Jingdong Wang 0001, Qifa Ke, Gang Zeng, Shipeng Li 0001	Fast approximate k-means via cluster closures.	CVPR	2012	DBLP DOI BibTeX RDF
18	Joseph J. Pfeiffer III, Timothy La Fond, Sebastián Moreno, Jennifer Neville	Fast Generation of Large Scale Social Networks While Incorporating Transitive Closures.	SocialCom/PASSAT	2012	DBLP DOI BibTeX RDF
18	Nicholas D. Matsakis	Parallel Closures: A New Twist on an Old Idea.	HotPar	2012	DBLP BibTeX RDF
18	Claire D'Este, Ashfaqur Rahman, Alison Turnbull	Predicting Shellfish Farm Closures with Class Balancing Methods.	Australasian Conference on Artificial Intelligence	2012	DBLP DOI BibTeX RDF
18	Marco Bellia, M. Eugenia Occhiuto	Properties of Java Simple Closures.	Fundam. Informaticae	2011	DBLP DOI BibTeX RDF
18	Jean-Baptiste Jeannin	Capsules and Closures.	MFPS	2011	DBLP DOI BibTeX RDF
18	Travis C. Fisher, Mark H. Carpenter, Nail K. Yamaleev, Steven H. Frankel	Boundary closures for fourth-order energy stable weighted essentially non-oscillatory finite-difference schemes.	J. Comput. Phys.	2011	DBLP DOI BibTeX RDF
18	K. V. Babitha, Sunil Jacob John	Transitive closures and orderings on soft sets.	Comput. Math. Appl.	2011	DBLP DOI BibTeX RDF