1465 search results - page 8 / 293 » Making the Correct Mistakes |
93
Voted
CC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
FAST
2008
14 years 12 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
CONCUR
2000
Springer
15 years 1 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, it is shown that under an extra observability assumption the nonlinear Luenberger observer as introduced recently in a previous publication may have an exponential ...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We present a wireless prototype system for real-time snowboard training. This system can be used to detect common mistakes during snowboarding and to give students immediate feedb...