Search results for "Closures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Marc Gyssens, Dan Suciu, Dirk Van Gucht	The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent.	DBPL	1995	DBLP BibTeX RDF
18	James P. Delgrande	Syntactic Conditional Closures for Defeasible Reasoning.	IJCAI	1995	DBLP BibTeX RDF
18	Hajo Broersma, Ingo Schiermeyer	Subgraphs, Closures and Hamiltonicity.	Discret. Appl. Math.	1994	DBLP DOI BibTeX RDF
18	Jean-Pierre Cheiney, Yan-Nong Huang	Efficient Maintenance of Explicit Transitive Closures with Set-Oriented Update Propagation and Parallel Processing.	Data Knowl. Eng.	1994	DBLP DOI BibTeX RDF
18	Dominic Duggan	Logical Closures.	LPAR	1994	DBLP DOI BibTeX RDF
18	Masahiro Shioya	Weakly Normal Closures of Filters on Pkappalambda.	J. Symb. Log.	1993	DBLP DOI BibTeX RDF
18	Leonid Libkin	Direct product decompositions of lattices, closures and relation schemes.	Discret. Math.	1993	DBLP DOI BibTeX RDF
18	Haitze J. Broersma	A note on K4-closures in hamiltonian graph theory.	Discret. Math.	1993	DBLP DOI BibTeX RDF
18	Ismail H. Toroslu, Ghassan Z. Qadah	The Efficient Computation of Strong Partial Transitive-Closures.	ICDE	1993	DBLP DOI BibTeX RDF
18	Xubo Zhang	Overlap Closures do not Suffice for Termination of General Term Rewriting Systems.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
18	Kosaburo Hashiguchi	Recognizable Closures and Submonoids of Free Partially Commutative Monoids.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
18	Yan-Nong Huang, Jean-Pierre Cheiney	Parallel Computation of Direct Transitive Closures.	ICDE	1991	DBLP DOI BibTeX RDF
18	Chandon Chitale, John Sieg Jr.	Caching transitive closures.	ACM Conference on Computer Science	1991	DBLP DOI BibTeX RDF
18	Johann Eder	General Transitive Closures and Aggregate Functions.	DEXA	1991	DBLP BibTeX RDF
18	Bhavani Thuraisingham	Computing Transitive Closures of Multilevel Relations.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
18	William J. Cook, Ravi Kannan, Alexander Schrijver	Chvátal Closures for mixed Integer Programming Problems.	Math. Program.	1990	DBLP DOI BibTeX RDF
18	Miki Hermann	Chain Properties of Rule Closures.	Formal Aspects Comput.	1990	DBLP DOI BibTeX RDF
18	Bin Jiang	A Suitable Algorithm for Computing Partial Transitive Closures in Databases.	ICDE	1990	DBLP DOI BibTeX RDF
18	Pintsang Chang	Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach.	COMPSAC	1990	DBLP DOI BibTeX RDF
18	Samir Khuller	On Computing Graph Closures.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
18	Richard J. Lipton, Jeffrey F. Naughton	Estimating the Size of Generalized Transitive Closures.	VLDB	1989	DBLP BibTeX RDF
18	Uday S. Reddy	Objects as Closures: Abstract Semantics of Object-Oriented Languages.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
18	Paul H. Morris	Autoepistemic Stable Closures and Contradiction Resolution.	NMR	1988	DBLP DOI BibTeX RDF
18	Paul Morris	Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning.	AAAI	1988	DBLP BibTeX RDF
18	Thomas M. Breuel	Lexical Closures for C++.	C++ Conference	1988	DBLP BibTeX RDF
18	Russell Impagliazzo, Moni Naor	Decision trees and downward closures.	SCT	1988	DBLP DOI BibTeX RDF
18	Klaus W. Wagner	More Complicated Questions About Maxima and Minima, and Some Closures of NP.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
18	Marc Feeley, Guy Lapalme	Using Closures for Code Generation.	Comput. Lang.	1987	DBLP DOI BibTeX RDF
18	Johannes A. La Poutré, Jan van Leeuwen	Maintenance of Transitive Closures and Transitive Reductions of Graphs.	WG	1987	DBLP DOI BibTeX RDF
18	Ajay K. Rathi, Zoltan A. Nemeth	A simulation model of freeway lane closures.	Simul.	1986	DBLP DOI BibTeX RDF
18	H. J. C. Spencer	Secure Splice Closures for Optical Fiber Systems.	IEEE J. Sel. Areas Commun.	1986	DBLP DOI BibTeX RDF
18	James C. Bezdek, Gautam Biswas, Li-ya Huang	Transitive Closures of Fuzzy Thesauri for Information-Retrieval Systems.	Int. J. Man Mach. Stud.	1986	DBLP DOI BibTeX RDF
18	Klaus W. Wagner	More Complicated Questions About Maxima and Minima, and Some Closures of NP.	ICALP	1986	DBLP DOI BibTeX RDF
18	Domenico Saccà	Closures of Database Hypergraphs	J. ACM	1985	DBLP DOI BibTeX RDF
18	Jean-Louis Lassez, Michael J. Maher	Closures and Fairness in the Semantics of Programming Logic.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
18	R. Dabh	The computation of closures of dependencies in relational database schemata design.		1984	RDF
18	Toshihide Ibaraki, Naoki Katoh	On-Line Computation of Transitive Closures of Graphs.	Inf. Process. Lett.	1983	DBLP DOI BibTeX RDF
18	F. Nourani	Forcing with Universal Sentences and Genericity of Inductive Closures.	ADT	1983	DBLP BibTeX RDF
18	John V. Guttag, Deepak Kapur, David R. Musser	Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.	ICALP	1982	DBLP DOI BibTeX RDF
18	Ronald V. Book, Maurice Nivat	Linear Languages and the Intersection Closures of Classes of Languages.	SIAM J. Comput.	1978	DBLP DOI BibTeX RDF
18	Luis E. Sanchis	Data Types as Lattices: Retractions, Closures and Projections.	RAIRO Theor. Informatics Appl.	1977	DBLP DOI BibTeX RDF
18	Peter A. Bloniarz, Michael J. Fischer, Albert R. Meyer	A Note on the Average Time to Compute Transitive Closures.	ICALP	1976	DBLP BibTeX RDF
18	Robert M. Keller	Parallel Program Schemata and Maximal Parallelism II: Construction of Closures.	J. ACM	1973	DBLP DOI BibTeX RDF
18	Ronald L. Graham, Donald E. Knuth, Theodore S. Motzkin	Complements and transitive closures.	Discret. Math.	1972	DBLP DOI BibTeX RDF
18	Gene F. Rose	Closures which Preserve Finiteness in Families of Languages.	J. Comput. Syst. Sci.	1968	DBLP DOI BibTeX RDF
18	Harry J. Gray Jr.	Propagation of Truncation Errors in the Numerical Solution of Ordinary Differential Equations by Repeated Closures	J. ACM	1955	DBLP DOI BibTeX RDF
12	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
12	Gunther Schmidt 0001, Rudolf Berghammer	Contact Relations with Applications.	RelMiCS	2009	DBLP DOI BibTeX RDF
12	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
12	Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari 0001	Non-linear Rewrite Closure and Weak Normalization.	LICS	2009	DBLP DOI BibTeX RDF
12	Malgorzata Biernacka, Olivier Danvy	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Martin Korp, Aart Middeldorp	Beyond Dependency Graphs.	CADE	2009	DBLP DOI BibTeX RDF
12	Marius Bozga, Codruta Gîrlea, Radu Iosif	Iterating Octagons.	TACAS	2009	DBLP DOI BibTeX RDF
12	Christos Dimoulas, Mitchell Wand	The Higher-Order Aggregate Update Problem.	VMCAI	2009	DBLP DOI BibTeX RDF
12	Bin Fu, Angsheng Li, Liyu Zhang	Separating NE from Some Nonuniform Nondeterministic Complexity Classes.	COCOON	2009	DBLP DOI BibTeX RDF
12	Kurt Konolige, Motilal Agrawal	FrameSLAM: From Bundle Adjustment to Real-Time Visual Mapping.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Bastian Steder, Giorgio Grisetti, Cyrill Stachniss, Wolfram Burgard	Visual SLAM for Flying Vehicles.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Pedro Pinies, Juan D. Tardós	Large-Scale SLAM Building Conditionally Independent Local Maps: Application to Monocular Vision.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
12	Rumen D. Dimitrov	A class of S30{Sigmas30} modular lattices embeddable as principal filters in L*(VJPY)L^{\ast}(Vinfinity).	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D25, 06C05, 03C57
12	Randall E. Duran	Probabilistic Sales Forecasting for Small and Medium-Size Business Operations.	Soft Computing Applications in Business	2008	DBLP DOI BibTeX RDF
12	Jevgeni Kabanov, Rein Raudjärv	Embedded typesafe domain specific languages for Java.	PPPJ	2008	DBLP DOI BibTeX RDF
12	Olivier Danvy, Jacob Johannsen	Inter-deriving Semantic Artifacts for Object-Oriented Programming.	WoLLIC	2008	DBLP DOI BibTeX RDF
12	Anthony Widjaja To, Leonid Libkin	Recurrent Reachability Analysis in Regular Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
12	Brian Patrick Williams, Mark Cummins, José Neira, Paul M. Newman, Ian D. Reid 0001, Juan D. Tardós	An image-to-map loop closing method for monocular SLAM.	IROS	2008	DBLP DOI BibTeX RDF
12	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Verifying a Semantic beta-eta-Conversion Test for Martin-Löf Type Theory.	MPC	2008	DBLP DOI BibTeX RDF
12	Dali Sun, Alexander Kleiner, Thomas M. Wendt	Multi-robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue.	RoboCup	2008	DBLP DOI BibTeX RDF
12	Roberto Giacobazzi, Isabella Mastroeni	Transforming Abstract Interpretations by Abstract Interpretation.	SAS	2008	DBLP DOI BibTeX RDF
12	Supreeth Achar, C. V. Jawahar	Adaptation and Learning for Image Based Navigation.	ICVGIP	2008	DBLP DOI BibTeX RDF
12	Alva L. Couch, Marc Chiarini	A Theory of Closure Operators. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF
12	Gianpiero Cattaneo, Davide Ciucci	A Hierarchical Lattice Closure Approach to Abstract Rough Approximation Spaces.	RSKT	2008	DBLP DOI BibTeX RDF
12	Xiangfu Zhao, Dantong Ouyang	On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach.	RAM	2008	DBLP DOI BibTeX RDF
12	Shilong Ma, Yuefei Sui, Ke Xu 0001	Well limit behaviors of term rewriting systems.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Gröbner bases, well-foundedness, term rewriting systems, limits
12	Li Deng 0001, Leo J. Lee, Hagai Attias, Alex Acero	Adaptive Kalman Filtering and Smoothing for Tracking Vocal Tract Resonances Using a Continuous-Valued Hidden Dynamic Model.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
12	Kurt Konolige, Motilal Agrawal	Frame-Frame Matching for Realtime Consistent Visual Mapping.	ICRA	2007	DBLP DOI BibTeX RDF
12	Lipyeow Lim, Haixun Wang, Min Wang 0001	Semantic Data Management: Towards Querying Data with their Meaning.	ICDE	2007	DBLP DOI BibTeX RDF
12	Kenneth A. Ross, Peter J. Stuckey, Amélie Marian	Practical Preference Relations for Large Data Sets.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
12	Anthony Cowley, Camillo J. Taylor	Orchestrating concurrency in robot swarms.	IROS	2007	DBLP DOI BibTeX RDF
12	Yangjun Chen	Decomposing DAGs into Disjoint Chains.	DEXA	2007	DBLP DOI BibTeX RDF
12	John G. P. Barnes	SP1: introducing the best of ada 2005.	SIGAda	2007	DBLP DOI BibTeX RDF
12	Henrik Björklund, Wim Martens, Thomas Schwentick	Conjunctive Query Containment over Trees.	DBPL	2007	DBLP DOI BibTeX RDF
12	Claudio Lucchese, Salvatore Orlando 0001, Raffaele Perego 0001	Fast and Memory Efficient Mining of Frequent Closed Itemsets.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	high-performance algorithms, Data mining, association rules, frequent itemsets, condensed representations, closed itemsets
12	Rallou Thomopoulos, Patrice Buche, Ollivier Haemmerlé	Fuzzy Sets Defined on a Hierarchical Domain.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	fuzzy” and probabilistic reasoning, uncertainty, Fuzzy set, relaxation, knowledge retrieval, object hierarchies
12	Philippe Cudré-Mauroux, Karl Aberer, Andras Feher	Probabilistic Message Passing in Peer Data Management Systems.	ICDE	2006	DBLP DOI BibTeX RDF
12	Vineet Kahlon, Aarti Gupta	An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.	LICS	2006	DBLP DOI BibTeX RDF
12	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
12	Martin Kutrib, Andreas Malcher	Context-Dependent Nondeterminism for Pushdown Automata.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
12	Shin-ya Katsumata, Susumu Nishimura	Algebraic fusion of functions with an accumulating parameter and its improvement.	ICFP	2006	DBLP DOI BibTeX RDF	accumulating parameter, data contexts, higher-order removal, monoids and monoid homomorphisms, partial and infinite data structures, shortcut fusion
12	Matthias Blume, Umut A. Acar, Wonseok Chae	Extensible programming with first-class cases.	ICFP	2006	DBLP DOI BibTeX RDF	first-class cases, duality, records, sums
12	Mana Taghdiri, Robert Seater, Daniel Jackson 0001	Lightweight extraction of syntactic specifications.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	modular abstraction, symbolic summary, syntactic specification, symbolic execution
12	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
12	Laurent Michel, Andrew See, Pascal Van Hentenryck	Distributed Constraint-Based Local Search.	CP	2006	DBLP DOI BibTeX RDF
12	Julien d'Orso, Tayssir Touili	Regular Hedge Model Checking.	IFIP TCS	2006	DBLP DOI BibTeX RDF
12	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
12	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood
12	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Optimising aspectJ.	PLDI	2005	DBLP DOI BibTeX RDF	around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ
12	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
12	Dietmar Berwanger, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	STACS	2005	DBLP DOI BibTeX RDF
12	N. Edenborough, Riad I. Hammoud, A. Harbach, A. Ingold, Branislav Kisacanin, Phillip Malawey, T. Newman, G. Scharenbroch, S. Skiver, Matthew R. H. Smith, Andrew Wilhelm, Gerald J. Witt, E. Yoder, Harry Zhang	Driver State Monitor from DELPHI.	CVPR (2)	2005	DBLP DOI BibTeX RDF
12	Tomasz Pieciukiewicz, Krzysztof Stencel, Kazimierz Subieta	Usable Recursive Queries.	ADBIS	2005	DBLP DOI BibTeX RDF
12	Matthew Collinson, David J. Pym, Edmund Robinson	On Bunched Polymorphism.	CSL	2005	DBLP DOI BibTeX RDF