Sciweavers

4949 search results - page 34 / 990
» Consistency and Set Intersection
Sort
View
COMPGEOM
1992
ACM
15 years 3 months ago
Piercing Convex Sets
A family of sets has the (p, q) property if among any p members of the family some q have a nonempty intersection. It is shown that for every p q d + 1 there is a c = c(p, q, d)...
Noga Alon, Daniel J. Kleitman
CORR
1999
Springer
65views Education» more  CORR 1999»
14 years 11 months ago
Unambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets
It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are ...
Lane A. Hemaspaandra, Jörg Rothe
VMCAI
2005
Springer
15 years 5 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
TFS
2008
77views more  TFS 2008»
14 years 11 months ago
Nonstationary Fuzzy Sets
In this paper, the notion termed a "nonstationary fuzzy set" is introduced, and the concept of a perturbation function that is used for generating nonstationary fuzzy set...
Jonathan M. Garibaldi, Marcin Jaroszewski, Salang ...
CORR
2010
Springer
113views Education» more  CORR 2010»
14 years 12 months ago
Opaque sets
The problem of finding "small" sets that meet every straight-line which intersects a given convex region was initiated by Mazurkiewicz in 1916. We call such a set an opa...
Adrian Dumitrescu, János Pach