8933 search results - page 1511 / 1787 » Usability over time |
226
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...
212
click to vote
APPROX
2007
Springer
16 years 1 months ago
2007
Springer
We give a polynomial time construction of binary codes with the best currently known trade-off between rate and error-correction radius. Specifically, we obtain linear codes ove...
203
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
243
click to vote
DCOSS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
198
click to vote
GRID
2007
Springer
16 years 1 months ago
2007
Springer
— Currently deployed grids gather together thousands of computational and storage resources for the benefit of a large community of scientists. However, the large scale, the wid...