3963 search results - page 555 / 793 » Designing for learning |
182
click to vote
EMMCVPR
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...
154
click to vote
MLMI
2005
Springer
16 years 19 days ago
2005
Springer
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
146
click to vote
OOPSLA
2005
Springer
16 years 19 days ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
171
click to vote
SIGADA
2005
Springer
16 years 18 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
182
click to vote
ATAL
2004
Springer
16 years 16 days ago
2004
Springer
We present GAMUT1 , a suite of game generators designed for testing game-theoretic algorithms. We explain why such a generator is necessary, offer a way of visualizing relationshi...