5344 search results - page 730 / 1069 » Privacy-Preserving Set Operations |
184
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
144
click to vote
SIBGRAPI
2006
IEEE
16 years 21 days ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
174
click to vote
SIBGRAPI
2006
IEEE
16 years 21 days ago
2006
IEEE
Traditional mesh segmentation methods normally operate on geometrical models with no image information. On the other hand, 2D image-based mesh generation and segmentation counterp...
178
click to vote
SMI
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
183
click to vote
ADBIS
2006
Springer
16 years 20 days ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...