1284 search results - page 87 / 257 » On Helping and Interactive Proof Systems |
CSCW
2012
ACM
13 years 5 months ago
2012
ACM
Photoshop with Friends is an online community of learners exchanging just-in-time help on graphic design tasks. The system attempts to provide an interactive, visual, context-awar...
LACL
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
CADE
1992
Springer
15 years 1 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
FUIN
2006
14 years 9 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...