1353 search results - page 56 / 271 » On the production of creative subjectivity |
TLCA
2001
Springer
14 years 2 days ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
AAAI
2007
13 years 10 months ago
2007
In this paper, we introduce a mobile service that extracts reputations of a product from weblogs by cellular phones during shopping. If the user takes a photo of a product barcode...
BCSHCI
2007
13 years 9 months ago
2007
When designing purely physical products we do not necessarily have to understand what it is about their physicality that makes them work - they simply have it. However, as we desi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The Web has become an excellent source for gathering consumer opinions. There are now numerous Web sites containing such opinions, e.g., customer reviews of products, forums, disc...