5344 search results - page 1054 / 1069 » Privacy-Preserving Set Operations |
122
click to vote
JASIS
2010
15 years 29 days ago
2010
Topic detection and tracking (TDT) applications aim to organize the temporally ordered stories of a news stream according to the events. Two major problems in TDT are new event de...
156
Voted
JBCS
2010
15 years 29 days ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
133
click to vote
LATIN
2010
Springer
15 years 28 days ago
2010
Springer
A predicate P : {−1, 1}k → {0, 1} can be associated with a constraint satisfaction problem Max CSP(P). P is called “approximation resistant” if Max CSP(P) cannot be approxi...
121
Voted
MICS
2010
15 years 28 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
175
Voted
OOPSLA
2010
Springer
15 years 28 days ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...