Search results for "Unions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Domenico Lembo, Riccardo Rosati 0001, Marco Ruzzi	On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
75	Laurence Favier, Joël Mekhantar	Trade Unions in e-Democracy.	EGOV	2004	DBLP DOI BibTeX RDF
64	Andrea Torsello, Edwin R. Hancock	Learning Shape-Classes Using a Mixture of Tree-Unions.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	tree clustering, mixture modelinq, model codes, minimum description length, Structural learning, shock graphs
64	Satoshi Matsumoto, Yusuke Suzuki, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida	Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries.	ALT	2003	DBLP DOI BibTeX RDF
64	Sally A. Goldman, Stephen Kwek	On Learning Unions of Pattern Languages and Tree Patterns.	ALT	1999	DBLP DOI BibTeX RDF
64	Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki	Finding Minimal Generalizations for Unions of Pattern Languages and Its Application to Inductive Inference from Positive Data.	STACS	1994	DBLP DOI BibTeX RDF
57	H. James Nelson, Kay M. Nelson	IT: What's It Good For?	HICSS	2003	DBLP DOI BibTeX RDF
55	Peter Borm, Luisa Carpente, Balbina Casas-Méndez, Ruud Hendrickx	The Constrained Equal Awards Rule for Bankruptcy Problems with a Priori Unions.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	bankruptcy problems, a priori unions, constrained equal awards rule
55	Bernd Holzmüller, Erhard Plödereder	Finite Unions for Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Finite Unions, Polymorphism, Language Extension, Dispatching, Multi-Methods
52	Christian Glaßer, Alan L. Selman, Stephen D. Travers, Klaus W. Wagner	The Complexity of Unions of Disjoint Sets.	STACS	2007	DBLP DOI BibTeX RDF
52	Piotr Hoffman	Unions of Equational Monadic Theories.	RTA	2006	DBLP DOI BibTeX RDF
52	Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey	On unions and dominants of polytopes.	Math. Program.	2004	DBLP DOI BibTeX RDF
49	Zbigniew Chamski	Beyond convexity: scanning 'non-convex polyhedra'.	HICSS (2)	1995	DBLP DOI BibTeX RDF	nonconvex polyhedra, point enumeration, algebraically-specified domain, algorithmic problem, scientific program transformation, scanning algorithms, runtime overhead, regularly nonconvex domains, arbitrary unions, nested loop sequences, parallel algorithms, parallel programming, computational geometry, convexity, program interpreters, program control structures, convex polyhedra
46	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	State of the Union: Type Inference Via Craig Interpolation.	TACAS	2007	DBLP DOI BibTeX RDF
46	M. R. K. Krishna Rao	Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems.	TAPSOFT	1995	DBLP DOI BibTeX RDF
41	Rui Zhou 0001, Chengfei Liu, Junhu Wang, Jianxin Li 0001	Containment between Unions of XPath Queries.	DASFAA	2009	DBLP DOI BibTeX RDF
41	Marcelo Arenas, Pablo Barceló, Juan L. Reutter	Query languages for data exchange: beyond unions of conjunctive queries.	ICDT	2009	DBLP DOI BibTeX RDF
41	Yen Kaow Ng, Takeshi Shinohara	Characteristic Sets for Inferring the Unions of the Tree Pattern Languages by the Most Fitting Hypotheses.	ICGI	2006	DBLP DOI BibTeX RDF
41	Ming Li, Bao-wei Zhang, Tong Wang, Li Zhao	Approximation of Class Unions Based on Dominance-Matrix Within Dominance-Based Rough Set Approach.	ACII	2005	DBLP DOI BibTeX RDF
41	Marc J. van Kreveld, A. Frank van der Stappen	Approximate Unions of Lines and Minkowski Sums.	ESA	2004	DBLP DOI BibTeX RDF
41	Adrian Dumitrescu, Géza Tóth 0001	Ramsey-Type Results for Unions of Comparability Graphs.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
38	José M. Alonso-Meijide, M. Gloria Fiestras-Janeiro	Modification of the Banzhaf Value for Games with a Coalition Structure.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	a priori system of unions, coalitional Banzhaf values, voting games
38	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
38	Zbigniew Chamski	Enumeration of dense non-convex iteration sets.	PDP	1995	DBLP DOI BibTeX RDF	dense non-convex iteration sets, algorithmic problems, iteration domains, loop structures, arbitrary unions, dense convex polyhedra, incremental construction, nested loop sequence, loop execution, parallel algorithms, parallel programming, parallel programming, set theory, polyhedron, scientific programs
36	Tuong Nguyen	Finite unions of balls with inner and outer margins. (Unions finies de boules avec marges interne et externe).		2018	RDF
34	William Richmond	Automation in Financial Services.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
34	Todd J. Green	Containment of conjunctive queries on annotated relations.	ICDT	2009	DBLP DOI BibTeX RDF
34	Foto N. Afrati, Chen Li 0001, Vassia Pavlaki	Data exchange in the presence of arithmetic comparisons.	EDBT	2008	DBLP DOI BibTeX RDF
34	Gautam Gupta, Sanjay V. Rajopadhye	The Z-polyhedral model.	PPoPP	2007	DBLP DOI BibTeX RDF	equational programming, program transformation, models of computations, loop optimization
34	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Combining Proof-Producing Decision Procedures.	FroCoS	2007	DBLP DOI BibTeX RDF
34	Sanjay Jain 0001, Yen Kaow Ng, Tiong Seng Tay	Learning Languages in a Union.	ALT	2001	DBLP DOI BibTeX RDF
34	Kouichi Hirata, Hiroshi Sakamoto	Prediction-Preserving Reducibility with Membership Queries on Formal Languages.	FCT	2001	DBLP DOI BibTeX RDF	prediction-preserving reduction with membership queries, prediction with membership queries, pattern languages, learning theory, context-free grammars, grammatical inference
34	Surajit Chaudhuri, Phokion G. Kolaitis	Can Datalog be Approximated?	PODS	1994	DBLP DOI BibTeX RDF	Datalog
34	Bernhard Gramlich	Generalized Sufficient Conditions for Modular Termination of Rewriting.	ALP	1992	DBLP DOI BibTeX RDF
29	Vesna Zeljkovic, Qiang Li, Robert B. Vincelette, Claude Tameze, Fengshan Liu	Aircraft identification by unions of ISAR images.	MobiMedia	2009	DBLP DOI BibTeX RDF	ISAR images, classification, pattern recognition
29	Yuichi Kameda, Hiroo Tokunaga, Akihiro Yamamoto	Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets.	ICGI	2008	DBLP DOI BibTeX RDF
29	Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto	Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.	JSAI	2007	DBLP DOI BibTeX RDF
29	Marc J. van Kreveld, A. Frank van der Stappen	Approximate Unions of Lines and Minkowski Sums.	Algorithmica	2006	DBLP DOI BibTeX RDF	Algorithms, Approximation, Minkowski sums, Combinatorial complexity
29	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis	On preservation under homomorphisms and unions of conjunctive queries.	J. ACM	2006	DBLP DOI BibTeX RDF	Datalog, first-order logic, Conjunctive queries, preservation, homomorphisms, finite model theory, graph minors, infinitary logic
29	Alp Atici, Rocco A. Servedio	Learning Unions of omega(1)-Dimensional Rectangles.	ALT	2006	DBLP DOI BibTeX RDF
29	Matthew de Brecht, Akihiro Yamamoto	Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.	ALT	2006	DBLP DOI BibTeX RDF
29	Yen Kaow Ng, Takeshi Shinohara	Inferring Unions of the Pattern Languages by the Most Fitting Covers.	ALT	2005	DBLP DOI BibTeX RDF
29	Antonio Cano, Pedro García 0001	Finite Automata and Unions of Regular Patterns with Bounded Constant Segments.	CIAA	2005	DBLP DOI BibTeX RDF
29	Albert Atserias, Anuj Dawar, Phokion G. Kolaitis	On Preservation under Homomorphisms and Unions of Conjunctive Queries. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
29	Andrea Torsello, Edwin R. Hancock	Learning Mixtures of Weighted Tree-Unions by Minimizing Description Length.	ECCV (3)	2004	DBLP DOI BibTeX RDF
29	Alan Nash, Bertram Ludäscher	Processing Unions of Conjunctive Queries with Negation under Limited Access Patterns.	EDBT	2004	DBLP DOI BibTeX RDF
29	Junhu Wang, Michael J. Maher, Rodney W. Topor	Rewriting Unions of General Conjunctive Queries Using Views.	EDBT	2002	DBLP DOI BibTeX RDF
29	Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida	Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
29	Masako Sato, Yasuhito Mukouchi, Dao Zheng	Characteristic Sets for Unions of Regular Pattern Languages and Compactness.	ALT	1998	DBLP DOI BibTeX RDF
29	Alvis Brazma, Esko Ukkonen, Jaak Vilo	Discovering Unbounded Unions of Regular Pattern Languages from Positive Examples (Extended Abstract).	ISAAC	1996	DBLP DOI BibTeX RDF
29	Bjarne Steensgaard	Points-to Analysis by Type Inference of Programs with Structures and Unions.	CC	1996	DBLP DOI BibTeX RDF	interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs
29	Edward P. F. Chan	Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
26	Marcus Alanen, Ivan Porres	A metamodeling language supporting subset and union properties.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions
26	Vittorio Capecchi	A changing society and problems of method: a politically committed research type.	AI Soc.	2004	DBLP DOI BibTeX RDF	Politically committed research, Radical sociology, Trade unions research, Gender, Methods
23	Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang	Mapping kernel objects to enable systematic integrity checking.	CCS	2009	DBLP DOI BibTeX RDF	kernel integrity, memory analysis, malware, pointer analysis, introspection
23	Riccardo Rosati 0001	The Limits of Querying Ontologies.	ICDT	2007	DBLP DOI BibTeX RDF
23	Christian Glaßer, Alan L. Selman, Liyu Zhang	The Informational Content of Canonical Disjoint NP-Pairs.	COCOON	2007	DBLP DOI BibTeX RDF
23	Paul Bankston	The Chang-Los-Suszko theorem in a topological setting.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C20, 54B35, 54C10, 54D30, Secondary 03C52, 06D05, 54D35, 54F15, 54F45, 54F55
23	Frédéric Chazal, André Lieutier	Topology guaranteeing manifold reconstruction using distance function to noisy data.	SCG	2006	DBLP DOI BibTeX RDF	surface and manifold reconstruction, sampling, distance function
23	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
23	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
23	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
23	Piotr Berman, Bhaskar DasGupta, Ming-Yang Kao	Tight Approximability Results for Test Set Problems in Bioinformatics.	SWAT	2004	DBLP DOI BibTeX RDF
23	Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi	Decidable Containment of Recursive Queries.	ICDT	2003	DBLP BibTeX RDF
23	Sandra Zilles	Merging Uniform Inductive Learners.	COLT	2002	DBLP DOI BibTeX RDF
23	Kalvis Apsitis, Rusins Freivalds, Raimonds Simanovskis, Juris Smotrovs	Closedness Properties in EX-Identification of Recursive Functions.	ALT	1998	DBLP DOI BibTeX RDF
23	Wolfgang Maass 0001	Efficient Agnostic PAC-Learning with Simple Hypothesis.	COLT	1994	DBLP DOI BibTeX RDF
23	Paolo Atzeni, Edward P. F. Chan	Efficient Optimization of Simple Chase Join Expressions.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
23	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
23	Richard B. Worrell, Bernie L. Hulme	Efficient Ordering of Set Expressions for Symbolic Expansion.	J. ACM	1973	DBLP DOI BibTeX RDF
18	Michal L. Kobielarz	A theory of international unions with exits.	J. Econ. Theory	2024	DBLP DOI BibTeX RDF
18	Mohamed Dia, Pawoumodom M. Takouda, Amirmohsen Golmohammadi	Correction to: Assessing the performance of Canadian credit unions using a three-stage network bootstrap DEA.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
18	Kathrin Klamroth, Bruno Lang, Michael Stiglmayr	Efficient dominance filtering for unions and Minkowski sums of non-dominated sets.	Comput. Oper. Res.	2024	DBLP DOI BibTeX RDF
18	Bogdan Alecu, Vadim V. Lozin, Daniel A. Quiroz, Roman Rabinovich 0001, Igor Razgon, Viktor Zamaraev	The Treewidth and Pathwidth of Graph Unions.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
18	Tao Zhang 0030, Gennian Ge	New results on sparse representations in unions of orthonormal bases.	CoRR	2024	DBLP DOI BibTeX RDF
18	José M. Alonso-Meijide, J. Costa, Ignacio García-Jurado, Juan Carlos Gonçalves-Dosantos	On egalitarian values for cooperative games with a priori unions.	CoRR	2024	DBLP DOI BibTeX RDF
18	J. C. Gonçalves-Dosantos, J. M. Alonso-Meijide	New results on egalitarian values for games with a priori unions.	CoRR	2024	DBLP DOI BibTeX RDF
18	Fan Chen, Xiying Yuan	Some results on the saturation number for unions of cliques.	Discret. Math.	2024	DBLP DOI BibTeX RDF
18	Rodrigo Asencios, Christian Asencios, Efrain Ramos	Profit scoring for credit unions using the multilayer perceptron, XGBoost and TabNet algorithms: Evidence from Peru.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
18	Stefan Klessinger, Meike Klettke, Uta Störl, Stefanie Scherzinger	Extracting JSON Schemas with Tagged Unions.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Zivný	Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity.	CoRR	2023	DBLP DOI BibTeX RDF
18	Yi Shen 0009, Chenyun Yu, Yuan Shen, Song Li 0002	On sparse recovery algorithms in unions of orthonormal bases.	J. Approx. Theory	2023	DBLP DOI BibTeX RDF
18	Guantao Chen, Nizamettin Tokar	Unions of perfect matchings in r-graphs.	Discret. Math.	2023	DBLP DOI BibTeX RDF
18	Angel Chavez, Parker Le, Derek Lin, Daphne Der-Fen Liu, Mason Shurman	Antimagic labeling for unions of graphs with many three-paths.	Discret. Math.	2023	DBLP DOI BibTeX RDF
18	Evaristo Navarro, Alberto Mena, Enrique Otalora, Kennedy Hurtado, Jisell Trejos	Implementation of ABC Costing Systems Based on Technological Platforms as a Tool to Improve the Decision-Making Process in Credit Unions.	HCI (54)	2023	DBLP DOI BibTeX RDF
18	Stefan Klessinger, Michael Fruth, Valentin Gittinger, Meike Klettke, Uta Störl, Stefanie Scherzinger	Tagger: A Tool for the Discovery of Tagged Unions in JSON Schema Extraction.	EDBT	2023	DBLP DOI BibTeX RDF
18	Trevor J. Bird, Neera Jain	Unions and Complements of Hybrid Zonotopes.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
18	Omesh Kini, Mo Shen, Jaideep Shenoy, Venkat Subramaniam	Labor Unions and Product Quality Failures.	Manag. Sci.	2022	DBLP DOI BibTeX RDF
18	Mohamed Dia, Pawoumodom M. Takouda, Amirmohsen Golmohammadi	Assessing the performance of Canadian credit unions using a three-stage network bootstrap DEA.	Ann. Oper. Res.	2022	DBLP DOI BibTeX RDF
18	Alexander J. Zaslavski	Convergence of Inexact Iterates of an Algorithm Based on Unions of Nonexpansive Mappings in Metric Spaces.	Symmetry	2022	DBLP DOI BibTeX RDF
18	Alexander J. Zaslavski	An Algorithm Based on Unions of Nonexpansive Mappings in Metric Spaces.	Symmetry	2022	DBLP DOI BibTeX RDF
18	Sipu Ruan, Xiaoli Wang, Gregory S. Chirikjian	Collision Detection for Unions of Convex Bodies With Smooth Boundaries Using Closed-Form Contact Space Parameterization.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
18	Yi Shen 0009, Chenyun Yu, Yuan Shen, Song Li 0002	An Open Problem on Sparse Representations in Unions of Bases.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
18	Karl Bringmann, Nofar Carmeli	Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries.	CoRR	2022	DBLP DOI BibTeX RDF
18	Bogdan Alecu, Vadim V. Lozin, Daniel A. Quiroz, Roman Rabinovich 0001, Igor Razgon, Viktor Zamaraev	The treewidth and pathwidth of graph unions.	CoRR	2022	DBLP BibTeX RDF
18	Xiaowei Wei, Bin Pang 0004, Ju-Sheng Mi	Axiomatic characterizations of L-fuzzy rough sets by L-fuzzy unions and L-fuzzy intersections.	Int. J. Gen. Syst.	2022	DBLP DOI BibTeX RDF
18	Luca Moschella, Simone Melzi, Luca Cosmo, Filippo Maggioli, Or Litany, Maks Ovsjanikov, Leonidas J. Guibas, Emanuele Rodolà	Learning Spectral Unions of Partial Deformable 3D Shapes.	Comput. Graph. Forum	2022	DBLP DOI BibTeX RDF
18	Nofar Carmeli, Shai Zeevi, Christoph Berkholz, Alessio Conte, Benny Kimelfeld, Nicole Schweikardt	Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration.	ACM Trans. Database Syst.	2022	DBLP DOI BibTeX RDF
18	Sylvain Béal, Eric Rémila, Philippe Solal	Allocation rules for cooperative games with restricted communication and a priori unions based on the Myerson value and the average tree solution.	J. Comb. Optim.	2022	DBLP DOI BibTeX RDF
18	Arvind Adimoolam, Indranil Saha	Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis.	HSCC	2022	DBLP DOI BibTeX RDF