3273 search results - page 151 / 655 » types 2007 |
143
Voted
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
Many Wyner-Ziv video coding (WZVC) schemes encode a video sequence into two types of frames, key frames and Wyner-Ziv frames. We have previously presented a Wyner-Ziv video coding...
133
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We are introducing a new type of digitally enhanced book which symbiotically merges different type of media in a seamless approach. By keeping the traditional book (and its afford...
256
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
245
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
131
Voted
ALT
2007
Springer
16 years 1 months ago
2007
Springer
As some cognitive research suggests, in the process of learning languages, in addition to overt explicit negative evidence, a child often receives covert explicit evidence in form...