36320 search results - page 632 / 7264 » From Code to Models |
182
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
The Minimum-Entropy Clustering (MEC) algorithm proposed in this paper provides an optimal method for addressing the non-stationarity of a source with respect to entropy coding. Th...
172
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This is the second part of a tutorial discussing the experimental protocol issues in Testing the Torah Code Hypothesis. The principal concept is the test statistic which is used t...
173
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
211
click to vote
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
208
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Motion scalability is designed to improve the coding efficiency of a scalable video coding framework, especially in the medium to low range of decoding bit rates or spatial resol...