Search results for "union"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams: existence, uniqueness and algorithmic challenge.	SODA	2007	DBLP BibTeX RDF
13	Makoto Tatsuta	Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.	TLCA	2007	DBLP DOI BibTeX RDF
13	Ming Xiao 0001, Tor M. Aulin	Maximum-Likelihood Decoding and Performance Analysis of a Noisy Channel Network with Network Coding.	ICC	2007	DBLP DOI BibTeX RDF
13	Hans Raj Tiwary	On the hardness of minkowski addition and related operations.	SCG	2007	DBLP DOI BibTeX RDF	coNP-hardness, extended convex hull, polytope intersection, computational geometry, polytopes, turing reduction, minkowski addition
13	Merrick L. Furst, Charles L. Isbell Jr., Mark Guzdial	ThreadsTM: how to restructure a computer science curriculum for a flat world.	SIGCSE	2007	DBLP DOI BibTeX RDF	flat world, off-shoring, programming, curricula, out-sourcing
13	Alvina Goh, René Vidal	Segmenting Motions of Different Types by Unsupervised Manifold Clustering.	CVPR	2007	DBLP DOI BibTeX RDF
13	Fusheng Yu, Wenyi Zeng, Qiuyan Sun, Fangmin Wu, Yongke Jiang	Build Complicated Granules with Generalized Operations of Fuzzy Sets.	FSKD (1)	2007	DBLP DOI BibTeX RDF
13	Ning Yang, Masoud Salehi	A New Full Rate Full Diversity Orthogonal Space-Time Block Code for Three Transmit Antennas.	CISS	2007	DBLP DOI BibTeX RDF
13	Tae-Sic Yoo, Stéphane Lafortune	Solvability of Centralized Supervisory Control Under Partial Observation.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Decidability, Supervisory control, Nonblocking, Partial observation
13	Iosif Klironomos, Margherita Antona, Ioannis Basdekis, Constantine Stephanidis	White Paper: promoting Design for All and e-Accessibility in Europe.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF
13	Richard Gault, Iain A. Stewart	An Infinite Hierarchy in a Class of Polynomial-Time Program Schemes.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
13	Ruoheng Liu, Predrag Spasojevic, Emina Soljanin	Reliable channel regions for good binary codes transmitted over parallel channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	Gérard Cornuéjols, Claude Lemaréchal	A convex-analysis perspective on disjunctive cuts.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 52A41, 90C11
13	Ming Xiao 0001, Tor Aulin	Serially concatenated continuous phase modulation with convolutional codes over rings.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
13	Eduard Oks, Micha Sharir	Minkowski Sums of Monotone and General Simple Polygons.	Discret. Comput. Geom.	2006	DBLP DOI BibTeX RDF
13	Janusz Konrad, P. Agniel	Subsampling models and anti-alias filters for 3-D automultiscopic displays.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
13	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures.	LPAR	2006	DBLP DOI BibTeX RDF
13	Shakhar Smorodinsky	On the chromatic number of some geometric hypergraphs.	SODA	2006	DBLP DOI BibTeX RDF
13	Haim Kaplan, Micha Sharir, Elad Verbin	Colored intersection searching via sparse rectangular matrix multiplication.	SCG	2006	DBLP DOI BibTeX RDF	colored intersection searching, generalized intersection searching, matrix multiplication, range searching
13	Nico Kruithof, Gert Vegter	Envelope surfaces.	SCG	2006	DBLP DOI BibTeX RDF	Legendre-Fenchel transform, envelopes of spheres, piecewise quadratic surfaces, smooth surfaces
13	Tammy Browning, Kristina A. Cunningham	Expanding technology access.	SIGUCCS	2006	DBLP DOI BibTeX RDF	laptops, renting
13	Martin Kutrib, Andreas Malcher	Context-Dependent Nondeterminism for Pushdown Automata.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
13	Kevin Fan, Manjunath Kudlur, Hyunchul Park 0001, Scott A. Mahlke	Increasing hardware efficiency with multifunction loop accelerators.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	multifunction design, high-level synthesis, modulo scheduling, loop accelerator, application-specific hardware
13	Chen Tet-Khuan, Alias Abdul-Rahman	0-D Feature in 3D Planar Polygon Testing for 3D Spatial Analysis.	3D-GIS	2006	DBLP DOI BibTeX RDF	0D feature, 3D planar polygon, 3D GIS
13	Ka-Ming Keung, Akhilesh Tyagi	State space reconfigurability: an implementation architecture for self modifying finite automata.	CASES	2006	DBLP DOI BibTeX RDF	SMFA, architecture, reconfigurability, FSM
13	Rachid Seghir, Vincent Loechner	Memory optimization by counting points in integer transformations of parametric polytopes.	CASES	2006	DBLP DOI BibTeX RDF	array linearization, cache access optimization, counting lattice points in polytopes, exact memory size computation, polytope model
13	Christine Leitner	e-Government: People and Skills in Europe's Administrations.	HICSS	2006	DBLP DOI BibTeX RDF
13	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca	Encoding CDuce in the Cpi-Calculus.	CONCUR	2006	DBLP DOI BibTeX RDF
13	Ramzi Ben Salah, Marius Bozga, Oded Maler	On Interleaving in Timed Automata.	CONCUR	2006	DBLP DOI BibTeX RDF
13	David P. Woodruff	Better Approximations for the Minimum Common Integer Partition Problem.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
13	Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter	Applying Modular Decomposition to Parameterized Bicluster Editing.	IWPEC	2006	DBLP DOI BibTeX RDF	edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
13	Jun Tan, Gordon L. Stüber	Analysis and design of symbol mappers for iteratively decoded BICM.	IEEE Trans. Wirel. Commun.	2005	DBLP DOI BibTeX RDF
13	John M. Hitchcock	Correspondence Principles for Effective Dimensions.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
13	Marcin Gorawski, Karol Stachurski	On Association Rules Mining Algorithms with Data Privacy Preserving.	AWIC	2005	DBLP DOI BibTeX RDF
13	Jiazheng Zhou, Xuan-Yi Lin, Chun-Hsien Wu, Yeh-Ching Chung	Multicast in Fat-Tree-Based InfiniBand Networks.	NCA	2005	DBLP DOI BibTeX RDF
13	Sheng Zhang 0004, Fillia Makedon	Privacy preserving learning in negotiation.	SAC	2005	DBLP DOI BibTeX RDF	secure maximum, privacy, negotiation, Q-learning
13	Peter R. Pietzuch, Jeffrey Shneidman, Jonathan Ledlie, Matt Welsh, Margo I. Seltzer, Mema Roussopoulos	Evaluating DHT-Based Service Placement for Stream-Based Overlays.	IPTPS	2005	DBLP DOI BibTeX RDF
13	Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong	Design patterns for parsing.	SIGCSE	2005	DBLP DOI BibTeX RDF	modeling, design patterns, pedagogy, parsing, grammar, objects-first, CS1/CS2
13	Daniel Meister 0001	Decidable Membership Problems for Finite Recurrent Systems over Sets of Naturals.	FCT	2005	DBLP DOI BibTeX RDF
13	Jesús San-Miguel-Ayanz, Guido Schmuck, Robert Flies, Ernst Schulte, Ignacio Seoane	Towards a Forest Information System for Europe.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
13	Börkur Sigurbjörnsson, Jaap Kamps, Maarten de Rijke	EuroGOV: Engineering a Multilingual Web Corpus.	CLEF	2005	DBLP DOI BibTeX RDF
13	John Sören Pettersson, Simone Fischer-Hübner, Ninni Danielsson, Jenny Nilsson, Mike Bergmann, Sebastian Clauß, Thomas Kriegelstein, Henry Krasemann	Making PRIME usable.	SOUPS	2005	DBLP DOI BibTeX RDF	HCI, identity management, privacy-enhancing technologies
13	Hagen Völzer, Daniele Varacca, Ekkart Kindler	Defining Fairness.	CONCUR	2005	DBLP DOI BibTeX RDF
13	Aaron Stump, Li-Yang Tan	The Algebra of Equality Proofs.	RTA	2005	DBLP DOI BibTeX RDF
13	Giulia Mancini, Francesca Sbordone	The history of an Italian action research experience.	AI Soc.	2004	DBLP DOI BibTeX RDF	Search conference, Shared generative concepts, Workers subjectivity, Stakeholders, Discussion group
13	Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey	On unions and dominants of polytopes.	Math. Program.	2004	DBLP DOI BibTeX RDF
13	Laurianne McLaughlin, Benjamin Alfonsi	In the News.	IEEE Softw.	2004	DBLP DOI BibTeX RDF
13	Ahmadreza Hedayat, Aria Nosratinia	Performance analysis and design criteria for finite-alphabet source-channel codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
13	Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi	Tracking set-expression cardinalities over continuous update streams.	VLDB J.	2004	DBLP DOI BibTeX RDF	Set expressions, Data streams, Randomized algorithms, Approximate query processing, Data synopses
13	Ran Mendelson, Mikkel Thorup, Uri Zwick	Meldable RAM priority queues and minimum directed spanning trees.	SODA	2004	DBLP BibTeX RDF
13	Laurence Favier, Joël Mekhantar	Trade Unions in e-Democracy.	EGOV	2004	DBLP DOI BibTeX RDF
13	Roger C. Tam, Wolfgang Heidrich	Computing Polygonal Surfaces from Unions of Balls.	Computer Graphics International	2004	DBLP DOI BibTeX RDF
13	Juan I. Nieto-Hipólito, José M. Barceló	Inside BGP Tables: Inferring Autonomous System's Interconnectivity.	ECUMN	2004	DBLP DOI BibTeX RDF
13	Sebastian John	Minimal Unambiguous eNFA.	CIAA	2004	DBLP DOI BibTeX RDF
13	Marcella Anselmo, Dora Giammarresi, Maria Madonia	Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
13	Ian F. Blake, Vladimir Kolesnikov	Strong Conditional Oblivious Transfer and Computing on Intervals.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
13	Gokul Varadhan, Dinesh Manocha	Accurate Minkowski Sum Approximation of Polyhedral Models.	PG	2004	DBLP DOI BibTeX RDF
13	Jovanka Pantovic, Gradimir Vojvodic	Minimal Partial Hyperclones on a Two-Element Set.	ISMVL	2004	DBLP DOI BibTeX RDF
13	Adam Wozniak	Policy Modeling in Four Agent Economy.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
13	Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne	Characterizing strong normalization in a language with control operators.	PPDP	2004	DBLP DOI BibTeX RDF	functional programming, continuations, classical logic, intersection type
13	David Nistér	Automatic Passive Recovery of 3D from Images and Video.	3DPVT	2004	DBLP DOI BibTeX RDF
13	Galina Pasko, Alexander A. Pasko, M. Ikeda, Tosiyasu L. Kunii	Advanced Metamorphosis Based on Bounded Space-time Blending.	MMM	2004	DBLP DOI BibTeX RDF
13	Chandra Chekuri, Amit Kumar 0001	Maximum Coverage Problem with Group Budget Constraints and Applications.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
13	Reza Kamali, Lillian N. Cassel, Richard J. LeBlanc	Keeping family of computing related disciplines together.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	computing-related disciplines, curriculum
13	Takao Kato	Non-degenerate Linear Codes Determined by their Weight Enumerators.	Appl. Algebra Eng. Commun. Comput.	2003	DBLP DOI BibTeX RDF
13	Hiroshi Nagamochi, Kohei Okada	Polynomial Time 2-Approximation Algorithms for the Minmax Subtree Cover Problem.	ISAAC	2003	DBLP DOI BibTeX RDF
13	Ravi Kumar 0001, Alexander Russell	A note on the set systems used for broadcast encryption.	SODA	2003	DBLP BibTeX RDF
13	Baoping Zhang, Marcos André Gonçalves, Edward A. Fox	An OAI-Based Filtering Service for CITIDEL from NDLTD.	ICADL	2003	DBLP DOI BibTeX RDF
13	Juraj Hromkovic, Georg Schnitger	Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes.	ICALP	2003	DBLP DOI BibTeX RDF	multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata
13	Sumit Ganguly, Minos N. Garofalakis, Rajeev Rastogi	Processing Set Expressions over Continuous Update Streams.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF
13	Jehn-Ruey Jiang, Cheng-Sheng Chou, Shing-Tsaan Huang	Constructing Nondominated Local Coteries for Distributed Resource Allocation.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
13	Juhani Karhumäki, Michel Latteux, Ion Petre	The Commutation with Codes and Ternary Sets of Words.	STACS	2003	DBLP DOI BibTeX RDF
13	Jörg Reinbothe	European Copyright - Yesterday, Today, Tomorrow.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
13	Tom L. Roberts Jr., Marek Wermus, Michael L. Gibson, Wayne Gober	The Career of the Technical Professional: A Look at the Career Path and Reward System in Technical Polish Companies.	HICSS	2003	DBLP DOI BibTeX RDF
13	Kumar Neeraj Verma	Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties.	RTA	2003	DBLP DOI BibTeX RDF
13	Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen	Using the Incremental Approach to Generate Test Sets: A Case Study.	QSIC	2003	DBLP DOI BibTeX RDF	Empirical study, test case generation, specification-based testing, partition testing, fault-based testing
13	Sven Hartmann	Orthogonal Decompositions of Complete Digraphs.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
13	Michael U. Gerber, Pierre Hansen, Alain Hertz	Extension of Turán's Theorem to the 2-Stability Number.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
13	Michael A. Greenspan	Geometric Probing of Dense Range Data.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	geometric probing, object recognition, decision tree, template matching, range image, pose determination
13	Reuven Bar-Yehuda, Magnús M. Halldórsson, Joseph Naor, Hadas Shachnai, Irina Shapira	Scheduling split intervals.	SODA	2002	DBLP BibTeX RDF
13	Tetsuo Asano, Naoki Katoh, Koji Obokata, Takeshi Tokuyama	Matrix rounding under the Lp-discrepancy measure and its application to digital halftoning.	SODA	2002	DBLP BibTeX RDF
13	John M. Hitchcock	Correspondence Principles for Effective Dimensions.	ICALP	2002	DBLP DOI BibTeX RDF
13	Murali Mani, Dongwon Lee 0001	XML to Relational Conversion Using Theory of Regular Tree Grammars.	EEXTT	2002	DBLP DOI BibTeX RDF
13	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
13	Eric Schulte Nordholt	Applications of Statistical Disclosure Control at Statistics Netherlands.	Inference Control in Statistical Databases	2002	DBLP DOI BibTeX RDF
13	Yat Chiu Law, Jimmy Ho-Man Lee	Algebraic Properties of CSP Model Operators.	CP	2002	DBLP DOI BibTeX RDF
13	Christian Bühler	eEurope - eAccessibility - User Participation: Participation of People with Disabilities and Older People in the Information Society.	ICCHP	2002	DBLP DOI BibTeX RDF
13	Rolf Nossum, Luciano Serafini	Multicontext Logic for Semigroups of Contexts.	AISC	2002	DBLP DOI BibTeX RDF	Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning
13	Phillip B. Gibbons, Srikanta Tirthapura	Distributed streams algorithms for sliding windows.	SPAA	2002	DBLP DOI BibTeX RDF	distributed, data streams, sliding windows, waves
13	P. Creed, John Kenneth Truss	On quasi-amorphous sets.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 04A25
13	Jirí Fiala 0001, Klaus Jansen, Van Bang Le, Eike Seidel	Graph Subcolorings: Complexity and Algorithms.	WG	2001	DBLP DOI BibTeX RDF
13	János Körner, Gábor Simonyi	Graph Pairs and their Entropies: Modularity Problems.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C15, 94A17, 05C75
13	Stefano Guerrini	Correctness of Multiplicative Proof Nets Is Linear.	LICS	1999	DBLP DOI BibTeX RDF
13	Gerald W. Schuster	A Minimum Degree Result for Disjoint Cycles and Forests in Graphs.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C05, 05C35, 05C38
13	Uriel Feige	A Threshold of ln n for Approximating Set Cover.	J. ACM	1998	DBLP DOI BibTeX RDF	set cover, approximation ratio
13	Chan-Su Shin, Jung-Hyun Kim, Sung Kwon Kim, Kyung-Yong Chwa	Two-Center Problems for a Convex Polygon (Extended Abstract).	ESA	1998	DBLP DOI BibTeX RDF
13	J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak	A Typed Intermediate Language for Flow-Directed Compilation.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Ali Amaniss, Miki Hermann, Denis Lugiez	Set Operations for Recurrent Term Schematizations.	TAPSOFT	1997	DBLP DOI BibTeX RDF
13	Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg	Horizontal and Vertical Structuring Techniques for Statecharts.	CONCUR	1997	DBLP DOI BibTeX RDF
13	Denis Béchet, Philippe de Groote, Christian Retoré	A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.	RTA	1997	DBLP DOI BibTeX RDF