1192 search results - page 11 / 239 » Computing Weakest Readings |
117
Voted
CSL
2005
Springer
15 years 9 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...
121
click to vote
CHI
1998
ACM
15 years 7 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 ...
98
Voted
CONCUR
2009
Springer
15 years 10 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 ...
126
click to vote
CIKM
2008
Springer
15 years 5 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...
114
Voted
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer