740 search results - page 47 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
This paper demonstrates how useful content can be generated as a by-product of an enjoyable mobile multiplayer game. In EyeSpy, players tag geographic locations with photos or tex...
CHI
2009
ACM
14 years 1 months ago
2009
ACM
Designers of mobile, social systems must carefully think about how to help their users manage spatial, semantic, and social modes of navigation. Here, we describe our deployment o...
DAC
1996
ACM
14 years 19 days ago
1996
ACM
Task management involves task creation and execution. These are facilitated using a task schema as exemplified in the Hercules Task Manager. Experience with Hercules has shown the...