Sciweavers

9888 search results - page 162 / 1978
» compute 2009
Sort
View
124
Voted
CIE
2009
Springer
16 years 1 months ago
Dialectica Interpretation with Fine Computational Control
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
Trifon Trifonov
GI
2009
Springer
15 years 11 months ago
Self-monitoring for Computer Users
: We are presenting a tool for collecting and analysing computer usage data. The observed data are locally used by the user to self-monitor and self-reflect her behaviour, decontro...
Maren Scheffel, Martin Friedrich, Marco Jahn, Uwe ...