9888 search results - page 303 / 1978 » compute 2009 |
176
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
208
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
176
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a method to speed up video encoding of GPU rendered scenes. Modern video codecs, like H.264/AVC, are based on motion compensation and support partitionin...
186
click to vote
CCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
223
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...