5851 search results - page 796 / 1171 » Coordination as a Direct Process |
209
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
126
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Cell sorting is a fundamental phenomenon in morphogenesis, which is the process that leads to shape formation in living organisms. The sorting of heterotypic cell populations is p...
187
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Currently, most of the watermarking algorithms for H.264/AVC video coding standard are encoder-based due to their high perceptual quality. However, for the compressed video, they ...
170
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Given a set of monophonic, harmonic sound sources (e.g. human voices or wind instruments), multi-pitch estimation (MPE) is the task of determining the instantaneous pitches of eac...
158
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Frequency hopping (FH) signals have well-documented merits for commercial and military applications due to their near-far resistance and robustness to jamming. Estimating FH signa...