1418 search results - page 115 / 284 » How to Explain Mistakes |
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
ISER
2000
Springer
14 years 1 months ago
2000
Springer
: A solution to the singularity problem is presented from the approach of the operational space formulation which involves both motion and force control. A brief summary of the Ope...
PPSN
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. There are evolutionary trajectories in two different but related spaces, design space and niche space. Coevolution occurs in parallel trajectories in both spaces, with co...
CHI
1995
ACM
14 years 1 months ago
1995
ACM
Videotape has become one of the CHI community's most useful technologies: it allows us to analyze users' interactions with computers, prototype new interfaces, and prese...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...