725 search results - page 22 / 145 » Descriptive Set Theory of Families of Small Sets |
75
Voted
ENTCS
2006
14 years 9 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
68
Voted
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
On photo sharing websites like Flickr and Zooomr, users are offered the possibility to assign tags to their uploaded pictures. Using these tags to find interesting groups of sem...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
When rational but myopic agents negotiate over the exchange of indivisible resources, any restriction to the negotiation protocol may prevent the system from converging to a socia...
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
1 sensors is to construct a structural description from sensor data and to match this description to a previously acquired model [Crowley 85]. An alternative is to project individu...
STOC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...