17505 search results - page 3157 / 3501 » Use Cases as Workflows |
162
click to vote
TAMC
2007
Springer
16 years 25 days ago
2007
Springer
We study non-overlapping axis-parallel packings of 3D boxes with profits into a dedicated bigger box where rotation is either forbidden or permitted; we wish to maximize the total...
197
click to vote
TARK
2007
Springer
16 years 25 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
214
click to vote
ECRTS
2006
IEEE
16 years 23 days ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
188
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
196
click to vote
ICDM
2006
IEEE
16 years 23 days ago
2006
IEEE
Clustering is ill-defined. Unlike supervised learning where labels lead to crisp performance criteria such as accuracy and squared error, clustering quality depends on how the cl...