2052 search results - page 254 / 411 » Direct Combination |
115
click to vote
SAS
2001
Springer
15 years 7 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
168
Voted
CGI
2000
IEEE
15 years 7 months ago
2000
IEEE
A novel procedure for segmenting a set of scattered 3D data obtained from a head and shoulders multiview sequence is presented. The procedure consists of two steps. In the first ...
120
click to vote
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
134
Voted
ICMCS
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
115
Voted
SSDBM
2000
IEEE
15 years 7 months ago
2000
IEEE
Existing datacube precompuatation schemes materialize selected datacube tuples on disk, choosing the most beneficial cuboids (i.e., combinations of dimensions) to materialize giv...