6120 search results - page 827 / 1224 » The Power of Linear Functions |
178
click to vote
DCC
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...
199
click to vote
FLOPS
2010
Springer
16 years 1 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 ...
171
click to vote
CCA
2009
Springer
16 years 1 months ago
2009
Springer
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolut...
200
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
As we all know, face age estimation task is not only challenging for computer, but even hard for human in some cases, however, coarse age classification such as classifying human f...
197
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...