725 search results - page 56 / 145 » Descriptive Set Theory of Families of Small Sets |
KRMED
2004
14 years 11 months ago
2004
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The increasing usage of audio and chat communication in private and commercial cooperative settings requires new insight into choosing the appropriate media for collaborative task...
103
click to vote
DCC
2006
IEEE
15 years 9 months ago
2006
IEEE
An uncovering-by-bases for a group G acting on a finite set is a set U of bases for G such that any r-subset of is disjoint from at least one base in U, where r is a parameter d...
119
click to vote
COMPGEOM
2005
ACM
14 years 11 months ago
2005
ACM
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
—We introduce a new tool for approximation and testing algorithms called partitioning oracles. We develop methods for constructing them for any class of bounded-degree graphs wit...