Search results for "Nonempty"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Mitchell L. Neilsen, Masaaki Mizuno	Coterie Join Algorithm.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	nonempty intersection, nonempty coteries, composite coterie, treecoteries, read and write quorums, replica control protocol, distributedalgorithms, distributed system, trees (mathematics), join algorithm
66	Sergei G. Vorobyov	Subtyping Functional+Nonempty Record Types.	CSL	1998	DBLP DOI BibTeX RDF
37	Ivan Stojmenovic	Detecting intersection of two convex polygons in parallel.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
37	L. W. Brinn	A polygon matching problem in computer vision (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
28	Rubo Li, Xudong Deng, Yunfeng Ma	Item Storage Assignment Problem in Robotic Mobile Fulfillment Systems With Nonempty Pods.	IEEE Access	2024	DBLP DOI BibTeX RDF
28	Delfim F. M. Torres	Cauchy's formula on nonempty closed sets and a new notion of Riemann-Liouville fractional integral on time scales.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
28	Yuping Gao, Songling Shan	Nonempty intersection of longest paths in graphs without forbidden pairs.	Discret. Appl. Math.	2021	DBLP DOI BibTeX RDF
28	Kenneth Skiba, Daniel Neugebauer, Jörg Rothe	Complexity of Nonempty Existence Problems in Incomplete Argumentation Frameworks.	IEEE Intell. Syst.	2021	DBLP DOI BibTeX RDF
28	François G. Dorais, Joel David Hamkins	When does every definable nonempty set have a definable element?	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
28	Gili Golan, Songling Shan	Nonempty Intersection of Longest Paths in 2K2-Free Graphs.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
28	Guantao Chen, Julia Ehrenmüller, Cristina G. Fernandes, Carl Georg Heise, Songling Shan, Ping Yang, Amy N. Yates	Nonempty intersection of longest paths in series-parallel graphs.	Discret. Math.	2017	DBLP DOI BibTeX RDF
28	Jaromy Kuhl, Michael W. Schroeder	Completing Partial Latin Squares with One Nonempty Row, Column, and Symbol.	Electron. J. Comb.	2016	DBLP DOI BibTeX RDF
28	Samir Adly, Abderrahim Hantoute, Michel Théra	Nonsmooth Lyapunov pairs for differential inclusions governed by operators with nonempty interior domain.	Math. Program.	2016	DBLP DOI BibTeX RDF
28	María Anguiano	Pullback Attractors for a Reaction-Diffusion Equation in a General Nonempty Open Subset of ℝN with Nonautonomous Forcing Term in H-1.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
28	Yu Chen 0006, Izzat Darwazeh	A Close Approximation of the Nonempty Buffer Probability Over Nakagami-m Fading Channels.	IEEE Commun. Lett.	2015	DBLP DOI BibTeX RDF
28	Houcine Bouchaala, Youssef Boudabbous, Mohamed Baka Elayech	Finite Tournaments with a Nonempty Diamonds' Support.	Graphs Comb.	2013	DBLP DOI BibTeX RDF
28	Walter Kern, Xian Qiu	The 1/4-Core of the Uniform Bin Packing Game Is Nonempty.	COCOON	2013	DBLP DOI BibTeX RDF
28	Juan C. Cesco	Nonempty Core-Type solutions over Balanced Coalitions in TU-Games.	IGTR	2012	DBLP DOI BibTeX RDF
28	Paul N. Balister, Ervin Györi, Richard H. Schelp	Coloring vertices and edges of a graph by nonempty subsets of a set.	Eur. J. Comb.	2011	DBLP DOI BibTeX RDF
28	Rafael B. Teixeira, Simone Dantas, Celina M. H. de Figueiredo	The external constraint 4 nonempty part sandwich problem.	Discret. Appl. Math.	2011	DBLP DOI BibTeX RDF
28	Rafael B. Teixeira, Simone Dantas, Celina M. H. de Figueiredo	The polynomial dichotomy for three nonempty part sandwich problems.	Discret. Appl. Math.	2010	DBLP DOI BibTeX RDF
28	Kathryn Cook, Simone Dantas, Elaine M. Eschen, Luérbio Faria, Celina M. H. de Figueiredo, Sulamita Klein	2K2 vertex-set partition into nonempty parts.	Discret. Math.	2010	DBLP DOI BibTeX RDF
28	Rafael B. Teixeira, Simone Dantas, Celina M. H. de Figueiredo	The polynomial dichotomy for three nonempty part sandwich problems.	Electron. Notes Discret. Math.	2008	DBLP DOI BibTeX RDF
28	Simone Dantas, Elaine M. Eschen, Luérbio Faria, Celina M. H. de Figueiredo, Sulamita Klein	2K2 vertex-set partition into nonempty parts.	Electron. Notes Discret. Math.	2008	DBLP DOI BibTeX RDF
28	Ewa M. Bednarczuk, Maciej J. PrzybyLa	The Vector-Valued Variational Principle in Banach Spaces Ordered by Cones with Nonempty Interiors.	SIAM J. Optim.	2007	DBLP DOI BibTeX RDF
28	Mauro Mezzini	Finding a Nonempty Algebraic Subset of an Edge Set in Linear Time.	J. Graph Algorithms Appl.	2007	DBLP DOI BibTeX RDF
28	Xie Ping Ding	Nonempty Intersection Theorems and Generalized Multi-objective Games in Product FC-Spaces.	J. Glob. Optim.	2007	DBLP DOI BibTeX RDF
28	Ahmed M. K. Tarabia, A. H. El-Baz	Exact Transient Solutions of Nonempty Markovian Queues.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
28	Alfred Müller, Marco Scarsini, Moshe Shaked	The Newsvendor Game Has a Nonempty Core.	Games Econ. Behav.	2002	DBLP DOI BibTeX RDF
28	Xue-Bin Liang	Qualitative analysis of a recurrent neural network for nonlinear continuously differentiable convex minimization over a nonempty closed convex subset.	IEEE Trans. Neural Networks	2001	DBLP DOI BibTeX RDF
28	Enric Trillas, Claudi Alsina, Joan Jacas	On logical connectives for a fuzzy set theory with or without nonempty self-contradictions.	Int. J. Intell. Syst.	2000	DBLP DOI BibTeX RDF
28	Michael S. P. Eastham, Charles T. Fulton, Steven Pruess	Using the SLEDGE Package on Sturm-Liouville Problems Having Nonempty Essential Spectra.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	Sturm-Liouville problems, spectral density functions
28	Zbigniew Lonc	Partitions, Packings and Coverings by Families with Nonempty Intersections.	J. Comb. Theory, Ser. A	1992	DBLP BibTeX RDF
28	Siriphong Lawphongpanich	Frank-Wolfe Algorithm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Away direction, Bisection search, Differentiable function, Direction finding problem, Feasible direction, Feasible direction methods, First order Taylor series expansion, Geometrically, Golden section method, Inexact line search line, Line search problem, Nonempty, Parallel tangents, PARTAN, Positive definite matrix, Pseudoconvex, Regularized direction finding problem, Regularized Frank-Wolfe decomposition, Simplicial decomposition, Stepsize, Strongly convex, Network, Heuristics, Linear program, Globally optimal, Convex hull, Nonlinear programming, Quadratic programming, Convexity, Bounded, Search algorithms, Matrix, Column generation, Polyhedron, Convergence rate, Convex function, Stopping criterion, Simplex algorithm, Extreme point, Dantzig-Wolfe decomposition
28	Che-Liang Yang, Gerald M. Masson	Hybrid Fault Diagnosability with Unreliable Communcation Links.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	nonempty always correct diagnosis, unreliable communication links, distributed multiprocessor systems, hybrid fault diagnosability, multiprocessing systems, fault location, computer testing
28	Olivier Goldschmidt, Dorit S. Hochbaum	Polynomial Algorithm for the k-Cut Problem	FOCS	1988	DBLP DOI BibTeX RDF	k-cut problem, edge weighted graph, k nonempty components, total edge weight, partition, NP-complete, NP hard, polynomial algorithm, vertex
25	Keiko Imai, Akitoshi Kawamura, Jirí Matousek 0001, Daniel Reem, Takeshi Tokuyama	Distance k-sectors exist.	SCG	2010	DBLP DOI BibTeX RDF	distance k-sectors, knaster-tarski fixed point theorem
25	Xiaojun Chen 0001, Chao Zhang, Masao Fukushima	Robust solution of monotone stochastic linear complementarity problems.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C15, 90C33
25	Zhe Fan, Yu-Chuan Kuo, Ye Zhao 0004, Feng Qiu, Arie E. Kaufman, William Arcieri	Visual simulation of thermal fluid dynamics in a pressurized water reactor.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Pressurized thermal shock, Thermal fluid dynamics, Lattice Boltzmann method, Power plant
25	Sven Hartmann, Sebastian Link	Efficient reasoning about a robust XML key fragment.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	XML key, reachability, axiomatization, implication, XML data
25	Alain Hertz, Sacha Varone	The Metric Bridge Partition Problem: Partitioning of a Metric Space into Two Subspaces Linked by an Edge in Any Optimal Realization.	J. Classif.	2007	DBLP DOI BibTeX RDF
25	Irène Charon, Gérard D. Cohen, Olivier Hudry, Antoine Lobstein	Links Between Discriminating and Identifying Codes in the Binary Hamming Space.	AAECC	2007	DBLP DOI BibTeX RDF	Discriminating Codes, Identifying Codes, Hamming Space, Graph Theory, Hypercub, Coding Theory
25	J. S. H. van Leeuwaarden, Jacques Resing	A Tandem Queue with Coupled Processors: Computational Issues.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	coupled processors, equilibrium distribution, tandem queue, boundary value problem
25	Alon Orlitsky, Krishnamurthy Viswanathan, Junan Zhang	Stopping set distribution of LDPC code ensembles.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
25	John Case, Sanjay Jain 0001, Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	Identifying Clusters from Positive Data.	ICGI	2004	DBLP DOI BibTeX RDF
25	Yasuhito Mukouchi, Masako Sato	Learning Languages Generated by Elementary Formal Systems and Its Application to SH Languages.	ALT	2004	DBLP DOI BibTeX RDF
25	Valeriu Soltan	The Characteristic Intersection Property of Line-Free Choquet Simplices in Ed.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
25	Stephen L. Bloom, Zoltán Ésik	Axioms for Regular Words: Extended Abstract.	FSTTCS	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	Alberto Belussi, Christos Faloutsos	Self-Spacial Join Selectivity Estimation Using Fractal Concepts.	ACM Trans. Inf. Syst.	1998	DBLP DOI BibTeX RDF	range query, fractal dimension, spatial join, selectivity estimation
25	Witold Charatonik, Andreas Podelski	Set Constraints with Intersection.	LICS	1997	DBLP DOI BibTeX RDF	satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
25	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
25	Zhen Liu 0001, Philippe Nain, Donald F. Towsley	On optimal polling policies.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	polling policy, optimal stochastic scheduling, coupling, Polling system, stochastic ordering
25	Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman	Empty Types in Polymorphic Lambda Calculus.	POPL	1987	DBLP DOI BibTeX RDF
25	Marc H. Graham	Functions in Databases.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	functional dependencies, tableaux
25	Jair M. Babad	A Generalized Multi-Entrance Time-Sharing Priority Queue.	J. ACM	1975	DBLP DOI BibTeX RDF
12	J. William Helton, Jiawang Nie	Semidefinite representation of convex sets.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 46N10, 47N10, 90C25, 65K05, 90C22
12	Ronald Fagin, Benny Kimelfeld, Yunyao Li 0001, Sriram Raghavan, Shivakumar Vaithyanathan	Understanding queries in a search database system.	PODS	2010	DBLP DOI BibTeX RDF	auxiliary database, search database system
12	Jürgen Dassow, Victor Mitrana	Accepting Networks of Non-inserting Evolutionary Processors.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
12	John Black, Martin Cochran, Thomas Shrimpton	On the Impossibility of Highly-Efficient Blockcipher-Based Hash Functions.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Blockcipher-based hash functions, Provable security, Ideal-cipher model, Tweakable blockciphers, Collision-resistant hash functions
12	Alexandre Graell i Amat, Eirik Rosnes	Good concatenated code ensembles for the binary erasure channel.	IEEE J. Sel. Areas Commun.	2009	DBLP DOI BibTeX RDF
12	Liwei Li, W. Song	A modified extragradient method for inverse-monotone operators in Banach spaces.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 47H05, 47J05, 47J25
12	Mikhail V. Solodov	Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C30, 65K05
12	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases
12	Nobutaka Suzuki, Yuji Fukushima	Satisfiability of simple xpath fragments in the presence of dtds.	WIDM	2009	DBLP DOI BibTeX RDF	satisfiability, xpath, xml, dtd
12	Jerzy W. Grzymala-Busse, Wojciech Rzasa	Local Approximations.	IDEAL	2009	DBLP DOI BibTeX RDF
12	Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam	Consistency Checking for LSC Specifications.	TASE	2009	DBLP DOI BibTeX RDF
12	Andreas Blass, Yuri Gurevich	Program termination and well partial orderings.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	covering observation, game criterion, well partial orderings, Program termination
12	Noga Alon, Haim Kaplan, Gabriel Nivasch, Micha Sharir, Shakhar Smorodinsky	Weak ε-nets and interval chains.	J. ACM	2008	DBLP DOI BibTeX RDF	Interval chain, inverse Ackermann function, moment curve, weak epsilon-net
12	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
12	Fabián Flores Bazán, Elvira Hernández, Vicente Novo	Characterizing efficiency without linear structure: a unified approach.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C29, 54C60, 90C30, 90C48
12	Konstantinos Slavakis, Sergios Theodoridis, Isao Yamada	Online Kernel-Based Classification Using Adaptive Projection Algorithms.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
12	Gesualdo Scutari, Daniel Pérez Palomar, Sergio Barbarossa	Optimal Linear Precoding Strategies for Wideband Noncooperative Systems Based on Game Theory - Part I: Nash Equilibria.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
12	Arantza Estévez-Fernández, Manuel A. Mosquera, Peter Borm, Herbert Hamers	Proportionate flow shop games.	J. Sched.	2008	DBLP DOI BibTeX RDF	Proportionate flow shop problems, Core, Convexity, Shapley value
12	Douglas A. Cenzer, Peter G. Hinman	Degrees of difficulty of generalized r.e. separating classes.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30, 03D25
12	Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis	Conditional functional dependencies for capturing data inconsistencies.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	SQL, functional dependency, Data cleaning
12	Charlotte Yuk-Fan Ho, Bingo Wing-Kuen Ling, Hak-Keung Lam, Muhammad H. U. Nasir	Global Convergence and Limit Cycle Behavior of Weights of Perceptron.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
12	Noga Alon, Haim Kaplan, Gabriel Nivasch, Micha Sharir, Shakhar Smorodinsky	Weak ε-nets and interval chains.	SODA	2008	DBLP BibTeX RDF
12	Henry C. Lin, Christos Amanatidis, Martha Sideri, Richard M. Karp, Christos H. Papadimitriou	Linked decompositions of networks and the power of choice in Polya urns.	SODA	2008	DBLP BibTeX RDF
12	Ryuhei Uehara	Simple Geometrical Intersection Graphs.	WALCOM	2008	DBLP DOI BibTeX RDF	grid intersection graphs, graph isomorphism, interval graphs, Hamiltonian path problem
12	Petr A. Golovach, Jan Kratochvíl	Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity.	TAMC	2008	DBLP DOI BibTeX RDF	Subject Computational complexity, graph algorithms
12	Quanyan Zhu, Lacra Pavel	Service Differentiation via Power Management in WDM Optical Networks.	ICC	2008	DBLP DOI BibTeX RDF
12	Sarit Buzaglo, Ron Holzman, Rom Pinchasi	On s-intersecting curves and related problems.	SCG	2008	DBLP DOI BibTeX RDF	$k$-sets, points, curves, vc-dimension, plane
12	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	PODS	2008	DBLP DOI BibTeX RDF	probabilistic xml, sampling probabilistic data, constraints, probabilistic databases
12	Weiwei Song, Shungang Hua, Zongying Ou, Hu An, Kaifeng Song	Octree Based Representation and Volume Rendering of Three-Dimensional Medical Data Sets.	BMEI (1)	2008	DBLP DOI BibTeX RDF	octree. volume rendering, large medical data sets
12	Ming Zhang, Chenglong Gong, Yanhong Lu	Dynamic Priority Backoff Algorithm for IEEE802.11 DCF.	CSSE (4)	2008	DBLP DOI BibTeX RDF
12	Rohaya Latip, Hamidah Ibrahim, Mohamed Othman, Md Nasir Sulaiman, Azizol Abdullah	Quorum Based Data Replication in Grid Environment.	RSKT	2008	DBLP DOI BibTeX RDF	Replica control protocol, Grid, Availability, Data management, Data replication
12	Adnan Afsar Khan, Ivan Stojmenovic, Nejib Zaguia	Parameterless Broadcasting in Static to Highly Mobile Wireless Ad Hoc, Sensor and Actuator Networks.	AINA	2008	DBLP DOI BibTeX RDF	sensor and actuator networks, ad hoc networks, wireless networks, Broadcasting
12	Kalin Kolev, Daniel Cremers	Integration of Multiview Stereo and Silhouettes Via Convex Functionals on Convex Domains.	ECCV (1)	2008	DBLP DOI BibTeX RDF
12	Jean Diatta	Galois closed entity sets and k -balls of quasi-ultrametric multi-way dissimilarities.	Adv. Data Anal. Classif.	2007	DBLP DOI BibTeX RDF	JEL Classification C00, C45
12	Junsheng Han, Paul H. Siegel	Improved Upper Bounds on Stopping Redundancy.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
12	John C. Kieffer	epsilon-Capacity of Binary Symmetric Averaged Channels.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
12	Evelyn Magazanik, Micha A. Perles	Staircase Connected Sets.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
12	Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki	Stability of the Multiple-Access Channel Under Maximum Broadcast Loads.	SSS	2007	DBLP DOI BibTeX RDF	deterministic broadcast, adversarial queuing, stability, fairness, latency, multiple-access channel
12	Martin Marciniszyn, Reto Spöhel	Online vertex colorings of random graphs without monochromatic subgraphs.	SODA	2007	DBLP BibTeX RDF
12	Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams: existence, uniqueness and algorithmic challenge.	SODA	2007	DBLP BibTeX RDF
12	Jian Pei, Ada Wai-Chee Fu, Xuemin Lin 0001, Haixun Wang	Computing Compressed Multidimensional Skyline Cubes Efficiently.	ICDE	2007	DBLP DOI BibTeX RDF
12	David Tian, John A. Keane, Xiao-Jun Zeng	Core-generating Approximate Minimum Entropy Discretization for Rough Set Feature Selection: An Experimental Investigation.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Branimir Seselja, Andreja Tepavcevic	Fuzzy Ordering Relation and Fuzzy Poset.	PReMI	2007	DBLP DOI BibTeX RDF	Lattice valued fuzzy ordering relation, fuzzy weak ordering relation, fuzzy poset, cutworthy approach
12	Hitoshi Yamasaki, Takayoshi Shoudai	A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns.	TAMC	2007	DBLP DOI BibTeX RDF