4418 search results - page 742 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
We revisit one of the most fundamental problems in multimedia that is receiving enormous attention from researchers without making much progress in solving it: the problem of brid...
177
click to vote
FOCS
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a near-optimal reduction from approximately counting the cardinality of a discrete set to approximately sampling elements of the set. An important application of our wo...
179
click to vote
SI3D
2005
ACM
15 years 12 months ago
2005
ACM
It is difficult to obtain a specific region within unsegmented volume data (region of interest, ROI). The user must first segment the volume, a task which itself involves signi...
174
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
172
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...