1284 search results - page 32 / 257 » On Helping and Interactive Proof Systems |
APLAS
2009
ACM
13 years 11 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
TYPES
1995
Springer
13 years 11 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We present a novel playground platform that will hopefully help in countering two important issues in children in the developed world: lack of physical activity and lack of social...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
This work-in-progress report presents the groundwork for the design of a user-adaptive web-based e-learning system. A survey and two randomized controlled experiments were carried...
ISWC
2002
IEEE
14 years 14 days ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...