435 search results - page 40 / 87 » Generative Programming and Active Libraries |
67
Voted
SIGITE
2004
ACM
15 years 3 months ago
2004
ACM
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
UM
2009
Springer
15 years 4 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
105
click to vote
CCS
2006
ACM
15 years 1 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
81
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
81
Voted
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Recently, nonlinear shape models have been shown to improve the robustness and flexibility of segmentation. In this paper, we propose Shape Regularized Active Contour (ShRAC) that...