3443 search results - page 533 / 689 » More Algebras for Determiners |
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
We address the joint problem of clustering heterogenous clients and allocating scalable video source rate and FEC redundancy in IPTV systems. We propose a streaming solution that ...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Active learning and crowdsourcing are promising ways to efficiently build up training sets for object recognition, but thus far techniques are tested in artificially controlled ...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
ENTCS
2011
13 years 4 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
INTERSPEECH
2010
13 years 4 months ago
2010
Managing a large-scale speech transcription task with a team of human transcribers requires effective quality control and workload distribution. As it becomes easier and cheaper t...