4276 search results - page 421 / 856 » Techniques for Empirical Validation |
165
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
187
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
SIMD extension is one of the most common and effective technique to exploit data-level parallelism in today’s processor designs. However, the performance of SIMD architectures i...
262
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
159
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
Packet sampling techniques introduce measurement errors that should be carefully handled in order to correctly characterize the network behavior. In the literature several works h...
171
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new approach to the matting problem which splits the task into two steps: interactive trimap extraction followed by trimap-based alpha matting. By doing so we gain co...