Search results for "k-completions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	C. Murray Woodside, Dorin Bogdan Petriu, Khalid H. Siddiqui	Performance-related completions for software specifications.	ICSE	2002	DBLP DOI BibTeX RDF
87	Stefan Brass	Beginnings of a Theory of General Database Completions.	ICDT	1990	DBLP DOI BibTeX RDF
68	Fritz Henglein, Jesper Jørgensen	Formally Optimal Boxing.	POPL	1994	DBLP DOI BibTeX RDF	representation analysis, polymorphism, type inference
67	Marcus Tressl	Pseudo completions and completions in stages of o-minimal structures.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C64, Primary 12J10, Primary 12J15, Secondary 13B35
60	Majid Alizadeh	Completions of Basic Algebras.	WoLLIC	2009	DBLP DOI BibTeX RDF	Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
60	Pinar Heggernes, Charis Papadopoulos	Single-Edge Monotonic Sequences of Graphs and Linear-Time Algorithms for Minimal Completions and Deletions.	COCOON	2007	DBLP DOI BibTeX RDF
60	Pinar Heggernes, Federico Mancini 0001	Minimal Split Completions of Graphs.	LATIN	2006	DBLP DOI BibTeX RDF
60	Marcel Erné	Ideal Completions and Compactifications.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Cauchy filter, compactification, (quasi-)uniform space, (ordered) topological space, (strongly) sober, totally (order-) separated, completion, core, ideal
58	Yichuan Ding, Nathan Krislock, Jiawei Qian, Henry Wolkowicz	Sensor network localization, euclidean distance matrix completions, and graph realization.	MELT	2008	DBLP DOI BibTeX RDF	euclidean distance matrix completions, graph realization, semidefinite programming, anchors, sensor network localization
49	Christopher Ochs, Tian Tian 0002, James Geller, Soon Ae Chun	Google Knows Who is Famous Today - Building an Ontology from Search Engine Knowledge and DBpedia.	ICSC	2011	DBLP DOI BibTeX RDF	ontology extraction from Web, DBpedia, suggested completions, mining suggested completions, homonyms, disambiguating Web searches, ontology
47	Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger	Characterizing Minimal Interval Completions.	STACS	2007	DBLP DOI BibTeX RDF
41	Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola	Closing the Gap between the Stable Semantics and Extensions of WFS.	MICAI	2004	DBLP DOI BibTeX RDF	Stable semantics, FOUR, Modal logics, WFS
41	Fritz Henglein	Dynamic Typing.	ESOP	1992	DBLP DOI BibTeX RDF
40	Caroline Brosse	Efficient enumeration algorithms for minimal graph completions and deletions. (Algorithmes d'énumération efficaces pour les complétions et délétions minimales de graphes).		2023	RDF
40	Li-Gang Wu, Lei Fan	Directed Completions and DM-Completions on R-\mathcal {R}-Posets.	ACFIE	2008	DBLP DOI BibTeX RDF
40	Karol Suchan	Complétions d'intervalles minimales. (Minimal interval completions).		2006	RDF
38	Silvio Ghilardi	Model-Theoretic Methods in Combined Constraint Satisfiability.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination
38	Horst Herrlich	CompactT0-spaces andT0-compactifications.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Extension closed and nearly closed subspaces ofT 0-spaces, compact spaces, compactifications, k-complete spaces, k-completions, Wallman compactifications, ech-Stone compactifications, extensions of mappings, C*-embeddings, E-compactifications, almost reflective and implicational subcategories ofTop
33	Guram Bezhanishvili, Jacob Vosmaer	Comparison of MacNeille, Canonical, and Profinite Completions.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 06D20, 06D50
33	Daniel Lokshtanov, Federico Mancini 0001, Charis Papadopoulos	Characterizing and Computing Minimal Cograph Completions.	FAW	2008	DBLP DOI BibTeX RDF
33	Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi	Profinite Completions and Canonical Extensions of Heyting Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55
27	Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001	Human interaction for high-quality machine translation.	Commun. ACM	2009	DBLP DOI BibTeX RDF
27	Serge Abiteboul, Ohad Greenshpan, Tova Milo, Neoklis Polyzotis	MatchUp: Autocompletion for Mashups.	ICDE	2009	DBLP DOI BibTeX RDF
27	Pinar Heggernes, Federico Mancini 0001, Charis Papadopoulos, R. Sritharan	Strongly Chordal and Chordal Bipartite Graphs Are Sandwich Monotone.	COCOON	2009	DBLP DOI BibTeX RDF
27	Max Horn	On the Phan system of the Schur cover of SU(4, 32).	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classifications 20G40, 20E42, 51E24, 57M07
27	David Koop, Carlos Eduardo Scheidegger, Steven P. Callahan, Juliana Freire, Cláudio T. Silva	VisComplete: Automating Suggestions for Visualization Pipelines.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
27	Hannah Bast, Ingmar Weber	Type less, find more: fast autocompletion search with a succinct index.	SIGIR	2006	DBLP DOI BibTeX RDF	empirical entropy, index data structure, autocompletion
27	Ian Wehrman, Aaron Stump, Edwin M. Westbrook	Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.	RTA	2006	DBLP DOI BibTeX RDF
27	Nelly Litvak, Uri Yechiali	Routing in Queues with Delayed Information.	Queueing Syst. Theory Appl.	2003	DBLP DOI BibTeX RDF	delayed information, multiple-server queues, routing, decomposition, vacation models
27	Philippe Langlais, George F. Foster, Guy Lapalme	Unit Completion for a Computer-aided Translation Typing System.	Mach. Transl.	2000	DBLP DOI BibTeX RDF	interactive machine translation, machine-aided human translation, target-text mediation, statistical language models, word completion, statistical translation models
27	Béatrice Duval	Abduction and Induction for Explanation-Based Learning.	EWSL	1991	DBLP DOI BibTeX RDF	Analogy, Abduction, Explanation-Based Learning
27	Aïda Batarekh, V. S. Subrahmanian	The Query Topology in Logic Programming.	STACS	1989	DBLP DOI BibTeX RDF
24	Ziv Bar-Yossef, Maxim Gurevich	Estimating the impressionrank of web pages.	WWW	2009	DBLP DOI BibTeX RDF	impressionrank, popular keyword extraction, data mining, search engines, estimation, auto-completions, suggestions
24	Steffen Becker 0001	Coupled model transformations.	WOSP	2008	DBLP DOI BibTeX RDF	mda, platform completions, performance prediction, model-driven software development
24	Dan Noje, Barnabás Bede	Vectorial MV-algebras.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Approximation by polynomials, Completions, MV-algebras, Complete lattices
24	J. Minkler, G. Minkler, Giles Richardson	Subcategories of Filter Tower Spaces.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	filter tower spaces, convergence approach spaces, T-regular sequences, completions, t-norm
24	Gerhard Preuß	Completion of Semiuniform Convergence Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	semiuniform convergence spaces, filter spaces, uniform convergence spaces (= uniform limit spaces), universal constructions, completions
24	SungSa Hong, YoungKyoung Kim	Cauchy Complete Nearness Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	nearness spaces, regular Cauchy filters, Cauchy complete nearness spaces, Cauchy completions of nearness spaces, Cauchy maps
24	Catholijn M. Jonker	Proof-theory for Extensions of Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF	Rule-based calculus, program completions, negations
20	László Csató, Kolos Csaba Ágoston, Sándor Bozóki	On the coincidence of optimal completions for small pairwise comparison matrices with missing entries.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
20	Carlo Klapproth, Dixy Msapato, Amit Shah	Idempotent Completions of n-Exangulated Categories.	Appl. Categorical Struct.	2024	DBLP DOI BibTeX RDF
20	Anjie Liu, Jinglang W. Sun, Anh Ngo, Ademide O. Mabadeje, Jose L. Hernandez-Mejia	Machine Learning-Based Completions Sequencing for Well Performance Optimization.	CoRR	2024	DBLP DOI BibTeX RDF
20	Francesco Dagnino, Fabio Pasquali	Cauchy-completions and the rule of unique choice in relational doctrines.	CoRR	2024	DBLP DOI BibTeX RDF
20	George Metcalfe, Luca Reggio	Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
20	Jing Lu, Bin Zhao	Local Yoneda completions of quasi-metric spaces.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Klemens Fritzsche, Klaus Röbenack	Unimodular Completions and Orthogonal Complements of Matrices over Univariate Ore Extensions.	SIAM J. Matrix Anal. Appl.	2023	DBLP DOI BibTeX RDF
20	Sebastiaan A. Terwijn	The complexity of completions in partial combinatory algebra.	CoRR	2023	DBLP DOI BibTeX RDF
20	Sebastiaan A. Terwijn	Completions of Kleene's second model.	CoRR	2023	DBLP DOI BibTeX RDF
20	Rafaël Bocquet	Strict Rezk completions of models of HoTT and homotopy canonicity.	CoRR	2023	DBLP DOI BibTeX RDF
20	Helena Vasconcelos, Gagan Bansal, Adam Fourney, Q. Vera Liao, Jennifer Wortman Vaughan	Generation Probabilities Are Not Enough: Exploring the Effectiveness of Uncertainty Highlighting in AI-Powered Code Completions.	CoRR	2023	DBLP DOI BibTeX RDF
20	Varun Nair, Elliot Schumacher, Geoffrey J. Tso, Anitha Kannan	DERA: Enhancing Large Language Model Completions with Dialog-Enabled Resolving Agents.	CoRR	2023	DBLP DOI BibTeX RDF
20	Maria Emilia Maietti, Davide Trotta	A characterization of generalized existential completions.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
20	Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001	Determination of the continuous completions of conditionally cancellative pre-t-norms associated with the characterization of (S,N)-implications: Part II.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001	Determination of the continuous completions of conditionally cancellative pre-t-norms associated with the characterization of (S,N)-implications: Part I.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Zhongxi Zhang	A general categorical reflection for various completions of Q-closure spaces and Q-ordered sets.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Kevin Hsu, Jing Huang 0007	Obstructions for acyclic local tournament orientation completions.	Discret. Math.	2023	DBLP DOI BibTeX RDF
20	Jiaming Wen 0001, Houzhen Wang, Huanguo Zhang	Post-quantum Sigma Protocols and Signatures from Low-Rank Matrix Completions.	ProvSec	2023	DBLP DOI BibTeX RDF
20	Maria D. Cruz-Quinones, John Harding	Completions of Pseudo Ordered Sets.	Order	2022	DBLP DOI BibTeX RDF
20	Xia Zhang, Jan Paseka, Wen Ma	On Completions of Posets with Operators.	J. Multiple Valued Log. Soft Comput.	2022	DBLP BibTeX RDF
20	Alexandru Chirvasitu	C* Completions of Leavitt-Path-Algebra Pullbacks.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
20	Shuhua Su, Qingguo Li, Qi Li	ZL-Completions for ZL-Semigroups.	Symmetry	2022	DBLP DOI BibTeX RDF
20	Victor Chepoi, Kolja Knauer, Manon Philibert	Ample Completions of Oriented Matroids and Complexes of Uniform Oriented Matroids.	SIAM J. Discret. Math.	2022	DBLP DOI BibTeX RDF
20	Lukas Brückner, Luis A. Leiva, Antti Oulasvirta	Learning GUI Completions with User-defined Constraints.	ACM Trans. Interact. Intell. Syst.	2022	DBLP DOI BibTeX RDF
20	Carina Negreanu, Alperen Karaoglu, Jack Williams 0001, Shuang Chen 0003, Daniel Fabian, Andrew D. Gordon 0001, Chin-Yew Lin	Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.	CoRR	2022	DBLP DOI BibTeX RDF
20	Min Liu, Yulin Li	Quantaloidal Completions of Order-enriched Categories and Their Applications.	ISDT	2022	DBLP DOI BibTeX RDF
20	Haewoon Kwak	You Have Earned a Trophy: Characterize In-Game Achievements and Their Completions.	CoRR	2022	DBLP DOI BibTeX RDF
20	Dusko Pavlovic, Dominic J. D. Hughes	Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell.	CoRR	2022	DBLP DOI BibTeX RDF
20	Mitre Costa Dourado, Luciano N. Grippo, Mario Valencia-Pabon	On restricted completions of chordal and trivially perfect graphs.	CoRR	2022	DBLP DOI BibTeX RDF
20	Raquel Fernandez-Peralta, Sebastià Massanet, Andrea Mesiarová-Zemánková, Arnau Mir 0001	A general framework for the characterization of (S, N)-implications with a non-continuous negation based on completions of t-conorms.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
20	Carina Negreanu, Alperen Karaoglu, Jack Williams 0001, Shuang Chen 0003, Daniel Fabian, Andrew D. Gordon 0001, Chin-Yew Lin	Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
20	Caroline Brosse, Vincent Limouzy, Arnaud Mary	Polynomial Delay Algorithm for Minimal Chordal Completions.	ICALP	2022	DBLP DOI BibTeX RDF
20	Haewoon Kwak	You Have Earned a Trophy: Characterize In-Game Achievements and Their Completions.	WebSci	2022	DBLP DOI BibTeX RDF
20	Gilles Bertrand 0004	Completions and Ramifications.	DGMM	2022	DBLP DOI BibTeX RDF
20	John Harding, Frederik Möllerström Lauridsen	Hyper-MacNeille Completions of Heyting Algebras.	Stud Logica	2021	DBLP DOI BibTeX RDF
20	Ethan N. Epperly, Nithin Govindarajan, Shivkumar Chandrasekaran	Minimal Rank Completions for Overlapping Blocks.	CoRR	2021	DBLP BibTeX RDF
20	Caroline Brosse, Vincent Limouzy, Arnaud Mary	Polynomial delay algorithm for minimal chordal completions.	CoRR	2021	DBLP BibTeX RDF
20	Henning Bordihn, Victor Mitrana, Andrei Paun, Mihaela Paun	Hairpin completions and reductions: semilinearity properties.	Nat. Comput.	2021	DBLP DOI BibTeX RDF
20	Gilles Bertrand 0001	Completions, Perforations and Fillings.	DGMM	2021	DBLP DOI BibTeX RDF
20	Zhijuan Du	Zero or few shot knowledge graph completions by text enhancement with multi-grained attention.	ICTAI	2021	DBLP DOI BibTeX RDF
20	Ayomikun Adeniran, Steve Butler, Galen Dorpalen-Barry, Pamela E. Harris, Cyrus Hettle, Qingzhong Liang, Jeremy L. Martin, Hayan Nam	Enumerating Parking Completions Using Join and Split.	Electron. J. Comb.	2020	DBLP DOI BibTeX RDF
20	Shuhua Su, Shuqun Yang, Qi Li	The ZL-completions of fuzzy posets.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
20	Alain Finkel, Jean Goubault-Larrecq	Forward analysis for WSTS, part I: completions.	Math. Struct. Comput. Sci.	2020	DBLP DOI BibTeX RDF
20	Bing Wu 0002, Peng Li	Influence of MOOCs eWOM on the Number of Registrations and Completions.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Victor Chepoi, Kolja Knauer, Manon Philibert	Ample completions of OMs and CUOMs.	CoRR	2020	DBLP BibTeX RDF
20	Brad Saund, Dmitry Berenson	Diverse Plausible Shape Completions from Ambiguous Depth Images.	CoRR	2020	DBLP BibTeX RDF
20	José Gil-Férez, Luca Spada, Constantine Tsinakis, Hongjun Zhou	Join-completions of partially ordered algebras.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
20	Changchun Xia, Bin Zhao	The completions of multi-posets and quantum B-algebras.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
20	Adelina Ciurumelea, Sebastian Proksch, Harald C. Gall	Suggesting Comment Completions for Python using Neural Language Models.	SANER	2020	DBLP DOI BibTeX RDF
20	Di Yin, Jiwei Tan, Zhe Zhang, Hongbo Deng, Shujian Huang, Jiajun Chen 0001	Learning to Generate Personalized Query Auto-Completions via a Multi-View Multi-Task Attentive Approach.	KDD	2020	DBLP DOI BibTeX RDF
20	Bradley Saund, Dmitry Berenson	Diverse Plausible Shape Completions from Ambiguous Depth Images.	CoRL	2020	DBLP BibTeX RDF
20	Hai-Wei Wang, Bin Zhao	Free join- and meet-completions of L-ordered sets.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
20	Zhongxi Zhang, Qingguo Li	A uniform approach to completions of posets.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
20	Jens Lundell, Francesco Verdoja, Ville Kyrki	Robust Grasp Planning Over Uncertain Shape Completions.	CoRR	2019	DBLP BibTeX RDF
20	Zhongxi Zhang, Qingguo Li, Nan Zhang	A unified method for completions of posets and closure spaces.	Soft Comput.	2019	DBLP DOI BibTeX RDF
20	Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini	Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
20	Philip Scowcroft	Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
20	Philip Scowcroft	Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698].	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
20	Lyall Reid, Gary Richardson	Lattice-valued spaces: ⊤-Completions.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
20	Jacopo Amidei, Uri Andrews, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi	Trial and error mathematics: Dialectical systems and completions of theories.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
20	Jens Lundell, Francesco Verdoja, Ville Kyrki	Robust Grasp Planning Over Uncertain Shape Completions.	IROS	2019	DBLP DOI BibTeX RDF