2748 search results - page 176 / 550 » Generating Object-Z Specifications from Use Cases |
113
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
In many data mining applications, online labeling feedback is only available for examples which were predicted to belong to the positive class. Such applications include spam filt...
109
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
99
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Much of the research on video-based human motion capture assumes the body shape is known a priori and is represented coarsely (e.g. using cylinders or superquadrics to model limbs...
142
click to vote
CRYPTO
2005
Springer
15 years 6 months ago
2005
Springer
Error correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, we study the connections between codes, matroids, and a s...
114
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...