488 search results - page 24 / 98 » Introduction to Computational Advertising |
159
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
85
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
92
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM