3598 search results - page 138 / 720 » New efficient algorithms for computing effective capacitance |
160
click to vote
USS
2010
2010
P4P: Practical Large-Scale Privacy-Preserving Distributed Computation Robust against Malicious Users
15 years 26 days ago
In this paper we introduce a framework for privacypreserving distributed computation that is practical for many real-world applications. The framework is called Peers for Privacy ...
125
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
124
click to vote
ICDM
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract--The Affinity Propagation (AP) clustering algorithm proposed by Frey and Dueck (2007) provides an understandable, nearly optimal summary of a data set. However, it suffers...
113
click to vote
TKDE
1998
15 years 2 months ago
1998
—In this paper, we explore a new data mining capability that involves mining path traversal patterns in a distributed information-providing environment where documents or objects...
133
click to vote
ICRA
2009
IEEE
15 years 22 days ago
2009
IEEE
When operating in partially-known environments, autonomous vehicles must constantly update their maps and plans based on new sensor information. Much focus has been placed on devel...