16 search results - page 2 / 4 » Coterie Templates: A New Quorum Construction Method |
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
CVPR
2012
IEEE
11 years 8 months ago
2012
IEEE
We presented a novel procedure to extract ground road networks from airborne LiDAR data. First point clouds were separated into ground and non-ground parts, and ground roads were ...
EUROCRYPT
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
DEXA
2009
Springer
14 years 19 days ago
2009
Springer
Abstract. In this paper, we study the problem of projected outlier detection in high dimensional data streams and propose a new technique, called Stream Projected Ouliter deTector ...
COOPIS
2002
IEEE
13 years 11 months ago
2002
IEEE
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...