740 search results - page 50 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
AAAI
2007
13 years 10 months ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
VR
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we describe two engineering experiments designed to evaluate the effectiveness of Measurand’s ShapeTape for wearable, mobile interaction. Our initial results sugge...
EDBTW
2006
Springer
14 years 5 days ago
2006
Springer
Abstract. Inconsistent contexts are death-wounds which usually result in contextaware applications' incongruous behaviors and users' perplexed feelings, therefore the ben...
IUI
2000
ACM
14 years 26 days ago
2000
ACM
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...