1143 search results - page 113 / 229 » Mental models of recursion |
122
Voted
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
LREC
2008
15 years 2 months ago
2008
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
106
Voted
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
84
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...
97
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...