1143 search results - page 113 / 229 » Mental models of recursion |
DIAGRAMS
2010
Springer
13 years 11 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
13 years 10 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...
ISVC
2007
Springer
14 years 3 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...
ICASSP
2011
IEEE
13 years 27 days 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...
LICS
2007
IEEE
14 years 3 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...