3068 search results - page 145 / 614 » Separation Results on the |
161
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
— Auditory capabilities would allow small robots interacting with people to act according to vocal cues. In our recent work, we have demonstrated AUDIBLE, an auditory system capa...
159
click to vote
ICIP
2007
IEEE
16 years 22 days ago
2007
IEEE
Traditional 2D DCT implemented by separable 1D transform in horizontal and vertical directions does not take image orientation features in a local window into account. To improve ...
179
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
154
click to vote
CCGRID
2006
IEEE
16 years 14 days ago
2006
IEEE
A problem with running distributed shared memory applications in heterogeneous environments is that making optimal use of available resources often requires significant changes t...
124
click to vote
ISCAS
2006
IEEE
16 years 13 days ago
2006
IEEE
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...