20 search results - page 1 / 4 » Algorithmic transformation techniques for efficient explorat... |
CODES
2002
IEEE
2002
IEEE
Algorithmic transformation techniques for efficient exploration of alternative application instances
13 years 9 months ago
VLSID
2007
IEEE
14 years 5 months ago
2007
IEEE
The Discrete Wavelet Transform (DWT) forms the core of the JPEG2000 image compression algorithm. Since the JPEG2000 compression application is heavily data-intensive, the overall ...
IHI
2010
12 years 11 months ago
2010
Regulations in various countries permit the reuse of health information without patient authorization provided the data is "de-identified". In the United States, for ins...
BMCBI
2010
13 years 4 months ago
2010
Background: Traditional algorithms for hidden Markov model decoding seek to maximize either the probability of a state path or the number of positions of a sequence assigned to th...
ASE
2005
13 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...