3162 search results - page 558 / 633 » Transformations for semi-continuous data |
DCC
2000
IEEE
15 years 5 months ago
2000
IEEE
We describe the QccPack software package, an open-source collection of library routines and utility programs for quantization, compression, and coding of data. QccPack is being wr...
101
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a fast and accurate algorithm for computing the 2D pose of objects in images called cascaded pose regression (CPR). CPR progressively refines a loosely specified initia...
125
Voted
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
101
Voted
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
100
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...