2748 search results - page 392 / 550 » Generating Object-Z Specifications from Use Cases |
137
Voted
TCC
2009
Springer
16 years 4 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
172
Voted
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Current approaches to pose estimation and tracking can be classified into two categories: generative and discriminative. While generative approaches can accurately determine human...
137
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
SIMD (Single Instruction, Multiple Data) engines are an essential part of the processors in various computing markets, from servers to the embedded domain. Although SIMD-enabled a...
158
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
144
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...