Search results for "union"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Alexander Prosser, Robert Kofler, Robert Krimmer	Deploying Electronic Democracy for Public Corporations.	EGOV	2003	DBLP DOI BibTeX RDF
25	Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke	Unions of Slices Are Not Slices.	CSMR	2003	DBLP DOI BibTeX RDF
25	David Pokrass Jacobs, Robert E. Jamison, Alice A. McRae	On the complexity of sign-nonsingularity and equal unions of sets.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
25	Michel Charpentier	A UNITY Mapping Operator for Distributed Programs.	FME	1997	DBLP DOI BibTeX RDF
25	Thomas Blumensath, Michael E. Davies 0001	Sampling Theorems for Signals From the Union of Finite-Dimensional Linear Subspaces.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
25	Yue M. Lu, Minh N. Do	A Theory for Sampling Signals From a Union of Subspaces.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
25	Soon Xin Ng, Osamah Alamri, Yonghui Li 0001, Jörg Kliewer, Lajos Hanzo	Near-capacity turbo trellis coded modulation design based on EXIT charts and union bounds - [transactions papers].	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
25	Hans Raj Tiwary	On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Extended convex hull, Polytope intersection, Polytopes, Turing reduction, Minkowski addition
25	Jie Lin, Ji Ming, Danny Crookes	A probabilistic union approach to robust face recognition with partial distortion and occlusion.	ICASSP	2008	DBLP DOI BibTeX RDF
25	Jin Biao Wang, Wei Wang	Multiple Nests' Cooperation ACO Based Union-Intersection Operations.	CSSE (1)	2008	DBLP DOI BibTeX RDF
25	Cong Ling 0001	Generalized Union Bound for Space-Time Codes.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
25	Vassiliki Kourbani, Yiannis Petropoulos, Dimitris Tolias	Methodology and Application in a Technologically Enhanced Environment: The Case of the Writing Center at the Hellenic American Union and the Hellenic American University.	HCI (7)	2007	DBLP DOI BibTeX RDF	Writing Center, Distance Tutoring, Classroom Learning, Tutoring
25	Colin Riba	On the Stability by Union of Reducibility Candidates.	FoSSaCS	2007	DBLP DOI BibTeX RDF
25	Thom W. Frühwirth	Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.	CSCLP	2007	DBLP DOI BibTeX RDF
25	Antoine Miné	Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, numerical analysis, points-to analysis, critical software
25	Marcus Alanen, Ivan Porres	Basic Operations over Models Containing Subset and Union Properties.	MoDELS	2006	DBLP DOI BibTeX RDF	subset and derived properties, UML, metamodeling, MOF
25	Isabel Belinchón, José Manuel Ramos, Evaristo Sánchez-Yus, Isabel Betlloch	Dermatological scientific production from European Union authors (1987-2000).	Scientometrics	2004	DBLP DOI BibTeX RDF
25	Suman Roy 0001	Symbolic Verification of Infinite Systems using a Finite Union of DFAs.	SEFM	2004	DBLP DOI BibTeX RDF	Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues
25	Yunfei Zhang, Changjia Chen	On the Union of Chord-like Networks.	IEEE SCC	2004	DBLP DOI BibTeX RDF
25	János Pach, Ido Safruti, Micha Sharir	The Union of Congruent Cubes in Three Dimensions.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
25	Margaret T. O'Hara, M. Kathryn Brohman	Boeing Employees' Credit Union: Leveraging the Data Warehousing Investment.	HICSS	2002	DBLP DOI BibTeX RDF	case study, data warehousing
25	Thomas R. Dean, Andrew J. Malton, Richard C. Holt	Union Schemas as a Basis for a C++ Extractor.	WCRE	2001	DBLP DOI BibTeX RDF	C++ Schema, Reverse Engineering, Extractor
25	János Pach, Ido Safruti, Micha Sharir	The union of congruent cubes in three dimensions.	SCG	2001	DBLP DOI BibTeX RDF
25	Balázs Csikós	On the Volume of the Union of Balls.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
25	Herbert Edelsbrunner	The Union of Balls and Its Dual Shape.	SCG	1993	DBLP DOI BibTeX RDF
25	Franz Baader, Klaus U. Schulz	Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.	CADE	1992	DBLP DOI BibTeX RDF
25	Neeraj Suri, Avi Mendelson, Dhiraj K. Pradhan	BDG-torus union graph-an efficient algorithmically specializedparallel interconnect.	SPDP	1991	DBLP DOI BibTeX RDF
25	Kurt Mehlhorn, Stefan Näher, Helmut Alt	A Lower Bound for the Complexity of the Union-Split-Find Problem.	ICALP	1987	DBLP DOI BibTeX RDF
25	Makoto Haraguchi, Setsuo Arikawa	A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs.	LP	1986	DBLP DOI BibTeX RDF
25	Norbert Blum	On the Single-Operation Worst-Case Time Complexity on the Disjoint Set Union Problem.	STACS	1985	DBLP DOI BibTeX RDF
24	Yunjing Shan, Junling Zhou	Suboptimal s-union families and s-union antichains for vector spaces.	Discret. Math.	2023	DBLP DOI BibTeX RDF
24	Jade Reyskens, Sara Takamatsu, Sabrina Waizmann, Alexandra Zins, Kai Zhang, Joep Crompvoets	The Expected Public Value of the European Union Central Bank Digital Currency: What is the expected public value of a digital currency in the European Union? Student Track Paper.	DG.O	2023	DBLP DOI BibTeX RDF
24	Zubayir Kazi	A Proof of the Generalized Union-Closed Set Conjecture assuming the Union-Closed Set Conjecture.	Electron. Colloquium Comput. Complex.	2022	DBLP BibTeX RDF
24	Diego F. Aranha, Felix Engelmann, Sebastian Kolby, Sophia Yakoubov	The State of the Union: Union-Only Signatures for Data Aggregation.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
24	Diego F. Aranha, Felix Engelmann, Sebastian Kolby, Sophia Yakoubov	The State of the Union: Union-Only Signatures for Data Aggregation.	SCN	2022	DBLP DOI BibTeX RDF
24	Novak Boskov, Naor Radami, Trishita Tiwari, Ari Trachtenberg	Union Buster: A Cross-Container Covert-Channel Exploiting Union Mounting.	CSCML	2022	DBLP DOI BibTeX RDF
24	Benedek Nagy	Union-Freeness Revisited - Between Deterministic and Nondeterministic Union-Free Languages.	Int. J. Found. Comput. Sci.	2021	DBLP DOI BibTeX RDF
24	Sanaa A. Alwidian, Daniel Amyot	"Union is power": analyzing families of goal models using union models.	MoDELS	2020	DBLP DOI BibTeX RDF
24	Claude Stolze	Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé).		2019	RDF
24	Kitti Gelle, Szabolcs Iván	Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete.	CoRR	2017	DBLP BibTeX RDF
24	Kitti Gelle, Szabolcs Iván	Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete.	DCFS	2017	DBLP DOI BibTeX RDF
24	Houda Chanti	Développement d'un outil d'évaluation performantielle des réglementations incendie en France et dans les pays de l'Union Européenne. (Development of a performantial evaluation tool for fire regulations in France and the countries of the European union).		2017	RDF
24	Alexander Balthasar, Alexander Prosser	"Every citizen shall have the right to participate in the democratic life of the union": serious commitment or vain promise in an "ever closer union"?	EGOSE	2016	DBLP DOI BibTeX RDF
24	Yuan Gao 0001, Lila Kari	State complexity of star of union and square of union on k regular languages.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
24	Michaël Rademaker, Bernard De Baets	Consistent union and prioritized consistent union: new operations for preference aggregation.	Ann. Oper. Res.	2012	DBLP DOI BibTeX RDF
24	Galina Jirásková, Benedek Nagy	On Union-Free and Deterministic Union-Free Languages.	IFIP TCS	2012	DBLP DOI BibTeX RDF
24	Stefan Böttcher, Sebastian Obermeier 0001	Secure Set Union and Bag Union Computation for Guaranteeing Anonymity of Distrustful Participants.	J. Softw.	2008	DBLP DOI BibTeX RDF
24	Sébastien Loriot	Arrangements of circles on a sphere : Algorithms and applications to molecular models represented by a union of balls. (Arrangements de cercles sur une sphère: Algorithmes et Applications aux modèles moléculaires representés par une union de boules).		2008	RDF
24	G. Sethuraman 0001, P. Selvaraju	One edge union of shell graphs and one vertex union of complete bipartite graphs are cordial.	Discret. Math.	2002	DBLP DOI BibTeX RDF
24	Shirley Cousins	Virtual OPACs versus union database: two models of union catalogue provision.	Electron. Libr.	1999	DBLP DOI BibTeX RDF
24	Jasna Dravec-Braun	Is it Possible to Build up Online Union Catalogue Without Online Library System? Example of the Subsystem's "Prirodoslovlje" Union Catalogue.	CoLIS	1999	DBLP BibTeX RDF
24	Heather Rowe	It issues in monetary union: European monetary union - so why is it a technology issue?	Comput. Law Secur. Rev.	1997	DBLP DOI BibTeX RDF
22	Karl Bringmann	Klee's measure problem on fat boxes in time PARTIAL DIFFERENTIAL (n(d+2)/3).	SCG	2010	DBLP DOI BibTeX RDF	union of cubes, geometric data structures
22	Piet Van Mieghem, Huijuan Wang	The observable part of a network.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	union of shortest paths, observability, overlay
22	Kornelia Kozovska, Rossana Rosati, Daniele Vidoni	Educational Accountability and the Global Knowledge Society - What Can We Learn from the EU Experience?.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Open Method of Coordination, Lisbon objectives in Education and Training, Benchmarking, Knowledge Society, European Union
22	Pankaj K. Agarwal, Esther Ezra, Micha Sharir	Near-linear approximation algorithms for geometric hitting sets.	SCG	2009	DBLP DOI BibTeX RDF	geometric range spaces, shallow cuttings, union of simply-shaped regions, randomized algorithms, hitting sets
22	Joachim Giesen, Balint Miklos, Mark Pauly, Camille Wormser	The scale axis picture show.	SCG	2009	DBLP DOI BibTeX RDF	union of balls, skeleton, medial axis
22	Timothy M. Chan	A (slightly) faster algorithm for klee's measure problem.	SCG	2008	DBLP DOI BibTeX RDF	union of geometric objects, data structures, boxes
22	Jiuchun Zhang, Baichun Zhang	Founding of the Chinese Academy of Sciences' Institute of Computing Technology.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Chinese Science Planning Commission, Chinese Academy of Sciences, Institute of Computing Technology, Soviet Union, China, computing technology
22	Cene Bavec, Mirko Vintar	What Matters in the Development of the E-Government in the EU?	EGOV	2007	DBLP DOI BibTeX RDF	eGovernment policies, Cross-national comparative studies, Societal aspects of eGovernment, The role of eGovenment in development, European Union
22	Balint Miklos, Joachim Giesen, Mark Pauly	Medial axis approximation from inner Voronoi balls: a demo of the Mesecina tool.	SCG	2007	DBLP DOI BibTeX RDF	union of balls, Voronoi diagram, medial axis
22	Hiroshi Ichikawa	Strela-1, the First Soviet Computer: Political Success and Technological Failure.	IEEE Ann. Hist. Comput.	2006	DBLP DOI BibTeX RDF	The former Soviet Union, the USSR Academy of Sciences, Strela computer, BESM computer, SKB-245 [Special Design Bureau No. 245], ITMVT [the Institute of Precision Mechanics and Computer Technology], Mikhail A. Lavrentev, Nikolai G. Bruevich, Centralized Pluralism, Political Patronage
22	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
22	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
22	Victoria W. Romney, Gordon W. Romney	Neglect of information privacy instruction: a case of educational malpractice?	SIGITE Conference	2004	DBLP DOI BibTeX RDF	European union directive, Gramm-Leach-Bliley, database design, IT education, data privacy, legislation, HIPAA, legal issues
22	Amir M. Ben-Amram, Zvi Galil	Lower Bounds for Dynamic Data Structures on Algebraic RAMs.	Algorithmica	2002	DBLP DOI BibTeX RDF	Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine
22	Daniel J. Rosenkrantz, Lin Yu, S. S. Ravi	Efficient Construction of Minimum Makespan Schedules for Tasks with a Fixed Number of Distinct Execution Times.	Algorithmica	2001	DBLP DOI BibTeX RDF	Cell-probe lower bounds, Dynamic prefix sum, Union-find, Random access machine
22	Gheorghe Muresan, David J. Harper	Document Clustering and Language Models for System-Mediated Information Access.	ECDL	2001	DBLP DOI BibTeX RDF	Mediated Access, Topic Model Acknowledgement, The WebCluster Project was sponsored by Ubilab, Union Bank of Switzerland, Zurich, Document Clustering
22	Nadia Caidi	Technology and values: lessons from central and eastern europe.	JCDL	2001	DBLP DOI BibTeX RDF	central and eastern europe, national union catalogs, social shaping of technology, information infrastructure
22	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
22	Lin Xu, Ralf Tönjes, Toni Paila, Wolfgang Hansmann, Matthias Frank 0001, Markus Albrecht	DRiVE-ing to the Internet: Dynamic Radio for IP Services in Vehicular Environments.	LCN	2000	DBLP DOI BibTeX RDF	radio access networks, road traffic, dynamic radio, vehicular environments, DRiVE project, wireless IP communication, heterogeneous multi-radio environment, in-vehicle multimedia services, spectrum efficiency, IPv6 based network infrastructure, cellular radio networks, multi-radio access networks, DRiVE network, Internet, Internet, transport protocols, adaptive systems, multimedia communication, network architecture, traffic control, traffic control, cellular radio, road vehicles, adaptive services, research initiatives, IP services, dynamic spectrum allocation, European Union
22	Roger C. Tam, Alain Fournier	Image interpolation using unions of spheres.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Union of spheres, Feature matching, Feature representation, Image interpolation, Shape interpolation
22	Allyn Dimock, Robert Muller, Franklyn A. Turbak, J. B. Wells	Strongly Typed Flow-Directed Representation Transformations.	ICFP	1997	DBLP DOI BibTeX RDF	intersection and union types, typed flow analysis, compilation, lambda calculus, inlining, closure conversion
22	Raimo P. Hämäläinen, Oossi Leikola	Spontaneous decision conferencing in parliamentary negotiations.	HICSS (4)	1995	DBLP DOI BibTeX RDF	spontaneous decision conferencing, parliamentary negotiations, political decision making, Finnish Members of Parliament, portable negotiation support techniques, groupware, teleconferencing, group decision support systems, group decision support systems, negotiation support systems, negotiation support systems, government data processing, problem structuring, Finland, European Union
22	Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda	Bridging structural and software design of PLC-based system families.	ICECCS	1995	DBLP DOI BibTeX RDF	PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software
22	Tin Kam Ho, Jonathan J. Hull, Sargur N. Srihari	Decision Combination in Multiple Classifier Systems.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	decision combination, pattern recognition problems, arbitrary feature descriptors, classification procedures, intersection method, union method, class set reduction, highest rank, Borda count, class set reranking, degraded machine-printed characters, pattern recognition, rankings, statistical analysis, decision theory, logistic regression, multiple classifier systems
22	Yehoshua Sagiv	Evaluation of Queries in Independent Database Schemes.	J. ACM	1991	DBLP DOI BibTeX RDF	expanded cover, extension join, independent database scheme, representative instance, restricted projection, union of tableaux, relational database, relational algebra, functional dependency, query evaluation, chase, null value, tableau, join dependency, lossless join
19	Junhu Wang, Jeffrey Xu Yu, Chengfei Liu	Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views.	World Wide Web	2009	DBLP DOI BibTeX RDF	XPath, views, rewriting, containment, tree pattern
19	Peter Hachenberger	Exact Minkowksi Sums of Polyhedra and Exact and Efficient Decomposition of Polyhedra into Convex Pieces.	Algorithmica	2009	DBLP DOI BibTeX RDF	Decomposition of polyhedra into convex pieces, Nef polyhedra, Tight passage, Exact arithmetic, Minkowski sum
19	E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka	semQA: SPARQL with Idempotent Disjunction.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
19	Navin Goyal, Luis Rademacher, Santosh S. Vempala	Expanders via random spanning trees.	SODA	2009	DBLP DOI BibTeX RDF
19	Rui Zhou 0001, Chengfei Liu, Junhu Wang, Jianxin Li 0001	Containment between Unions of XPath Queries.	DASFAA	2009	DBLP DOI BibTeX RDF
19	Ehsan Chiniforooshan, Arash Farzan, Mehdi Mirzazadeh	Evaluation of General Set Expressions.	ISAAC	2008	DBLP DOI BibTeX RDF
19	Jian-quan Ouyang	Full Symmetric Function in Partial K-Valued Logic.	FSKD (1)	2008	DBLP DOI BibTeX RDF
19	James C. Bezdek, Richard J. Hathaway, Jacalyn M. Huband	Visual Assessment of Clustering Tendency for Rectangular Dissimilarity Matrices.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
19	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
19	Peter Hachenberger	Exact Minkowksi Sums of Polyhedra and Exact and Efficient Decomposition of Polyhedra in Convex Pieces.	ESA	2007	DBLP DOI BibTeX RDF
19	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
19	Michael Cameron, Yaniv Bernstein, Hugh E. Williams	Clustering Near-Identical Sequences for Fast Homology Search.	RECOMB	2006	DBLP DOI BibTeX RDF
19	Piotr Hoffman	Unions of Equational Monadic Theories.	RTA	2006	DBLP DOI BibTeX RDF
19	Zhijie Wang 0001, Hong Fan	Implementing Fuzzy Reasoning by IAF Neurons.	ICNC (1)	2005	DBLP DOI BibTeX RDF
19	Jibing Wang, Marvin K. Simon, Kung Yao	On the optimum design of unitary cyclic group space-time codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
19	Tae-Sic Yoo, Stéphane Lafortune	A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.	Discret. Event Dyn. Syst.	2002	DBLP DOI BibTeX RDF	supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures
19	Noam Nisan	The Communication Complexity of Approximate Set Packing and Covering.	ICALP	2002	DBLP DOI BibTeX RDF
19	Franz Baader	Combination of Compatible Reduction Orderings that are Total on Ground Terms.	LICS	1997	DBLP DOI BibTeX RDF
19	Paul W. Goldberg, Sally A. Goldman, H. David Mathias	Learning Unions of Boxes with Membership and Equivalence Queries.	COLT	1994	DBLP DOI BibTeX RDF
19	Stephen A. Fenner, Lance Fortnow, Lide Li	Gap-Definability as a Closure Property.	STACS	1993	DBLP DOI BibTeX RDF
19	Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
19	Herbert Edelsbrunner, Leonidas J. Guibas, John Hershberger 0001, János Pach, Richard Pollack, Raimund Seidel, Micha Sharir, Jack Snoeyink	On Arrangements of Jordan Arcs with Three Intersections per Pair.	SCG	1988	DBLP DOI BibTeX RDF
19	William Ward Armstrong, Claude Delobel	Decomposition and Functional Dependencies in Relations.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	relational database, decomposition, integrity constraint, functional dependency, multivalued dependency