488 search results - page 24 / 98 » Introduction to Computational Advertising |
104
click to vote
TLCA
2007
Springer
15 years 3 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...
BIRTHDAY
2006
Springer
15 years 1 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
15 years 11 months ago
2007
IEEE
SKG
2006
IEEE
15 years 3 months ago
2006
IEEE
47
Voted
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM