5692 search results - page 881 / 1139 » Challenges and Unsolved Problems |
172
click to vote
TOPLAS
2010
15 years 5 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
164
click to vote
TVCG
2010
15 years 5 months ago
2010
—This paper introduces a new tone mapping operator that performs local linear adjustments on small overlapping windows over the entire input image. While each window applies a lo...
173
click to vote
AR
2010
15 years 5 months ago
2010
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
219
click to vote
ACL
2010
15 years 4 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
175
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Escaped errors in released silicon are growing in number due to the increasing complexity of modern processor designs and shrinking production schedules. Worsening the problem are ...