1284 search results - page 52 / 257 » On Helping and Interactive Proof Systems |
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
CHI
1997
ACM
14 years 2 months ago
1997
ACM
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...
TPHOL
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
This study presents the "ChroMirror" system, a digital mirror imaging system which helps users select appropriate clothing color combinations. By digitally rendering a m...
FAST
2004
13 years 11 months ago
2004
This paper explores the concept of early discard for interactive search of unindexed data. Processing data inside storage devices using downloaded searchlet code enables Diamond t...