962 search results - page 122 / 193 » Some Reducibilities on Regular Sets |
208
click to vote
WADS
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. A Semi-Separated Pair Decomposition (SSPD), with parameter s > 1, of a set S ⊂ Rd is a set {(Ai, Bi)} of pairs of subsets of S such that for each i, there are balls ...
173
click to vote
IANDC
2008
15 years 5 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
172
click to vote
AAAI
2004
15 years 7 months ago
2004
Traditionally, text classifiers are built from labeled training examples. Labeling is usually done manually by human experts (or the users), which is a labor intensive and time co...
156
click to vote
ICDM
2009
IEEE
16 years 12 days ago
2009
IEEE
—With the vast increase in collection and storage of data, the problem of data summarization is most critical for effective data management. Since much of this data is categorica...
170
click to vote
SODA
2008
ACM
15 years 7 months ago
2008
ACM
This paper considers a general setting for structured procurement and the problem a buyer faces in designing a procurement mechanism to maximize profit. This brings together two a...