1143 search results - page 22 / 229 » Mental models of recursion |
160
Voted
JAR
2010
14 years 10 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
141
click to vote
TCS
2010
15 years 2 months ago
2010
In this work we provide a combinatorial analysis of bucket recursive trees, which have been introduced previously as a natural generalization of the growth model of recursive trees...
124
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports results from an exploratory study investigating the activity patterns of pair programming using a student project conducted over a period of nine weeks. We foun...
131
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
132
click to vote
JITE
2006
15 years 3 months ago
2006
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...