8828 search results - page 1438 / 1766 » Formal methods in practice |
177
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
183
click to vote
PE
2002
Springer
15 years 6 months ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...
199
click to vote
IJCV
2010
15 years 5 months ago
2010
We present an information theoretic approach to define the problem of structure from motion (SfM) as a blind source separation one. Given that for almost all practical joint densi...
199
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work, we take a closer look at anonymity and robustness in encryption schemes. Roughly speaking, an anonymous encryption scheme hides the identity of the secret-k...
222
click to vote
PAISI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces an efficient privacy-preserving protocol for distributed K-means clustering over an arbitrary partitioned data, shared among N parties. Clustering i...