860 search results - page 59 / 172 » Podcasting made simple |
CHI
2006
ACM
14 years 11 months ago
2006
ACM
Many online communities are emerging that, like Wikipedia, bring people together to build community-maintained artifacts of lasting value (CALVs). Motivating people to contribute ...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
This paper describes the results of a series of forced choice design experiments investigating the discrimination of material properties using a PHANToM haptic device. Research ha...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
101
click to vote
POPL
2006
ACM
14 years 11 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...