Search results for "Closures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa	Lightweight Lexical Closures for Legitimate Execution Stack Access.	CC	2006	DBLP DOI BibTeX RDF
77	Marzena Kryszkiewicz	Closures of Downward Closed Representations of Frequent Patterns.	HAIS	2009	DBLP DOI BibTeX RDF	downward closed sets, closed sets, frequent patterns, closures
76	Chao-Chih Yang, Guang Li, Peter A. Ng	An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	subset closures, relational database scheme, elementary key normal form, subset closures, computational complexity, relational databases, time complexity, database theory, functional dependences, set theory, Hamiltonian cycles
66	Xuan Li, Andy King, Lunjin Lu	Collapsing Closures.	ICLP	2006	DBLP DOI BibTeX RDF
66	Alan Bawden, Jonathan Rees	Syntactic Closures.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
65	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
65	Alain Casali, Rosine Cicchetti, Lotfi Lakhal	Extracting semantics from data cubes using cube transversals and closures.	KDD	2003	DBLP DOI BibTeX RDF	algorithm, lattices, closures, version spaces, datacubes, hypergraph transversals
60	Martin Kutrib, Andreas Malcher, Detlef Wotschke	The Boolean closure of linear context-free languages.	Acta Informatica	2008	DBLP DOI BibTeX RDF
60	Martin Kutrib, Andreas Malcher, Detlef Wotschke	The Boolean Closure of Linear Context-Free Languages.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
54	José de Oliveira Guimarães	Closures for statically-typed object-oriented languages.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Smalltalk blocks, object-oriented languages, closure, green
48	Hongbo Li, Li Zhou	Use Closure of Relevant Sets of Attributes to Efficiently Find Candidate Keys.	CSSE (1)	2008	DBLP DOI BibTeX RDF
48	Nobuhito Yamamoto, Tomoyuki Nishioka	The Activation Mechanism for Dynamically Generated Procedures in Hyperlogo.	HCI (8)	2007	DBLP DOI BibTeX RDF
47	Sinisa Todorovic, Narendra Ahuja	Region-Based Hierarchical Image Matching.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Edit-distance graph matching, Many-to-many matching, Maximum subtree isomorphism, Image matching, Transitive closures, Segmentation trees, Maximum weight cliques, Association graphs
42	Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin	Constructing Iceberg Lattices from Frequent Closures Using Generators.	Discovery Science	2008	DBLP DOI BibTeX RDF
42	Cory D. Hauck, C. David Levermore, André L. Tits	Convex duality and entropy-based moment closures: Characterizing degenerate densities.	CDC	2008	DBLP DOI BibTeX RDF
42	Rémy Haemmerlé, François Fages, Sylvain Soliman	Closures and Modules Within Linear Logic Concurrent Constraint Programming.	FSTTCS	2007	DBLP DOI BibTeX RDF
42	Miki Hermann	Chain Properties of Rule Closures.	STACS	1989	DBLP DOI BibTeX RDF
36	Susan M. Mniszewski, Sara Y. Del Valle, Phillip D. Stroud, Jane M. Riese, Stephen J. Sydoriak	EpiSimS simulation of a multi-component strategy for pandemic influenza.	SpringSim	2008	DBLP DOI BibTeX RDF	pandemic modeling, discrete event simulation, agent-based system
36	Sven Kosub	Boolean NP-Partitions and Projective Closure.	DMTCS	2003	DBLP DOI BibTeX RDF
36	John Field	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.	POPL	1990	DBLP DOI BibTeX RDF
36	Benjamin Goldberg, Young Gil Park	Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations.	ESOP	1990	DBLP DOI BibTeX RDF
35	Guilong Liu	Closures and topological closures in quasi-discrete closure spaces.	Appl. Math. Lett.	2010	DBLP DOI BibTeX RDF
35	Jinyan Li 0001, Qian Liu, Tao Zeng	Negative correlations in collaboration: concepts and algorithms.	KDD	2010	DBLP DOI BibTeX RDF	collaborating negative correlations, transpose closures from a bipartite graph database
35	Jaakko Järvi, John Freeman	Lambda functions for C++0x.	SAC	2008	DBLP DOI BibTeX RDF	lambda functions, C++, closures, STL
35	Malgorzata Biernacka, Olivier Danvy	A concrete framework for environment machines.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	closures, derivation, Abstract machines, explicit substitutions
35	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
35	David R. Musser, Arturo J. Sánchez-Ruíz	Theory and Generality of Complete Traversals.	Generic Programming	1998	DBLP DOI BibTeX RDF	Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
35	Phan Hong Giang	Representation of Uncertain Belief Using Interval Probability.	ISMVL	1997	DBLP DOI BibTeX RDF	uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set
30	Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001	MIR closures of polyhedral sets.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematical Subject Classification (2000) 90C10, 90C57, 90C11
30	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
30	Yangjun Chen	A new algorithm for computing transitive closures.	SAC	2004	DBLP DOI BibTeX RDF	DAGs, transitive closure, branching, topological order
30	Yangjun Chen	A New Algorithm for Transitive Closures and Computation of Recursion in relational Databases.	IV	2003	DBLP DOI BibTeX RDF
30	Volker Turau, Weimin Chen 0003	GLB-Closures in Directed Acyclic Graphs and Their Applications.	WG	1994	DBLP DOI BibTeX RDF
30	Detlef Wotschke	A characterization of boolean closures of families of languages.	Automatentheorie und Formale Sprachen	1973	DBLP DOI BibTeX RDF
30	Detlef Wotschke	The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languages.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
24	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
24	Paulo Moura	Secure Implementation of Meta-predicates.	PADL	2009	DBLP DOI BibTeX RDF	meta-predicates, security, Logic-programming
24	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
24	Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas	The Trusted Execution Module: Commodity General-Purpose Trusted Computing.	CARDIS	2008	DBLP DOI BibTeX RDF
24	Shaohong Zhang, Hau-San Wong	Partial closure-based constrained clustering with order ranking.	ICPR	2008	DBLP DOI BibTeX RDF
24	Karl Schnell	Estimation of Glottal Closure Instances from Speech Signals by Weighted Nonlinear Prediction.	NOLISP	2007	DBLP DOI BibTeX RDF	nonlinear prediction, GCI detection, speech analysis
24	Tarek Hamrouni, Petko Valtchev, Sadok Ben Yahia, Engelbert Mephu Nguifo	About the Lossless Reduction of the Minimal Generator Family of a Context.	ICFCA	2007	DBLP DOI BibTeX RDF
24	Rémy Haemmerlé, François Fages	Modules for Prolog Revisited.	ICLP	2006	DBLP DOI BibTeX RDF
24	Tomasz Jurdzinski	The Boolean Closure of Growing Context-Sensitive Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
24	Roman Leshchinskiy, Manuel M. T. Chakravarty, Gabriele Keller	Higher Order Flattening.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
24	Feng Peng, Sudarshan S. Chawathe	XSQ: A streaming XPath engine.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	XPath, streaming processing
24	Kamal Nehmé, Petko Valtchev, Mohamed Rouane Hacene, Robert Godin	On Computing the Minimal Generator Family for Concept Lattices and Icebergs.	ICFCA	2005	DBLP DOI BibTeX RDF
24	Hong Qi, Dayou Liu, Chengquan Hu, Ming Lu, Liang Zhao	A Parallel Algorithm Based on Search Space Partition for Generating Concepts.	ICPADS	2004	DBLP DOI BibTeX RDF
24	Eelco Dolstra, Eelco Visser, Merijn de Jonge	Imposing a Memory Management Discipline on Software Deployment.	ICSE	2004	DBLP DOI BibTeX RDF
24	Alberto de la Encina, Ricardo Pena	Formally deriving an STG machine.	PPDP	2003	DBLP DOI BibTeX RDF	functional programming, operational semantics, abstract machines, compiler verification
24	Gheorghe Paun, Gabriel Thierrin	Multiset Processing by Means of Systems of Finite State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
24	Thomas Kühne 0001	Internal Iteration Externalized.	ECOOP	1999	DBLP DOI BibTeX RDF
24	Zhong Shao, Andrew W. Appel	Space-Efficient Closure Representations.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Standard ML
23	Ladislav J. Kohout	Boolean and Fuzzy Relations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications
23	Barak A. Pearlmutter, Jeffrey Mark Siskind	Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	forward-mode AD, higher-order AD, higher-order functional languages, program transformation, reflection, Closures, derivatives, Jacobian
23	Claus Möbus, Heiko Seebold, Hilke Garbe	A greedy knowledge acquisition method for the rapid prototyping of knowledge structures.	K-CAP	2005	DBLP DOI BibTeX RDF	hasse diagrams and concept lattices, interactive greedy acquisition of precedence relations and knowledge structures, interactive greedy construction of transitive closures, knowledge acquisition
23	Lawrence A. Crowl, Thomas J. LeBlanc	Parallel Programming with Control Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	architectural adaptability, control abstraction, early reply, multiprocessors, performance tuning, data abstraction, closures, parallel programming languages
18	Xinyue Xu, Ke Zhang, Ziyue Mi, Xueqin Wang	Short-term passenger flow prediction during station closures in subway systems.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
18	Ilia Ponomarenko, Andrey Vasil'ev	On computing the closures of solvable permutation groups.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
18	Christian Kuehn 0001, Jan Mölter	Preserving Bifurcations through Moment Closures.	SIAM J. Appl. Dyn. Syst.	2024	DBLP DOI BibTeX RDF
18	Shuai Wang 0009, Jiazhong Zhang, Xiaojun Tan	PDLC-LIO: A Precise and Direct SLAM System Toward Large-Scale Environments With Loop Closures.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
18	Prasad Chaugule, Nutan Limaye	On the closures of monotone algebraic classes and variants of the determinant.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
18	Andres Molares-Ulloa, Enrique Fernández-Blanco, Alejandro Pazos, Daniel Rivero 0001	Machine Learning in management of precautionary closures caused by lipophilic biotoxins.	CoRR	2024	DBLP DOI BibTeX RDF
18	Naoyuki Kamiyama	The Strongly Stable Matching Problem with Closures.	CoRR	2024	DBLP DOI BibTeX RDF
18	Andrew J. Christlieb, Mingchang Ding, Juntao Huang, Nicholas A. Krupansky	Hyperbolic Machine Learning Moment Closures for the BGK Equations.	CoRR	2024	DBLP DOI BibTeX RDF
18	Fernando de Terán, Froilán M. Dopico, Vadym Koval, Patryk Pagacz	On bundle closures of matrix pencils and matrix polynomials.	CoRR	2024	DBLP DOI BibTeX RDF
18	Lorenzo Liso, Erik Sandström, Vladimir Yugay, Luc Van Gool, Martin R. Oswald	Loopy-SLAM: Dense Neural SLAM with Loop Closures.	CoRR	2024	DBLP DOI BibTeX RDF
18	Roberto G. Aragón, Jesús Medina 0001, Eloísa Ramírez-Poussa	Factorizing formal contexts from closures of necessity operators.	Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
18	Saran Khaliq, Muhammad Latif Anjum, Wajahat Hussain, Muhammad Uzair Khattak, Momen Rasool	Why ORB-SLAM is missing commonly occurring loop closures?	Auton. Robots	2023	DBLP DOI BibTeX RDF
18	Narjes Shojaati, Nathaniel D. Osgood	An Agent-Based Social Impact Theory Model to Study the Impact of In-Person School Closures on Nonmedical Prescription Opioid Use among Youth.	Syst.	2023	DBLP DOI BibTeX RDF
18	Zhihan Jiang, Lin Lin 0012, Xinchen Zhang, Jianduo Luan, Running Zhao, Longbiao Chen, James Lam, Ka-Man Yip, Hung-Kwan So, Wilfred H. S. Wong, Patrick Ip, Edith C. H. Ngai	A Data-Driven Context-Aware Health Inference System for Children during School Closures.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2023	DBLP DOI BibTeX RDF
18	Tomas Martin, Petko Valtchev, Louis-Romain Roux	Mining frequent generators and closures in data streams with FGC-Stream.	Knowl. Inf. Syst.	2023	DBLP DOI BibTeX RDF
18	Amro Al-Baali, Thomas Hitchcox, James Richard Forbes	Combining DVL-INS and Laser-Based Loop Closures in a Batch Estimation Framework for Underwater Positioning.	CoRR	2023	DBLP DOI BibTeX RDF
18	Tyler E. Maltba, Hongli Zhao, Daniel Adrian Maldonado	Data-driven Closures & Assimilation for Stiff Multiscale Random Dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ashwani Anand, Georg Zetzsche	Priority Downward Closures.	CoRR	2023	DBLP DOI BibTeX RDF
18	Karan Jakhar, Yifei Guan, Rambod Mojgani, Ashesh Chattopadhyay, Pedram Hassanzadeh, Laura Zanna	Learning Closed-form Equations for Subgrid-scale Closures from High-fidelity Data: Promises and Challenges.	CoRR	2023	DBLP DOI BibTeX RDF
18	Justin A. Sirignano, Jonathan F. MacArt	Dynamic Deep Learning LES Closures: Online Optimization With Embedded DNS.	CoRR	2023	DBLP DOI BibTeX RDF
18	Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam 0001	Orbit closures, stabilizer limits and intermediate G-varieties.	CoRR	2023	DBLP DOI BibTeX RDF
18	Luiz F. Afra Brito, Marcelo Keese Albertini, Bruno A. N. Travençolo	A Dynamic Data Structure for Representing Timed Transitive Closures on Disk.	CoRR	2023	DBLP DOI BibTeX RDF
18	Michael R. A. Abdelmalik, Zhenning Cai, Teddy Pichard	Some extensions of the φ-divergence moment closures for the radiative transfer equation.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ellis R. Crabtree, Juan M. Bello-Rivas, Andrew L. Ferguson, Ioannis G. Kevrekidis	GANs and Closures: Micro-Macro Consistency in Multiscale Modeling.	Multiscale Model. Simul.	2023	DBLP DOI BibTeX RDF
18	Juntao Huang, Yingda Cheng, Andrew J. Christlieb, Luke F. Roberts, Wen-An Yong	Machine Learning Moment Closure Models for the Radiative Transfer Equation II: Enforcing Global Hyperbolicity in Gradient-Based Closures.	Multiscale Model. Simul.	2023	DBLP DOI BibTeX RDF
18	Tim Fütterer, Emely Hoch, Andreas Lachner, Katharina Scheiter, Kathleen Stürmer	High-quality digital distance teaching during COVID-19 school closures: Does familiarity with technology matter?	Comput. Educ.	2023	DBLP DOI BibTeX RDF
18	Weiying Wang, Anne Kemmeren, Daniel Son, Javier Alonso-Mora, Stephanie Gil	Wi-Closure: Reliable and Efficient Search of Inter-robot Loop Closures Using Wireless Sensing.	ICRA	2023	DBLP DOI BibTeX RDF
18	Shin-ya Nishizaki	Transplanting of Environments between Closures in the lambda calculus.	ICSCA	2023	DBLP DOI BibTeX RDF
18	Shiyu Bai, Weisong Wen, Li-Ta Hsu, Yue Yu	Factor Graph Optimization-based Indoor Pedestrian SLAM with Probabilistic Exact Activity Loop Closures using Smartphone.	IPIN	2023	DBLP DOI BibTeX RDF
18	Ashwani Anand, Georg Zetzsche	Priority Downward Closures.	CONCUR	2023	DBLP DOI BibTeX RDF
18	Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino	Generators and Bases for Monadic Closures.	CALCO	2023	DBLP DOI BibTeX RDF
18	John R. Birge, Ozan Candogan, Yiding Feng	Controlling Epidemic Spread: Reducing Economic Losses with Targeted Closures.	Manag. Sci.	2022	DBLP DOI BibTeX RDF
18	David Barozzini, Lorenzo Clemente, Thomas Colcombet, Pawel Parys	Cost Automata, Safe Schemes, and Downward Closures.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
18	Andres Molares-Ulloa, Enrique Fernández-Blanco, Alejandro Pazos, Daniel Rivero 0001	Machine learning in management of precautionary closures caused by lipophilic biotoxins.	Comput. Electron. Agric.	2022	DBLP DOI BibTeX RDF
18	Lifei Huang	Demonstration of Structural Topic Modeling on Charter School Closures in 2019: Quantitative Text Analysis With Machine Learning.	Int. J. Inf. Syst. Soc. Chang.	2022	DBLP DOI BibTeX RDF
18	Christoph Schwarzweller	Artin's Theorem Towards the Existence of Algebraic Closures.	Formaliz. Math.	2022	DBLP DOI BibTeX RDF
18	Christoph Schwarzweller	Existence and Uniqueness of Algebraic Closures.	Formaliz. Math.	2022	DBLP DOI BibTeX RDF
18	Mrunal Dhaygude, Naitik D. Lapsiya, Dipanjan Chakraborty 0002	There is No App for That: Manifestations of the Digital Divides During COVID-19 School Closures in India.	Proc. ACM Hum. Comput. Interact.	2022	DBLP DOI BibTeX RDF
18	Sarra Chenouf, Mathieu Merzereaud, Pascal Raux, José Antonio Pérez Agúndez	Dataset for Estimated Closures of Scallop (Pecten maximus) Production Areas Due to Phycotoxin Contamination along the French Coasts of the Eastern English Channel.	Data	2022	DBLP DOI BibTeX RDF
18	Hussein Osman, Nevin M. Darwish, AbdElMoniem Bayoumi	LoopNet: Where to Focus? Detecting Loop Closures in Dynamic Scenes.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
18	Robert Hildebrand, Matthias Köppe, Yuan Zhou 0002	Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VII. Inverse Semigroup Theory, Closures, Decomposition of Perturbations.	Open J. Math. Optim.	2022	DBLP DOI BibTeX RDF
18	Svetlana Puzynina, Markus A. Whiteland	Abelian closures of infinite binary words.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
18	Qinshuang Wei, Gustav Nilsson, Samuel Coogan 0001	Safe Schedule Verification for Urban Air Mobility Networks with Node Closures.	CoRR	2022	DBLP DOI BibTeX RDF