1192 search results - page 11 / 239 » Computing Weakest Readings |
CSL
2005
Springer
15 years 5 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
CHI
1998
ACM
15 years 4 months ago
1998
ACM
Reading frequently involves not just looking at words on a page, but also underlining, highlighting and commenting, either on the text or in a separate notebook. This combination ...
71
Voted
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Reading online poses a number of technological challenges. Advances in technology such as touch screens, light-weight high-power computers, and bi-stable displays have periodicall...
RECOMB
2010
Springer
15 years 6 months ago
2010
Springer