892 search results - page 28 / 179 » ets 2007 |
ETS
2007
IEEE
13 years 9 months ago
2007
IEEE
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
ENTCS
2007
13 years 9 months ago
2007
This paper describes a prototypical system that combines several aspects of engagement as defined in (Naps et al. 2003) for the topic of tree and tree algorithm animations.
COMBINATORICS
2007
13 years 9 months ago
2007
In 2006, Smith et al. published a new table of constant weight codes, updating existing tables originally created by Brouwer et al. This paper improves upon these results by fill...