6978 search results - page 1222 / 1396 » On Proofs in System P |
KDD
2003
ACM
14 years 9 months ago
2003
ACM
There is extensive interest in automating the collection, organization and summarization of biological data. Data in the form of figures and accompanying captions in literature pr...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Instructor/student interaction in e-learning environments can positively impact both student learning and instructor satisfaction. In online webcast lectures, however, interaction...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
A reliable and unobtrusive measurement of working memory load could be used to evaluate the efficacy of interfaces and to provide real-time user-state information to adaptive syst...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Randy Pausch is an inspiration to all with his research, teaching, the way he has lived his life, and his courage while confronting pancreatic cancer. This session brings together...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...