13277 search results - page 2324 / 2656 » An Approach to Clustering Abstracts |
211
click to vote
FC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. For the homomorphic Paillier cryptosystem we construct a protocol for secure modulo reduction, that on input of an encryption x with x of bit length x and a public ‘mod...
178
click to vote
ITP
2010
15 years 11 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
234
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents an efficient technique for real time estimation of on-board stereo vision system pose. The whole process is performed in the Euclidean space and consi...
215
Voted
SAT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
202
Voted
EWSN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...